2617574563122404535962681114627755100903265670837020671250026036921181907025077617515652811709875574577060861909874614002201965902984305596084587922377712359229044316018387773094440784220447925263760181058307005024908100478250072372797046118999129824489631855694423620275131885972338001867511228830737977879052204056731142553344058424564361794623967797105001780149101538175611992667909173312603532359936539000153556587342067588235624614800982954206055418363169189426929681265133143950713892095378117226315834650657265926574917756397398485806974018808258500464087041031606667903476502207923919137921081015013170979282081686199346188341794734487945627870125131215675592772901762469827254991986477771619490517750373648478872507155966296922894803138965987670916021729525673039760478327393242841723600023451547737970761082039763530738898910192642818160479803060685791225275030350201045119802168947087518879810834099078677684864428364492829465596479214450767297244731829803666235514366830987087182292946826086179 ::: ::: ::: ::: <:::> ::: ::: = {([(:::(:::) ::: :::)::: = (::: ::: ::: ::: ::: :::)] ::: [(:::(:::) ::: :::)::: ::: (::: ::: ::: ::: ::: ::: :::)]), (:::, :::, (::: ::: ::: ::: ::: :::) ::: (::: ::: ::: ::: ::: ::: :::))}

2 2 2 2 2 2 3 2 2 2 2 2 2 3 2 2 2 2 2 2 2 3 3 2