#define PI 3.141592653589793238462643383279502884197
const int N = 8;

// NxN and NxNxNxN rotation angles for single and double excitation operators
// generated in Python as [random.uniform(0, 2*math.pi) for _ in range(N*...*N)]
const double Theta_p_q[N][N] = {5.826520018765827, 0.7288160510950445, 5.0015598125323395, 5.7711223865069465, 2.7070972073911026, 0.1140132707053369, 0.2875250064206471, 1.4000766389313213, 1.0723685949475825, 0.7440774103496683, 4.130109433320647, 6.25168379910313, 5.986117754476746, 4.752957123998935, 1.9822290852481212, 2.511756513132765, 1.7699724252782532, 4.363377208250281, 4.177331637490006, 3.947486857534762, 0.8595494752999996, 3.1605287878217947, 4.613183854273132, 3.8799253021204727, 0.4094162437001057, 3.037716557051406, 1.9496315143713705, 5.4361609639459045, 1.3908118518012027, 0.9191731278261362, 5.639208731491052, 1.3747372558723858, 3.7257925545414023, 3.2868576921245984, 3.5317316825762384, 0.2812523367236431, 4.655108641993938, 5.431516008532182, 4.780525456173596, 1.3067601222783038, 1.586907215497988, 0.10298085076439328, 0.3621991602478748, 1.144365251269643, 4.962368706585583, 0.03241442320456329, 0.13144652465367077, 0.398578431218847, 1.0721755938012483, 5.9361953502029605, 4.511294752011879, 3.8642725067881023, 3.494444446661928, 5.171286240627749, 4.909281929688768, 0.32948897437906627, 3.79230942567192, 2.4391793759005704, 4.773199945313529, 2.9573297501183196, 1.4826144795592489, 4.528934523635658, 3.161797308328171, 5.076328527576358};
const double Theta_p_q_r_s[N][N][N][N] = {2.7224610921061574, 0.5092269269311394, 3.3777095994819226, 4.601508025367427, 3.548348600736689, 3.1887816199626693, 4.215500199332966, 4.320933745042856, 1.5494225871791796, 3.5574360594758803, 2.910118623031908, 2.511263768270181, 1.5717095414505184, 5.329225529490308, 1.1167438679112165, 2.252661897262012, 1.8619621995994888, 0.2017626028607118, 1.89323802911052, 2.7667103979678433, 0.7353917735908584, 1.0181521199636352, 4.268826349044384, 4.33666515981476, 3.923527230413164, 6.045289845479931, 0.524176641279225, 1.7061542619532801, 4.795415626208289, 3.45933738971131, 1.9318368304142524, 4.662693874493001, 0.875244792389473, 4.421080046654505, 0.4046772587469707, 1.5022568373728684, 1.3615121118362885, 0.2671138116646486, 1.373611427500402, 5.465845366998281, 4.597116333297993, 4.226570972872349, 2.0576188387618384, 2.242636319209952, 4.104292429106904, 1.3721150973705147, 1.6259757375682369, 6.018671464174915, 5.114327745498806, 2.0944229998235886, 0.044296124972829976, 4.495289917348074, 4.299089536291001, 1.3550042361299677, 2.7561570835378153, 0.27260279015139244, 4.679341476294514, 2.1798003577505, 4.250102341058988, 2.2276972799613253, 3.173893574247499, 5.480931459084979, 0.9500971176309067, 0.24887038303926512, 0.8168836845050792, 1.549871840892096, 4.792412629022025, 5.185568738654036, 2.994187320854006, 3.9193239902903634, 0.7726016484518228, 1.7931771315479381, 3.569791539259136, 0.8612385694789317, 5.122684385222843, 4.7753549922672995, 4.390823063130127, 2.5103362043151662, 0.46051249321909765, 1.1028581150274144, 3.963244212969681, 5.007994640598802, 3.323098779931247, 1.4465179455748762, 5.213067013342978, 0.07476109776013774, 2.79230584169314, 5.409190777046218, 0.49219728949519703, 3.6628062882009558, 3.2850971652612584, 4.105931423037189, 2.7392918796201924, 0.9605759816103562, 3.658222407299664, 2.6283070730736156, 4.150900595293186, 4.199209394029873, 4.355303595992944, 2.691667057573344, 3.2251205632955147, 2.803028000681261, 4.010142776523443, 2.72352393437693, 3.607489181407772, 1.78877061458608, 0.08774994499595029, 5.699301695750515, 0.0770386034850833, 5.298384530796436, 4.881745748274422, 2.298326147759847, 0.22522095304230072, 6.2684342786275655, 5.088199439678939, 3.2792834609705594, 4.4186342349166985, 1.9788873851585327, 4.291842553450793, 4.984741198319037, 0.9934973357642276, 4.914697230361719, 3.4852127086700455, 4.385250640364458, 1.1819963143774084, 4.627732988838334, 3.9635887823211395, 5.643793282462604, 3.7088808355616916, 4.080132302762293, 5.158091686407984, 1.2928932919272351, 0.6181543205434936, 3.9191237761460878, 2.112402403609399, 1.764807082103511, 5.197161210539195, 4.749575924322232, 5.776084199427053, 2.7528404237680912, 2.860025758111662, 2.212128820793163, 2.4653621100656156, 0.17415642028804285, 0.9463853008160291, 2.2916498881944705, 0.10701683298871656, 6.1685813659096365, 0.4679774770451188, 5.454599659573577, 1.6072271866685324, 4.045810970983615, 4.4905472764659216, 5.023459790710677, 4.99735806151412, 2.6276177614498932, 1.219825683866156, 5.019076267218778, 2.5696144526546525, 5.773750172475643, 5.804756008955821, 0.5130098040589964, 5.928544821545619, 0.9434319841874225, 1.3762551110044983, 5.304413436050612, 3.322762744336296, 0.561021492251799, 4.496784023000718, 2.5432852045556444, 6.016964592740047, 0.14564761991303612, 1.1270452467977818, 2.677139039525901, 0.5325792597269096, 0.541280359443575, 0.5693400116889361, 3.315007703667416, 3.77767890976369, 0.9807308340828444, 3.5378695900789157, 0.15529641788240126, 0.4825261746024339, 0.5899296941281473, 6.0375629280325205, 1.7405882920757876, 2.347831135875179, 0.8785122888253558, 4.45153157203661, 1.0104008492455108, 2.140633958209502, 1.5078543158029607, 4.055550680047015, 5.002537611208903, 5.219088246827253, 3.5560148475416935, 4.612554895419393, 3.0878333857740063, 5.7337703897367955, 4.790695633751486, 4.539187061355889, 4.234956559728813, 4.3642683314538715, 6.0323250379829165, 3.275261951538469, 0.4082593054123367, 1.3694933667925229, 1.7577768887928475, 3.5700214099013774, 5.802561606698393, 0.9963374607259443, 4.0142419780496175, 0.9718399335048159, 6.251249023341761, 0.2731428502420211, 0.06968147006802922, 2.2578615824248716, 4.134297798318841, 0.021655055042210648, 2.1169479016405273, 5.976395031634519, 0.050490804042850564, 0.19184961443687726, 3.0297316582537377, 5.584353110709318, 3.8777214054918403, 0.20323463919934462, 3.620335561623085, 2.5889054310768125, 4.571590176444891, 0.8638942858665197, 5.677200816406029, 0.24852742116674428, 2.181485000687413, 5.373596250626983, 2.843123994805359, 2.4261833569151907, 3.200402930460387, 1.375269140295026, 5.500900984977826, 0.7688725764040897, 2.3631954844658174, 4.474278716716928, 1.6169358813043804, 0.03484836123163101, 3.3991344046071092, 4.278846925356824, 4.034707729410399, 3.503791850250508, 3.364802824565202, 3.967116338805614, 1.4612765546202384, 6.233331672098719, 1.1710347745461527, 1.566274980771285, 5.484026861582254, 3.4686218865060816, 3.5041708142930443, 2.763790223938378, 0.5490529442712797, 3.043379141026257, 3.957947823223429, 3.662842417505667, 3.4280308395077834, 1.3300618051889312, 0.5923999816386919, 0.04740639005669222, 3.9037365650438764, 5.8676453898525756, 4.6177256295723685, 4.448850931184433, 1.9654781051671337, 0.4880918340353271, 4.404921408271188, 2.742787274396132, 3.7449403913983716, 3.788678512676259, 3.31962138478873, 1.3071619896001498, 4.448084667682732, 1.1201306023783908, 4.939364816411579, 4.326655681309575, 4.4946878989253936, 6.051668328648144, 2.5027728904174738, 3.55753479821623, 0.9189057566358707, 4.315413992955156, 2.5561358623771326, 4.61770684541598, 6.214289624287316, 3.377963032549363, 4.404014941456764, 5.53096304883777, 1.2731150897882666, 1.4132970360887671, 3.6843469254793404, 5.7754340827328665, 3.264806402733742, 0.5154061535057981, 1.0354737897939479, 4.216766455726817, 5.477669133063409, 2.0865223853700474, 0.7331610509626941, 2.147445538259322, 5.950327588766173, 1.4565636899776526, 1.5672830569181315, 0.3108265985526452, 2.4646130915502713, 3.3700597665965804, 2.2079864146738495, 4.230807287631757, 1.3776939609986374, 4.653226257782432, 6.260757515079056, 3.7979234048524715, 5.056631562926845, 1.4876458480512307, 0.5803780950611785, 0.26020919970207523, 3.7455154305162752, 1.8820667638266608, 1.2184263195234721, 2.0990780314752593, 0.8827467460063508, 3.1306082176115306, 2.791911668616366, 1.0606532346907387, 4.964381730892523, 5.190344496941322, 5.88986544026247, 4.84570937699592, 4.880307408604125, 4.562772123374684, 0.3125772850508807, 5.503580921742093, 1.1392081568763088, 1.5564100040810722, 1.6225931851023057, 4.111018441984851, 0.17345100227244514, 5.396578497832728, 4.521993482802162, 5.4266748012747685, 4.431348201068626, 3.2197686470827813, 2.70209846525454, 2.7321139008884394, 1.9243385265944652, 0.5296844994583353, 5.781958498098551, 2.8903055549816643, 0.9343906740533442, 5.864412472416886, 2.517313905565338, 2.6044748612714907, 2.4034114828106095, 2.7345022356639475, 1.8695410796922667, 4.048869635319165, 6.153489689301476, 2.758663022579531, 1.188557394637603, 5.468616479330889, 3.775729178732446, 0.41122784673351476, 4.00356916736175, 0.619502745310695, 4.233002658201978, 1.0956412557306547, 3.0379522161343226, 5.400544386807902, 4.502320861816722, 1.6696740992319694, 3.0825962545980325, 0.08997501612911375, 2.151498261164668, 3.637735135805768, 4.933801347548209, 4.311425121334498, 1.8333137873909016, 0.9185465322705089, 1.8057308770688514, 4.904829507516121, 5.5115864822604275, 5.688037424771365, 4.703240149003672, 4.55469385812827, 3.6327893262578606, 2.110550671150812, 2.6161199965360096, 4.3993149868630805, 0.5343366182411954, 1.6590988849785826, 5.306416671052045, 1.4563591771145161, 5.687526631782207, 0.4607924187873808, 5.687841770219212, 1.6286042306144626, 1.377574147499562, 4.650881788042646, 5.521060201725799, 1.4263910149842627, 2.006914560699482, 4.435648278872124, 4.482542814434081, 4.825290252965619, 5.314235451739756, 3.404331496606825, 3.5554268357907515, 0.011198728883933183, 5.734792370155957, 1.2942268099684717, 4.45059764136254, 1.849187115296142, 0.9913514051385145, 3.5162812216669033, 4.052547960388228, 3.751118545741688, 1.0115070998444453, 4.228493226825246, 6.239782344933738, 5.377298245852656, 1.4275038978532029, 3.543325090080368, 3.5549543914006017, 3.424617297722546, 6.259553945342019, 3.7953441670118298, 2.1451929612901264, 1.759676516626759, 6.221650666141915, 3.56429221124492, 5.758783039980143, 2.066754419111786, 2.3651605599497096, 5.82105381652199, 4.4520856121878785, 1.2949554849429756, 0.4430815937371208, 6.1657698332507325, 3.556571720218289, 0.9157024298214286, 1.9027266595091006, 0.4448723703697796, 4.95730971586985, 4.909539000393757, 3.717816897892241, 0.66951600405559, 5.841694989894233, 2.7235609432113543, 2.2884409281599014, 5.263118345314566, 4.005539787318287, 4.528977916508513, 4.502028858408492, 4.104314996103536, 3.5992227565073667, 5.171030906199691, 0.8949097740670061, 1.0593434195916398, 3.600934163101401, 4.062941993083183, 0.8286206102470229, 4.1235121522570575, 0.19378098410530784, 3.5850157936001055, 4.637015135415993, 4.413003923614138, 2.196824304037998, 2.4898874666709174, 4.904538459684138, 5.5132817328623, 0.30477831839415814, 3.8073437336199194, 1.7763738928239008, 0.29929084241498716, 4.011196594874549, 2.616869836322364, 4.082776562984629, 5.777995894574658, 4.943704549068755, 3.042210547958645, 0.20058755007663787, 4.444283785636503, 0.5551844799399648, 1.9655781827868641, 2.8170040945916863, 0.09648148302344761, 5.537551394025114, 3.6462701382768667, 3.5687556628661294, 3.8690107263601647, 3.3003311407769393, 0.6862534444758658, 0.16698757901777597, 1.1469277288444646, 3.982075821452626, 1.5066586059620346, 3.066036135909194, 5.101993574076096, 3.7600050020705025, 0.5946450647097159, 4.683858275905339, 5.724139535741433, 4.805203874716272, 4.0499545390257286, 1.3371721420084444, 3.2691566151505254, 3.863219084031694, 4.928123395705692, 4.9545705119752474, 3.089262566740553, 0.90207135536023, 3.3170876753521834, 1.7630832500833133, 0.7674432805918965, 0.21042859207258252, 2.208660070206133, 1.6917639780814862, 5.5420933994835675, 1.309836905025732, 0.5614492924505867, 1.7227748944510346, 3.0766423692410028, 0.2442775888317312, 2.8199172814764983, 0.028461243736508615, 4.618208286260154, 0.8055879160829528, 0.2679453503611517, 5.394548468399861, 5.932003692016215, 1.2362649676359685, 2.3982345419648374, 4.484436010248941, 6.205558648969706, 4.5275731781337, 0.7707752746379547, 2.7750810779071555, 1.0679483466321005, 2.1089566651647753, 0.8571325646668793, 2.7985410260688064, 5.459588008740581, 0.6978012760791521, 3.939542555592266, 0.0625491462501066, 4.931023642429784, 2.8592989071142076, 3.8427330682261744, 1.2381686103268077, 3.28136219045386, 5.93544399746528, 0.8174394589120558, 3.6110758414247024, 0.07066207153406166, 1.0246260096655895, 5.855470093200025, 5.039413760605506, 2.622444331360521, 1.5593097913175553, 5.533033484973554, 3.4473927447128734, 2.6790513771042552, 3.326564218935159, 3.99238157722884, 0.7108522399833812, 4.020428505450246, 1.1786846942257099, 4.296380024707295, 0.5978047861987803, 2.261331094816452, 2.71971338999511, 2.0475037099326463, 2.251767363274401, 6.002081448120393, 4.682262538393214, 1.767198586615417, 5.346581568359543, 5.657752748718959, 3.101627936653521, 3.32339736239755, 3.066983597215507, 2.9027735828297385, 3.7353752793033546, 0.9828352108552363, 5.383392619997493, 4.37002061098526, 3.8297678904382186, 4.876041456398521, 5.5456289564740935, 0.9503930063421712, 0.32721795593617586, 3.146490561841121, 4.742093742286071, 6.1236839706647395, 3.4675450860373673, 2.558206348782847, 4.046682238982701, 4.467917823425816, 2.8261834237258503, 1.4196268819726656, 0.6367994825174533, 4.186502505214974, 0.01328114385867084, 0.23796194192263623, 5.60036222925328, 4.965842140870894, 2.0270802474109755, 5.9777579096713325, 5.228757373361955, 2.9097699331947373, 3.6331065458926024, 3.4275417252884233, 3.553011064406629, 6.1521995889189, 5.311517649245056, 5.720659657076742, 1.976471051740258, 5.563266493215012, 4.7369962094467635, 5.1490464211974984, 1.1433255761820984, 1.2762237148625086, 2.5884393537161965, 5.089125194632497, 1.1390372266360203, 5.248367262519507, 4.918831362951657, 5.604975592883859, 2.7664565329134536, 0.711439503917812, 1.3387083590943851, 0.9348421639656166, 3.107072738705543, 0.30421116118667146, 6.112741774808498, 1.8958815758300924, 5.570459094487107, 4.68739602519797, 4.523356127643916, 6.281947173365515, 6.232112130888691, 1.0123820643578318, 0.6090585038984695, 3.3955572919908863, 0.4928707684813288, 4.592477304970313, 2.7233684310089337, 3.04268349507239, 4.716654919383865, 5.472587400861659, 2.045664385002748, 5.703176277503075, 4.03242297846869, 2.723098450648807, 1.6265508172519352, 0.23001817264149968, 1.0243100653753023, 0.8164684889277372, 3.330642200339238, 3.0473473579928925, 2.6804286447730843, 0.34422496947819436, 4.47717692600569, 2.0276899055409925, 0.11463071302402764, 4.951196709307929, 2.513053148882123, 6.091501527382922, 3.4090344728556428, 2.697498313310368, 4.722160968860199, 4.551172908347334, 5.9764111769903145, 0.8647259241904156, 4.633887152887622, 0.34269957015791613, 4.809237046393069, 4.109948549355059, 0.9064538388720628, 1.1915510490369683, 0.9249638426629763, 1.884025702264293, 1.6515753382970437, 5.1871910144634565, 1.49380629228751, 0.12850734063626856, 3.540466956147834, 1.6511589681872076, 2.6398018983191873, 4.419974873931945, 2.7822210734436688, 6.127001595931905, 2.400737878012885, 6.104156801229758, 0.9971752228482085, 4.603613409877743, 3.5757653052916676, 0.8212968225119972, 1.6128081680973803, 5.937040979145109, 0.29708017330327147, 2.009834976513481, 0.6570950995242494, 0.8828289030199175, 2.147444291996838, 0.4811503516506329, 4.0562042111554115, 0.6826866030525987, 2.1243550022430324, 2.3279868371330186, 2.422492281306537, 3.5071374950892746, 0.709469837220998, 3.9959335923899144, 4.692005783719689, 3.9443087507643066, 0.19237517490203793, 5.507616227454207, 4.404733066210351, 5.053534763352548, 0.5940077901406138, 0.8925165235086815, 2.3608735449860183, 1.462727716785056, 3.8939372025786704e-05, 5.870862799267791, 3.822678125537984, 2.2669914934067696, 1.3623755907399349, 3.442308628608965, 5.837390227005018, 5.447027588817686, 1.968065969351136, 3.856757940857222, 2.9745524373905994, 0.5408756022611867, 4.311844865779656, 5.569792518795365, 2.4125068419539413, 1.9604141990386672, 5.806274193282889, 2.227725362588585, 3.1870811933999574, 4.8864909224264155, 2.9718483499518036, 3.3953855898197665, 2.7424337237909744, 0.5645199974052708, 5.460718628204785, 6.022500204371263, 4.533339861471468, 0.39959096263890737, 5.508898483230123, 2.5690342545333102, 2.1798812039997824, 1.0324189999012323, 3.9459320062475913, 5.4400974847406705, 3.806495272332223, 2.1918937170199113, 0.6975183822145671, 2.2150257111865397, 2.160610574486794, 4.507905127439931, 5.823803079846053, 4.430604522871266, 3.9173995315979036, 5.566900941531787, 4.052706792758319, 6.176431850434654, 1.916863846345449, 1.8163723509978678, 1.0148523885991887, 0.7097250574712504, 2.313821552460097, 0.1541005632800331, 4.734812201163114, 6.179354017939636, 1.7704057921382024, 5.199302664715333, 3.704860824320663, 3.745321125600654, 6.0200556819133295, 3.593590819109208, 1.9278098388633456, 3.200033362187812, 1.987880276507347, 0.3301113123749761, 2.381956036167644, 1.2568842579887853, 1.0878968970655105, 2.764483905629906, 1.9699342838390244, 0.4673409230908302, 5.716440263163228, 4.754183215550241, 0.7458803273663076, 4.040062373877805, 3.8033069112405298, 5.745452997293958, 3.5823385422416294, 3.607892511188343, 0.6327880973892652, 5.750110087864858, 0.08836423009179215, 0.23760733143130852, 1.803146958392515, 6.055860095194006, 5.382358397790333, 2.5319350722468643, 0.4193793525620539, 5.45373201286068, 4.488046290874918, 3.116171635361899, 5.39064758757977, 3.847648830488695, 6.0511284660629485, 1.1387256008902378, 3.2952914615086555, 6.129507430732665, 1.1757149707124506, 2.094358389541987, 4.180001275940255, 5.773635122882539, 4.749389575372081, 2.9460363667062115, 1.2876026211947826, 2.5809245354838555, 0.9538551934675151, 4.727586082140813, 1.0603310335663743, 3.899289930997326, 2.115066204213655, 5.973403711273002, 1.326151567171242, 1.8577840392710283, 0.5327807263126624, 2.9933225700812622, 4.222283273995963, 2.2070983876210093, 5.846616683106762, 1.120600543134683, 5.709128687767592, 2.915700759759974, 1.7479730770408952, 1.3130459315012262, 2.067040589707092, 4.884138398103412, 4.8988879211677325, 0.903282155805017, 0.8897390661566115, 2.655772646636638, 2.129551931149942, 1.9839555172992502, 6.187830174970011, 0.13548399846316514, 4.737392393247616, 2.2338007811535925, 4.448988356885064, 3.0088451059756243, 1.9428412741032413, 4.781557828762438, 3.7965394720610015, 0.45117745820949823, 0.2937421266175784, 5.774413171972057, 0.20316442860881095, 1.2429140394681228, 3.9627223287694275, 1.54430988749427, 3.2137873662672503, 5.028764457481983, 4.591644866985029, 0.9151110417461092, 0.7059225899118989, 5.4044551988468745, 4.459810977403408, 4.272545447978708, 1.5840779302118666, 2.1866147829250737, 5.5551311013614715, 4.555759373038841, 3.811942290848494, 6.202063256128671, 1.4092437269114533, 6.075661228667509, 0.003969287978288223, 0.288060530732853, 5.971825417856501, 3.3003185651180456, 0.06486042076490697, 3.285798468499675, 4.205270574077758, 0.16928088050498158, 5.9106906974732825, 2.269663975338457, 0.4144284378375255, 1.1184508670099889, 2.8725607717535695, 0.6667885785356304, 5.4483687464970885, 1.5867066214925876, 0.8690375813739665, 4.147168778201608, 4.881871187365979, 2.684795869909173, 6.058262036885783, 1.2512004346569676, 1.1234749965807447, 5.969178614092328, 2.2079686247095456, 5.428376990727539, 3.584661102962905, 1.7783424081481105, 0.20301779839638934, 2.846732342598685, 3.463893583497995, 4.285620927909401, 4.55867702610431, 4.8520990257395145, 6.172300842051252, 4.655179200470313, 4.652995508103442, 1.55225761082535, 0.5067183690799761, 0.8327016668661058, 2.066075184533008, 1.9464799480416972, 4.504831239560021, 0.21210799681354547, 2.1986289804114416, 4.7465800741819875, 4.579036967532366, 4.535928116511429, 3.052167812692231, 3.9468715467400908, 3.1629838301420956, 0.020819716476317234, 1.5315558567346346, 4.664756695091938, 3.538771203183252, 5.755433162257351, 1.0160306022071703, 3.890044139601709, 2.003304047357162, 6.239869212535643, 2.884765893741226, 0.6643990285539071, 2.1070303712971254, 5.813357106120583, 2.677817551133214, 0.26302310958656505, 4.9768574591471735, 2.9097502618447018, 5.6931500774411585, 3.8328613859284095, 2.4881664028104433, 2.3595531547728674, 5.3343782371189805, 2.5356415232378606, 2.6206191827919447, 4.2713943460427, 5.658511413341715, 3.865349128894049, 4.505021950272893, 3.8226895918533774, 0.8588761091584957, 4.068286342815004, 4.805972991928935, 3.210567688546966, 4.9109934592987825, 5.780782087881124, 0.32547390486865047, 0.17064855296602846, 5.396732991474204, 6.112411471449531, 6.090106522449333, 1.3113620526085898, 6.0609130632711725, 2.2948178162154385, 2.0168264880270015, 0.16470902639017973, 5.691893072531347, 2.860289585919463, 2.8684241842451748, 5.7597386869706035, 1.0776451353573866, 0.03444320655595146, 3.0710990532664786, 3.154717949237716, 5.160821409404879, 4.97529914439429, 5.499009298198735, 1.3906159959091284, 3.411922332008844, 1.5657667933974795, 0.17974887998719585, 5.572346827631637, 0.00633774222279749, 1.4373454334410294, 1.447273641242669, 1.911437030227024, 4.180333029122791, 1.1487727375998842, 3.1383021537133864, 0.4203547100503393, 0.49850445969999374, 3.8872389192878787, 1.997969379085692, 1.5225749108143585, 2.724446311607754, 5.796911581273611, 4.896591730966276, 3.741191572445362, 4.946643465502559, 2.706108456848202, 4.410354003863525, 3.528302467311849, 6.187893824284262, 4.526751617787833, 2.8650508834314863, 0.27181484449244214, 1.986446668371189, 5.062721316611894, 0.7853510067817336, 2.6301293896347238, 1.112782194906519, 2.456887500464772, 5.35401553645159, 1.630858411051922, 5.5946367395654, 4.316345762540068, 4.616802529107361, 2.8100964182349215, 1.4642964454519507, 0.007231595879826533, 4.563991315399857, 3.3109302669736773, 1.861554430622609, 4.499128611334282, 4.201558553490804, 6.266593817297881, 4.3319265034697345, 1.8684493176414436, 3.473760735168521, 4.709304499765523, 6.138105851374651, 0.6379227565282324, 4.058476596305859, 3.055696885234001, 4.5137069539441255, 5.410345988995663, 4.103935486594221, 4.881515906666081, 0.3415353489804386, 2.845506650559601, 2.7772272001439244, 1.789686110956887, 0.5145336854263325, 0.4949294916690878, 2.329269466346474, 2.1119121097774, 0.5238449714133451, 1.3029558396671483, 2.1271950586355834, 1.1088356391774032, 2.3713058417570956, 3.679006454611913, 4.283422791696449, 5.437055633451982, 3.57025612379634, 0.9414877148687575, 4.58154054667243, 0.5249675285677045, 5.946143788421894, 6.244855051355473, 5.208347667898677, 2.1509299334631384, 1.7096792495085598, 4.43830954570105, 3.361155385920338, 6.065566306660315, 2.7430422850910183, 0.8525619718677323, 1.1031980258221668, 2.4917461085575003, 0.5193906761919334, 3.5600679425597974, 4.914551653889106, 2.9462522948126537, 4.414178356421081, 0.3188097161399995, 4.90398481547729, 2.4252631330426953, 2.595192768965567, 3.0320372232281034, 4.4567800738187655, 2.7243167646334987, 2.9214371557268026, 3.1683331530769223, 0.17715126820134025, 1.6495563351633045, 2.868225513396413, 3.6227449695321394, 5.336164399394823, 5.29068759878339, 2.7780230100675474, 2.3372800006559586, 5.381139626802128, 0.7243620785066832, 4.507143210465521, 2.4319483312045733, 3.0462754849724134, 6.248694585997254, 5.118758294588583, 5.434853893568671, 4.431377830370646, 1.4179949398517178, 2.3638794389942324, 0.6442766303359823, 4.400559394505455, 5.888825607853095, 0.34027604823554203, 0.7682738784985897, 5.728054590675926, 5.215569492594401, 3.094822702775381, 0.5985550584911092, 2.4059597625461158, 0.5463852994390694, 2.7992410059638195, 4.171804801292333, 5.830780928119731, 6.120523228103978, 2.976730962041812, 1.9968086428459815, 3.7837231702373924, 1.5894534437772099, 3.906697137758378, 5.852490539554903, 3.522709546755351, 3.009052554327555, 1.710908940284112, 5.39783796945301, 5.892188023342104, 0.26307543941805017, 2.3571997876501722, 3.289632823352909, 3.2463006716604346, 0.6574146860240316, 1.7701976088261606, 5.837368194036703, 3.990370229548276, 1.1610649191696534, 5.538122503329391, 4.818497751152632, 5.049330821599935, 2.9084082511953184, 0.33383396296058937, 5.920189448556026, 3.877154997628122, 5.0709272512712955, 5.622783219953126, 5.207253636394556, 0.48766568494858215, 3.6282839193414795, 5.341016692823679, 5.411830523007849, 6.029579775415327, 4.863781354604919, 0.23211439665891498, 4.686853432203988, 0.976087604368483, 3.5889055149366924, 0.7188063990643677, 4.0791922818950725, 0.16391706383011403, 3.3246505478472597, 4.907745184183697, 5.285947021783295, 2.3801396645437034, 4.241978358956942, 3.8058399732684074, 6.063706417585097, 1.3582575436449869, 1.4015713241149939, 3.9252427684645452, 3.3537848853315495, 4.470206988663319, 5.311732857784582, 1.2299748239245885, 6.053790663164378, 1.2974680541319408, 2.075457409335197, 2.3551299630426916, 4.1759194924986325, 4.632777152392114, 3.0901920850522853, 4.741682681766853, 0.2763947908849916, 2.4425056766058666, 3.335708762664947, 4.599101618988997, 0.2637112605130852, 2.7105222546949896, 2.3766626517511056, 2.069560227192981, 4.476348535639865, 3.6791475373581126, 3.230945937517876, 3.4684450306198737, 3.4623955292952893, 0.9847487961002257, 1.1922795341688852, 3.060326538187136, 4.241278484638271, 5.5119708247852595, 3.6756794926484337, 2.4449932843986852, 5.997499622623781, 4.719611503144737, 4.089796599014679, 0.9370565876311381, 1.1799430177084627, 4.54480957625802, 3.670227803618169, 5.105325508614644, 4.847029041781572, 4.756998548469556, 0.45239195038071545, 6.232671537004616, 6.196703507633602, 0.9132204290025062, 0.9115084394942722, 0.07581383176217772, 4.276033241352798, 3.0358109152973536, 1.0168181680484016, 5.770216765917312, 3.474515237716107, 0.18446831476467485, 0.5268552580402905, 3.1710485725753523, 3.0454319751667653, 4.668095788886091, 3.1679162467597073, 4.936593909768918, 0.2352255293639785, 6.098348415703311, 4.507556794509152, 5.277288583520738, 0.4986220309375916, 0.7099497693548119, 0.23452076404077732, 4.606960819796498, 0.8413611668339751, 3.025453862577422, 1.5811137168351381, 1.9226127182911399, 5.131742100341984, 3.793723835507372, 6.001231680935791, 2.335268707911211, 1.3607948729698305, 1.9815690377486566, 2.3365667656023237, 0.5215852881282764, 5.276102885832505, 4.383626977567232, 4.143813200582772, 1.1500201751063852, 0.49600779015548196, 2.7363228697306243, 1.83386348505629, 2.532941328715619, 1.7754089018711898, 1.1718598441434895, 4.373292306224306, 3.2568959997519973, 3.892204391844701, 5.985260225680901, 1.208195626270719, 5.0477055447947805, 0.7766696335305173, 2.707123129126188, 3.22455246181335, 3.2954523489484724, 3.653548618035647, 2.0654467926714206, 0.19387635827047442, 3.072777868120939, 3.855680042876684, 4.483541616982777, 5.470541445707067, 1.4372484293098196, 3.3055559081188286, 5.8433260610907585, 3.3643345693715316, 3.3870432320915733, 5.029674807988447, 3.455666899192406, 5.434070659385701, 6.210148871534198, 0.7230888734240731, 4.993245935965043, 4.712870143717919, 3.6865563840005753, 0.3682799105310408, 4.18989958603222, 5.245402401325555, 1.2294015069968411, 4.2559327130627675, 2.9383251236482386, 5.9451051824900025, 3.726701564856553, 0.3174857414007327, 4.848034711479403, 3.0455382498838723, 2.4594615955438366, 0.7228797938100373, 3.2044638135946917, 0.68720088580984, 1.428802215144456, 5.65888685652989, 1.8429477993001835, 1.946775554190839, 1.1499872191876652, 0.5123175673979601, 1.525763694582887, 0.7361471259995246, 2.002308870535961, 4.924822611970089, 3.8133207054607494, 1.1668785197021727, 2.547159790567945, 5.9702583407765015, 4.969948369844248, 4.3532833454775615, 1.171731359046022, 2.0499252546212063, 1.958788371821434, 3.9450711050875027, 5.503567622385455, 5.432234977843724, 0.9707868839216179, 4.513275407430344, 0.596853951729694, 5.005784223966623, 4.251179220103843, 2.6654928543804903, 1.726143946923305, 5.082952709126105, 2.142543159534805, 3.6372947345756605, 0.6264981607683643, 0.7146120230059627, 4.555170852100744, 5.242110016263001, 4.796610645614142, 5.111033524110983, 3.186876699946875, 3.0575104863064473, 5.693483587413893, 3.8068415545966365, 3.432541708950416, 0.758355429550297, 3.0822217603414708, 1.8580249585809538, 2.223563652533419, 4.2182197047251835, 5.301498210941814, 0.6083323224401527, 4.918849289773402, 1.2289747675931864, 1.8732886022642656, 6.040222806619856, 3.9762993664900956, 1.959840717924564, 3.687365573461696, 0.8538146742967738, 2.2765087876126215, 3.648133912958499, 1.5125516810503008, 4.625853551943168, 3.1303912243801566, 1.1565411391428952, 0.2047823144459651, 5.354087430154427, 0.5212059386396662, 1.696426272150992, 4.438080104412092, 5.893929808610659, 4.427153591590306, 1.2129026968840906, 0.5588737051894944, 3.938068138572962, 5.740031641358262, 4.117697323770543, 3.4606071722346226, 0.06503005051870352, 5.6525493284002355, 2.2032446064775524, 1.8882221604713845, 0.7139630899259858, 1.3124115747473815, 2.142428367867615, 6.049187258178201, 4.061820193927152, 2.1546386311295884, 1.9139183032068225, 4.511102469336805, 1.5202104580096392, 0.743005233236439, 5.3528610388869025, 3.778554687259877, 0.7020851956163562, 3.6261887197039555, 3.179107200343569, 6.092012833312828, 2.9418340081936867, 3.6530771788015515, 4.73419091235287, 1.3802572834750164, 1.2453039148112077, 5.869681896204784, 1.68296379988391, 1.7881032018059797, 0.4728381401549592, 4.14416353708265, 1.3902472053287056, 4.775885892986143, 3.4283891928439654, 1.6752697196207478, 3.853996954917381, 0.426990585046975, 2.8895981177544443, 3.115459252203711, 2.1958230229808775, 5.070679789682719, 2.4131570809059375, 2.440488266605769, 5.491064178800938, 2.9037338555401697, 2.9635351301035193, 2.3562108795380174, 0.25666192504547053, 0.31454597226899234, 5.931827460069078, 0.7065424659740052, 3.8536462059804055, 4.07433786732102, 2.059436204991505, 4.202915413953851, 1.1981742888982025, 5.586118106404185, 2.728406470492168, 5.360048604020338, 5.592680459274211, 1.3659227883888057, 4.999109533831771, 5.728487636107795, 4.238459793962959, 2.464402238487086, 2.9441061429883106, 4.603546551253718, 1.0072946539139944, 5.817712639233998, 5.67269753612719, 4.072557408858771, 4.667660406537912, 5.5419987347737, 5.108685529625044, 3.1822359776541207, 4.2874800447995165, 5.690218851795679, 0.30026981953100607, 5.304180480644422, 1.3557917803892585, 4.334135066502913, 0.9073385306941736, 4.907907858940039, 1.3994777139098822, 5.223300590097203, 0.9750697843658781, 1.33157346905474, 1.2711065745005206, 4.523699711930753, 0.3611719342500552, 2.8611063568105424, 1.7578621126683445, 2.1614333295183434, 5.715073048617319, 4.477916384262975, 3.4235943937874924, 0.620277798163372, 5.459901297534432, 3.4608422876661424, 4.040963267706985, 5.215062657960803, 3.640756107933362, 2.27148507573337, 0.5723858375668764, 4.9057966909923225, 4.083416891022249, 1.6934812188841537, 0.9285929441195134, 2.709844620987398, 2.1985584193958236, 1.4505429459987178, 1.7019997099681943, 0.7884217074061641, 1.2795591780124655, 4.743204886994128, 5.347017331215767, 3.341171673586792, 3.601540965816843, 0.3484639236238456, 4.221601978904547, 6.010296181277887, 4.309645984097576, 4.570591102584054, 3.3611974015718262, 0.20720724361751205, 4.552751841508083, 3.684682164599942, 3.215318912382933, 5.807031603812024, 4.6519256444639785, 4.617255434581903, 3.0910128338712317, 3.734801436123045, 0.9016303761034045, 4.3166434515593375, 0.5901251906361655, 3.820901314326354, 2.9249266230434547, 4.304441989964252, 0.6142830496012897, 1.147213375636647, 5.146899057239522, 0.009265277564750523, 5.67331162188288, 5.694287837008818, 5.205215349869281, 3.570886012112287, 2.6284014833054323, 2.1629885797699897, 2.3400049153417, 3.062765904569801, 5.936977877089733, 2.0387833530141566, 4.2780597951102095, 4.665017921678701, 1.4381991876941427, 2.4467102057256684, 5.547106360526357, 5.131466702428505, 1.2517612745083277, 4.2414595754069015, 1.6732386765421121, 0.26108265338634384, 4.079575570760938, 0.29218937991456984, 0.24408928437005464, 2.1275427663044337, 2.560113978244133, 1.9323367263773619, 2.6520519173551405, 2.4856629016669665, 2.601476434939546, 0.4791293511684108, 3.8834449627235723, 1.9492314368356656, 3.1659340653844135, 4.260580365995895, 2.5201822255321527, 2.867672893283098, 2.755218292636876, 0.0990533350813546, 4.7826718887154716, 6.06903568906819, 4.834493476385783, 3.64964159674327, 4.840659552017471, 3.8338900654686228, 1.0068990059759828, 5.150056099880784, 0.2748429860604606, 1.5991699361796716, 4.510162438619416, 5.229524530762922, 0.3486993089924777, 3.443336017429341, 1.7841658637770264, 3.4033165752877776, 0.15466297026695727, 5.5965642452616695, 6.049622952907256, 2.6134718782643374, 2.262725713600532, 2.862593257963165, 2.249001514959123, 0.039865486103849025, 3.4999006197734555, 1.9282690841947492, 1.9646042451423436, 6.268209959901266, 5.548242552127518, 5.6387841136449195, 2.154015872277828, 5.457149563252655, 5.420265474100715, 5.587373256357666, 4.598619026231228, 3.9663936022163844, 0.4733364624811768, 3.08624330787804, 1.2913331063217526, 1.9360515106440033, 3.301295338662174, 4.916076569283559, 1.8151656923173587, 0.7108070669446439, 4.142588626831602, 2.8542395232910693, 3.7292717754295555, 3.6873964269955057, 4.9434753888015015, 1.0046071660310498, 2.7979738904118827, 0.01003517776210188, 5.357993657735341, 4.674028085731283, 6.26148131334163, 4.306002054287961, 1.3286837901090294, 5.170289404929528, 3.296022108097887, 3.0743763475919734, 5.25640889340685, 5.120492999697798, 2.535899004226051, 5.449954880724153, 0.3830484277436011, 5.881095266930645, 4.951302346545907, 3.897804960727328, 3.9294407234685287, 0.906616932474484, 5.0325184067788635, 1.6421239212414205, 4.2963730761697985, 0.5815610793418741, 5.512473052838665, 0.5451070731228537, 1.9837703128061563, 4.103012370833805, 5.005911947209174, 5.516070068452547, 0.4898114917819318, 0.5515420667623945, 3.9853534603913436, 4.143617832366896, 2.6870102383586727, 3.847880309251041, 4.691360556270947, 1.9609870590567107, 4.470948631504537, 4.5714184732281415, 4.922262601892076, 4.019318632886271, 0.4805797374723875, 1.6983674778468376, 1.9023899208940602, 4.557696913012166, 5.337561236009016, 6.274953683214565, 0.3881995639446581, 1.8319435260921344, 2.2312375726668923, 1.5498907755947182, 3.181296638032621, 1.921459424408219, 0.1681276616773976, 2.1762129965448365, 0.5222477868398433, 3.2922892519243483, 1.6195222022855336, 2.584685469340638, 3.053130735858579, 1.420893083626078, 4.490396818929147, 0.26816202120450094, 0.49047540736715306, 5.117330842694399, 1.8413208408611632, 5.978101093707803, 2.7134349918268703, 5.178197889606157, 5.2653614301485145, 2.5101818993032587, 2.480608209577487, 0.11904141217953212, 0.3919979433880535, 5.498679118666189, 1.4388209385496207, 6.053995656325178, 6.0320666030162755, 3.762887114804183, 2.922293561324528, 2.4381872106943563, 3.6890188011676455, 1.9395700729962373, 6.169514071089004, 0.9458383755079542, 1.0042963913912626, 5.328768168914895, 3.847566125386474, 2.691368021055428, 3.045913318970483, 1.5678611781688916, 0.24813039479917895, 3.5097468370774343, 3.7177767349275608, 5.918756401283444, 0.1635194127847503, 4.549821513700573, 0.4109556858246367, 1.6381017908735624, 3.845304708687285, 2.565127918787504, 1.7578853457181638, 0.2737727707255082, 2.222919682156912, 2.762948777701818, 3.053256229974621, 3.4715607514264692, 2.0209155283100237, 3.806361429151797, 5.144286652292012, 4.031297753501592, 0.019060079672965764, 0.16489001856618907, 0.6846167496205425, 3.9146049720868445, 0.23176068639293543, 2.059326329730297, 2.7042137622080387, 2.866812806252119, 1.1659656608173703, 3.5122829865392178, 1.5102157360943458, 1.6240835457622704, 0.41912576850024547, 5.890643058962161, 1.4573131783051931, 5.3487631266415425, 2.707582525655697, 0.03963054292439756, 0.25502305196067576, 5.672343912569006, 2.5033891423314, 0.07961558233021901, 2.5395609006911086, 4.47145405834011, 1.1069684460138711, 6.062220941636195, 2.763546402036375, 3.6031684372474015, 1.9985369351771904, 5.446761693214348, 4.583672386968966, 1.10350136910752, 2.614898872855911, 4.3339750358806866, 0.5257082363906848, 0.8424479404101486, 2.4400988745290597, 4.0635598688281505, 4.34854782738715, 3.150142980480483, 5.449821264304294, 1.6072504589011793, 0.1128238864592631, 2.5856621555119745, 2.7282840303261704, 5.927644729601439, 2.8735144192848097, 0.4592250055894109, 2.620242754649023, 4.161697273382181, 0.9104413147240817, 0.9134345403209472, 3.9830263895101248, 1.0172255914815311, 3.5427181645228543, 5.952795206230002, 0.9930416796392771, 2.740270772123352, 0.42271578546722294, 3.905681144016137, 5.818996527864466, 4.173997278623398, 4.706198885025316, 3.3916098018052434, 2.6136848415965885, 6.242148442219387, 5.153488790886522, 5.729843843898522, 0.9413080097330724, 4.85298614292686, 3.482450452609539, 3.4365864175300627, 5.274119507810269, 3.08123968583319, 5.713006739375032, 5.0183275192817, 1.0162307457136697, 6.01288407293176, 1.5333152176160423, 4.818339983817345, 4.772313376489772, 2.1689165606502847, 5.643717741742452, 1.7198353399636905, 2.8408411033856846, 4.270559733160424, 0.32554696990125204, 0.14479075068631012, 2.1318549110783027, 1.3301943949091117, 4.069392288242745, 3.6877956674291372, 3.0959267939302024, 0.5439599101639216, 4.625731959686552, 5.016518233409089, 3.4699313552245044, 4.076043498624326, 5.780983152169817, 6.1295894804761755, 1.416968316945571, 5.41310528008219, 1.0757931966688559, 2.7869816706268935, 2.2656896577306247, 1.4524077170705998, 4.926673825106447, 5.965077350992901, 2.699321379437388, 4.330793054982559, 5.7487806433703925, 2.750610261612118, 6.06288873705442, 3.8305115406258454, 1.8741845313046346, 0.013105785848106052, 1.6050104179182305, 4.214037211985586, 4.366452466513342, 4.469535425951689, 0.8943478094120573, 3.1972901602544175, 3.4931868309201484, 0.3960239517632408, 3.363959640910058, 4.895202070508595, 4.4353842308481415, 4.6551885471385885, 2.092038337367253, 5.420700007522498, 3.4464775261614795, 4.602762104162841, 3.5674195126261354, 5.628725857200241, 5.644376904381074, 0.601844885371918, 4.237916979137878, 1.4040767328052506, 4.320766727199082, 1.4178757211905568, 0.7368670849257196, 3.555030568627871, 2.022688792778426, 1.2208265904269169, 1.4268346852756442, 3.4869676593150487, 6.0996875203040055, 3.751630107283046, 0.946007751656734, 5.0456993556831735, 3.6330408120389563, 1.5933187923648333, 4.917769254958075, 2.1800191103145794, 6.208561965066382, 0.19753374251554137, 0.828159411839199, 4.40549938759634, 0.9176927515305007, 3.6519401956808117, 2.8510967431782106, 0.436104131360255, 4.960129931818466, 3.4222490414983007, 4.188052503226543, 4.342937123592721, 1.0151356416710848, 4.325626699284689, 4.806996442255135, 5.066591587922454, 3.31841071011833, 3.4254275754790346, 0.37543884793795107, 4.511850096042229, 0.9758708145737706, 5.888287972358668, 2.4798185041979495, 0.5883431307575495, 1.1411209481527498, 3.6843944782105287, 6.142886613833818, 4.71541801772099, 5.875709681931798, 3.2968859026104567, 5.6337867517921865, 0.13319659995780922, 1.8488292779938638, 3.774289434962664, 1.4762550585586156, 4.22137220984388, 6.124042866257764, 2.4464473603515287, 0.6688422630695172, 3.1959337018272413, 4.535427109114292, 1.9508971032570446, 5.0972147545587525, 1.3261256020452323, 3.5643192842768725, 5.132245048977181, 2.289438066387032, 1.3735212626138062, 4.746705484216595, 3.2756628279594002, 1.181509330224853, 0.6197342790364871, 3.9006871059898183, 1.843552241082337, 4.809272041375927, 2.347064775239051, 4.964273720870634, 0.8328820984978021, 6.090642009144463, 4.259448572531365, 1.8287500658255829, 4.42226065817847, 4.437041956253883, 4.022324099017032, 0.4095804195626054, 1.3814152524808478, 6.132339184912084, 5.59202394346557, 5.544630763273054, 4.586138899685102, 5.288090240214899, 2.2949547333427653, 0.8810984935611471, 4.3430092256205395, 3.344620934951366, 3.6687768093608915, 2.423582253045176, 3.9029659119166826, 6.050592999131417, 0.37486167558744177, 1.1345790823449435, 0.9623802888788936, 2.2228512523206114, 2.4506257732989947, 3.3068057067834022, 0.25861826616072925, 1.904280632475261, 5.669488040384038, 6.222149620953743, 4.819145098137897, 3.883749194272301, 5.947950909734821, 3.448445812717597, 0.07287947204629555, 5.535194713582466, 6.033203769082653, 1.982644137385299, 1.348819441553184, 2.690947923053187, 0.688117335824297, 6.023868460350867, 3.92156400267064, 3.707996670978399, 4.616686337837345, 0.7963238212217844, 3.099633612290601, 6.158669455653649, 5.403519809089004, 0.8364213374508866, 2.891136784642008, 4.3189656038590005, 0.2639010485838243, 4.916839575979137, 2.312197785563186, 5.892371157827241, 2.4589713776598408, 3.7907102205490304, 5.0295796558992985, 4.182218872300091, 0.2534852258761958, 2.2658623901180928, 0.8747581534372412, 3.491294760493512, 4.23286566474969, 0.44191522780629894, 3.494595369211276, 3.524536478052347, 4.444372330291323, 0.020093445541585087, 1.5671908003096024, 6.01601841692962, 4.4692566715300766, 0.33123292556910966, 1.465948902759426, 2.9924095470205105, 3.4529804749008193, 3.6753841134477736, 4.89713427023664, 5.725449228164792, 1.4169169626758205, 3.0245049105844717, 3.9778825594289198, 1.394220728218175, 3.500862909216972, 2.9264675001429645, 4.549595315363629, 5.965552538130844, 0.06782218728420056, 5.834318013136646, 1.994124807391564, 3.195169471823236, 0.7878601176987028, 1.076824161100549, 0.5423652584541876, 6.202584759760641, 4.82508540530588, 0.510704154538508, 2.3128239047591435, 0.1113064613040022, 3.857118102176565, 0.853907599389866, 1.5734970943360074, 5.093964165619836, 4.322627990835983, 0.6137740603925449, 4.073991109946853, 2.924332994989711, 5.692935832096626, 5.469425022171085, 6.145495153960771, 1.642058296097927, 2.254577121336809, 1.6444043661664671, 5.846214924958226, 0.37445373222575995, 5.430845067155972, 0.6678704255131943, 5.724798314206688, 1.8118535783728116, 2.7020375675801636, 4.1365194588009295, 5.888647145910521, 3.9989234825494444, 0.3655965445300376, 5.644650011792069, 1.047555806068989, 2.0541529273608576, 3.895560184516191, 1.3903576906233839, 5.726212541152651, 2.4228380002187055, 2.772374796578549, 2.282024263011307, 4.534333191175502, 2.3676169066217407, 0.582737107820936, 2.4539116407072115, 5.708495813137219, 3.4934501942775125, 3.6987201200448654, 5.242169745085178, 1.3534619552840041, 5.939446079396893, 0.5333300476937346, 1.4918719642149718, 1.4650206105901902, 4.579247478951226, 4.393447163384862, 4.407658108906551, 1.9014628232904967, 4.770862752302236, 0.7408042122001673, 3.323868318950604, 5.026966446511776, 2.415192824933674, 1.8896403953402996, 2.12685965283449, 4.127329741761269, 6.239668187658049, 0.7895431773804815, 0.27981495409247525, 5.7891482743056315, 0.9455172373725, 6.178686860731989, 3.5118273395631125, 5.561192568182447, 3.5344211354092994, 4.316300726708844, 2.843867320327722, 4.076045204766493, 4.286421814393116, 1.6893932520667334, 3.267703755479856, 5.264433505997467, 4.989247615945736, 6.092890640413236, 2.3214894414747365, 3.65032635213397, 4.844557117544268, 0.6754748332184809, 5.996397665719222, 0.9831053088885905, 4.246595096684262, 2.939000898244712, 2.990383386615097, 2.531511245478074, 3.3955769410925676, 5.847665778578289, 4.920816338888593, 0.41432952261698797, 4.868713395302474, 2.1410051290215497, 0.36616460078437607, 0.8711552546471739, 1.484611885821029, 5.5417203359735545, 2.52586837116351, 2.9712725747739688, 2.302970149231231, 3.445369303291924, 2.54050199781508, 0.31115000243266233, 2.720578088398764, 1.2745385093909996, 4.085259587282562, 3.2997105358928605, 1.4658919658397025, 3.7053997758903643, 3.563105795964656, 2.863141971461802, 2.4847464686266183, 3.3913611884059187, 2.3983086463228545, 0.7947100460708924, 0.4287862709735348, 5.733128734732006, 2.749682433161373, 4.243936535813433, 0.07358459494078053, 1.2128722529321225, 1.415775819916899, 5.578291509932722, 2.0931908425200048, 1.9322125227784772, 1.078748702973485, 0.8174024050019928, 0.7348052633820727, 1.0653894076536041, 1.5049289172174767, 5.722751732149231, 2.8939117078386283, 4.723248244947573, 5.855185729172612, 1.8169117810800923, 1.0217802525759945, 0.6333482473519856, 0.8551772231217891, 5.052886949038827, 2.0671139126978635, 4.560585611010126, 3.2543357178222476, 4.753961025928679, 2.029196452448534, 0.3036257509104156, 1.7126626078043574, 1.0901463787676444, 6.215694597707249, 0.5220163133212724, 0.6157972310626465, 2.2880549312452043, 5.722619379165115, 4.03600842283645, 4.522599399134068, 2.9733613017257134, 2.322861316238007, 1.3244013071780874, 3.6991200892937877, 3.68675745828463, 2.608366153374749, 5.419199055306859, 5.320144831451152, 4.959894859679508, 5.247861103510163, 4.418088112007411, 4.705805785122435, 0.7319875345584969, 4.430355071059736, 1.8927250523981864, 5.793849108403254, 0.5276478261204125, 0.8504351566205149, 5.207967319112019, 6.20711507810782, 3.619056541788676, 1.12237538590414, 3.803969842956121, 0.5476642907885756, 4.3005367195973, 1.059439727521239, 0.6460496870934891, 2.932526743499095, 3.9800055992405925, 4.338441103282742, 3.1852025577661998, 3.5754492030710625, 0.07690002735109909, 2.779911264959179, 4.60806338817161, 1.938779776357552, 3.2286865493033883, 0.6312243000070606, 1.211341233625568, 0.7924426805450421, 5.8007498190237925, 0.4688446632443692, 0.9386544194079399, 1.5253680648868495, 4.947390230596034, 2.935467640566253, 0.8570902086964642, 4.261917735346827, 5.051510053877171, 1.7088584124136927, 0.0921343640709992, 4.031943408846667, 2.1062331579635742, 2.5485961838489906, 0.6892810586308773, 2.0697109534433764, 5.364547809290863, 4.206211242453982, 3.4178384204510293, 1.1052495736291073, 2.609941567303077, 5.432633365512456, 4.308762117657676, 4.987480874941879, 3.097773309374432, 6.164154243038451, 2.7094692311245314, 2.4561600147145466, 0.4993243948943502, 4.3054639495839355, 6.110912966693071, 5.2877005949152895, 0.3730290427492358, 1.1472648168631703, 5.241594857520388, 1.1926505478932425, 5.519344424102842, 5.849624687071445, 0.13560012243358888, 4.255519794660397, 4.441131384729745, 5.394729059537697, 0.6301934680794491, 4.860319638828829, 0.8684801575357545, 1.5691205648882127, 4.027353758195801, 3.1283294530503407, 5.92647547137222, 5.321902451147234, 1.341329826169415, 1.5500155360130314, 6.231004444427373, 4.6988793018283435, 5.162024299055785, 5.727328593920651, 2.2595740572496035, 6.225621122780667, 1.6032984195381976, 4.569032844795509, 6.040475504174408, 6.168408932599769, 2.404817353323299, 1.149950677795029, 0.3930190836753998, 1.5264932356160006, 3.165267798491574, 2.0620999825446837, 4.636286036329861, 4.121918381582771, 6.054693474481391, 2.713254691660502, 2.0271759332075443, 0.7966938850474102, 0.9498550626403438, 0.07516732595855, 4.543564981866238, 1.2329086905604816, 0.4314985379552514, 4.729459726709372, 3.387543290620668, 4.133601860665369, 0.10843763865288883, 4.836125340229017, 4.61573196047659, 1.9511601181776188, 2.010633063596721, 3.46283779271036, 5.41806695514868, 1.8594940218708729, 5.013721663796648, 1.7957581429638743, 3.121708264694659, 4.86491239580829, 5.9468311005474845, 1.0129012950038823, 2.619568557467307, 4.5374645657996915, 0.8604346419256148, 5.204362325298266, 5.152613088394465, 3.348432045791146, 0.10985654714092949, 4.764182012721007, 1.4609847423144993, 5.4932006387602055, 5.800240332914358, 5.882499993120024, 6.166655200264266, 3.1718464028869935, 2.6845318862406975, 2.5751734509437147, 1.53899401660298, 0.08465969780856236, 3.375333574677297, 0.9024913467192098, 0.6329620171081288, 3.5049190795257297, 0.6161010286075436, 0.7423732515266436, 0.15443254901290945, 4.870455138766048, 1.9329007381452743, 6.173655967108557, 2.674226628220373, 2.200989295013961, 4.304160259057492, 2.763759858034162, 0.2421990836930082, 0.11310421463597665, 6.037308752718024, 4.057924292674593, 3.409021064617835, 4.401782704549549, 1.4746674999010265, 4.436360531111378, 2.218783252466311, 3.0359813949489967, 2.720494977232081, 2.157493406922131, 2.3411245124133773, 1.8038210741398915, 5.049949929841476, 2.906100139153855, 3.360374502461374, 0.5086782958687199, 2.285421323997558, 2.8194339502268946, 0.5625287235114464, 0.6764839971053117, 0.5187697755931912, 4.978033050929657, 4.090349353594083, 5.40086463907054, 3.311363902983407, 4.056898019057554, 3.7570787534071783, 0.05320766200893973, 3.882871872433296, 3.7869870126582073, 2.824445399927712, 0.36362972715927555, 0.13418164857579445, 0.9251762762741965, 4.10437452476119, 4.6072648119774735, 3.1348729608556454, 4.378905526137336, 0.5833781622897009, 4.016985394157706, 1.6528121183820514, 4.568839126893867, 1.3358707318512224, 1.90597616568489, 2.370729462095252, 5.388034877036899, 4.008695664442494, 5.527826701975714, 3.5014153614785815, 5.96626788505184, 4.634291076989087, 5.168990828158673, 5.120776166841373, 4.9496713904012255, 1.5459377221796011, 0.14976702837861303, 5.375663466832417, 4.116730182386875, 1.8114714946839083, 5.572493276813807, 0.7567516028507909, 3.0958073544326483, 0.8222164823005548, 5.589872232053992, 5.696012900660485, 4.084470909024896, 5.923361944923907, 5.111697262725122, 1.4550479794212243, 4.318791752688186, 5.734605293698464, 1.531121895875787, 3.280718581264894, 5.1159390373521125, 3.450445138574615, 4.521467008127585, 5.98070409525119, 5.743670609281031, 2.225684754661214, 6.116832781361981, 2.1771379008918794, 3.462789458821433, 3.0078959757753423, 3.696018315300272, 1.2769632312451533, 3.0723698402918456, 5.561468086527944, 1.4969847792960838, 3.734180062696146, 1.1025290952187308, 3.751410645307096, 3.6321843809000454, 2.7805070279469946, 3.3027536943842226, 2.128259137988506, 1.0276790495484354, 1.0409767210782936, 5.363462576907457, 4.634876722528545, 1.0220536817907633, 5.199287458841408, 4.81076289937948, 1.420752845120408, 2.340881823849604, 4.932255454769939, 2.7253736485774733, 4.855950504126293, 3.34955746928833, 6.125232827809827, 0.8431344400849571, 0.3810038467464767, 3.791348341151639, 1.1649614200135547, 4.559117311713282, 3.2942164050837457, 0.9043380629076935, 2.311467864694385, 2.325564962060433, 3.3527796030696777, 3.9670317485084934, 2.4838538224183315, 4.25719062705476, 2.8420906262566383, 3.7219136449731445, 4.023208834097195, 2.4610118277744997, 2.747079136758118, 6.122183890678828, 4.2155679503220895, 4.138880870453382, 3.882364206186285, 4.270230110706871, 3.0143007676100573, 4.41845469613165, 1.18065934007483, 1.475080299290669, 0.6356132329660398, 5.619342155128935, 0.79924033328422, 0.06641651736439069, 0.08556062877285339, 3.012308552751185, 0.12308172251573322, 3.2311701173420686, 2.9487060421902065, 3.0718533560465353, 3.8542926481136868, 5.924723183869814, 3.0687215078115715, 5.602282143589193, 3.40346021866344, 4.725267557774598, 3.5365435095346576, 3.773806094476947, 1.6650902291012037, 5.369743774829042, 5.8993710684415355, 0.4188934935049264, 1.4963024555840831, 5.9772610071163985, 5.857358175571633, 1.2054546048796426, 5.8489289607557575, 0.23349706463932524, 6.2713488713565875, 6.1762403917800315, 5.07976240914164, 0.3688734791602973, 3.3980331756952076, 1.2847885202506526, 4.628197554011479, 0.65400565199137, 5.2945171558034785, 4.101947361562501, 4.808349335149689, 2.263392398927077, 2.586089336989185, 6.178546563546373, 4.742737785233107, 2.248047599801007, 0.793157412758751, 2.599858883586845, 5.2783871067973855, 0.9857812450023684, 1.739678455629543, 4.4784463749837995, 4.764318928652683, 4.419170845429268, 0.4101052242333531, 1.1309098604932584, 2.0413420615068834, 4.083618629454053, 0.891278315918141, 0.4242169363746163, 0.1477547229957845, 3.5957127006842104, 0.3579223792606407, 5.942486468297251, 5.2898157261647105, 3.4878654990959728, 3.331575763783872, 4.9164607699260205, 3.474023508707863, 3.857189405849024, 5.549500363556988, 2.9811496894901315, 2.7083432172790567, 1.593002783492599, 5.216115808771497, 0.9314392708375402, 0.43231354993287946, 4.970251821090767, 0.5108670228191616, 1.4812093903306947, 4.684874158597497, 0.8908172674119558, 2.955081058344615, 0.5868231876421662, 4.513917475381261, 0.7964351915159569, 2.408439851377718, 1.275864555412359, 4.493871508313261, 0.43536955834578633, 4.7010174265727604, 0.7607087063924483, 2.6089327414064662, 0.08124187025866048, 0.714193804145885, 5.713416123652231, 0.38657243166842825, 0.39093101508501427, 2.4083658348998127, 4.766895721858177, 1.4266623955059698, 2.9921397385140596, 0.2820627282933132, 5.6186425482140345, 2.7349182061061983, 2.1411534016890315, 5.1936309188911665, 5.500111788823734, 5.741416693156136, 1.4495521953882755, 0.358636681855274, 3.9637462316190804, 4.793476512150452, 4.576476357968486, 0.1277408781685187, 5.128107101235485, 5.781573659111922, 4.823717895719058, 2.845441675288766, 6.2820156756223, 0.16176949744827124, 5.227170093462645, 1.3938263710226586, 0.9352034022242974, 0.6515439003563266, 6.021887833180531, 5.032415680979714, 4.5678742326846855, 0.308813962618543, 0.5725807432676638, 0.17023507307047928, 2.1268328993499814, 5.711077891968797, 4.637570727112785, 3.7804963016696274, 4.236882361608345, 4.9147042517821315, 4.301279792655237, 2.6821554006550974, 4.044449022497247, 3.0983105841276175, 0.4018562216729032, 3.2274828412682854, 2.1873009634202165, 4.272606089757876, 4.441605341997604, 0.9670005567040959, 2.094633398460067, 6.069125330625322, 0.6546824034275576, 3.1937590718244, 2.052738123314345, 2.1854898323525327, 0.7925575809312425, 5.769377511687272, 5.930983012199798, 0.7136087649861318, 2.633375479333514, 3.7710413001902436, 4.8345544181795725, 1.8808611265768513, 0.9631161505919308, 1.7699143597341442, 0.15001924175974032, 3.4607008388778824, 3.842642043346935, 3.0829779731588363, 3.976119883717727, 1.6206785675354132, 5.674857990744989, 4.374797491139964, 2.619141542400012, 2.036755376263841, 2.4603457919948806, 4.896630856018152, 1.4909651761745497, 5.301150957284835, 1.2470185807642118, 5.7873447458935825, 2.999511648835881, 5.334046529601704, 5.250823681641789, 2.994939855615186, 0.9923089413865092, 5.881762205282007, 4.453793832554062, 1.9630948954003364, 5.961367424959421, 2.440806872225746, 3.9876196292959563, 6.245056410099085, 0.036000263594960724, 2.076171384120032, 4.133608250637797, 5.650464757952578, 3.9703962904086803, 1.676094565599693, 0.5361800120423331, 6.039913818418809, 5.064993074615171, 4.543981445953724, 3.231873101389493, 4.471346967029032, 2.2966228771550594, 6.051432439258623, 4.257808295359112, 3.9576680770810424, 0.750340307225977, 5.438475490287469, 5.878234912362689, 4.202902218068969, 1.2358178336590568, 4.624493915062379, 3.6861219645251238, 4.100753177187868, 0.28811977970971203, 3.8703374643672235, 4.1263257550594785, 5.75216182335095, 0.6330096380440513, 2.1702753798030754, 0.16834658541305778, 4.200205247744853, 3.250333702007674, 4.450489467888659, 5.07538436679012, 5.008837334554623, 3.259183008473896, 2.5393118754942137, 0.3675479272506175, 6.055884433525815, 3.8825373406083443, 2.21873228472725, 5.362578892335978, 1.354957579386956, 1.7177650561526532, 6.256248708641244, 3.522801348412678, 3.8914886747617405, 1.3273271901855368, 5.994817423286865, 3.29029433493436, 5.9711282211648085, 2.331987165534154, 1.7370963460755442, 0.11198389097823813, 0.3669568365651382, 0.8529032255557271, 2.585302351608697, 1.7695588859731917, 5.048613569542377, 3.152602048807521, 2.396716506942365, 2.510202225958751, 4.033943061256259, 5.162586240256339, 4.8037997876313785, 3.5423254990572755, 0.6170117557262342, 2.6844837039712433, 0.918782452179086, 4.761237193848825, 4.2574305725672525, 4.160809543003199, 1.2883942121691938, 2.1468596617074627, 3.6711610219906174, 2.40909306678338, 0.7118803660611759, 5.062495121318404, 4.240438277088452, 6.139424665421375, 3.472997102847659, 0.663065467549215, 3.650475027637787, 2.6333719167856753, 5.380200551582097, 2.0289336291485465, 1.636576441837841, 1.3919946304934163, 2.8881863708422184, 4.458804389298686, 4.414076404908167, 2.782194237340914, 1.48143315050989, 5.627586777940643, 2.5771037677801027, 3.221061345134272, 5.962278924656984, 2.832871210797185, 4.546344028347931, 4.283085628115715, 2.4422326213772387, 0.5553683567343807, 6.0700537276577045, 1.509225567310004, 3.751976648919571, 4.865584494385263, 5.892077017816629, 4.504167219773317, 2.8376428025049782, 4.917331062560132, 3.676816205305805, 0.0022625380658630677, 4.578850888068963, 4.30289181402543, 6.063642310362946, 0.13114246232264803, 4.539432637005499, 1.9215257473333986, 4.826704513289466, 3.4400927662586263, 2.3666528651469094, 0.9926058723930443, 0.6762654905381346, 1.497260648449859, 3.699997718425313, 0.22552848930143748, 3.213866982662523, 1.508084944508449, 0.5249256145838326, 2.9463306830053777, 2.867846509029412, 1.32459746971426, 0.6006254558271871, 5.469126043064312, 5.223423411327073, 1.8046579405882694, 0.22223056118489565, 0.9229080705472491, 0.07588246400092039, 2.6881630246010713, 2.168668143904469, 1.1798072000628452, 1.3238127106051822, 3.350865964184139, 4.214427029687501, 4.313363112067127, 5.262557516215874, 4.324277104399316, 1.9175177611007266, 0.8865534362311539, 4.352072589722309, 0.1549799417669487, 5.839359539936507, 5.212905699855668, 1.466962980374529, 5.511381108568971, 1.5709487502503507, 5.090248521750019, 5.762946715942733, 3.0189001009799448, 3.763953628773116, 2.91841157991484, 0.6340723571776266, 2.8876010727349386, 4.701595447343266, 0.8087080280383264, 1.1174570102567472, 1.9157611970811046, 2.038175680284407, 4.23049582759967, 5.157940022178321, 0.7893074781826123, 3.0193170568145775, 4.854736434303245, 2.7907497633762524, 1.258224230527637, 3.1801222122075194, 6.0866915857330675, 0.7649382565503916, 4.434195748962804, 5.027716989257286, 5.033856777915997, 5.084774110452218, 1.8585786261776707, 1.776024717750984, 1.0447745885132391, 5.211090388100988, 5.70218076969283, 1.2119550760594409, 3.245065446697615, 1.1105855981221608, 0.7738700336708537, 2.262633419912651, 4.1173586729244125, 1.5213959740373448, 3.458970932566045, 4.910861250351876, 5.829779094352925, 4.238203238824181, 6.2226413720859, 6.1546402553487365, 3.6852866484526587, 1.0403418708081378, 1.0442009479676946, 4.85385701308472, 0.5542642675939505, 0.23702525905282415, 4.753125321638437, 4.299238095704715, 4.180907308625985, 1.9467624285768772, 1.1129085505850924, 2.527784985930474, 2.5669932455543956, 5.90187823575346, 1.3344618056652298, 3.6536819050129816, 0.21425036270725062, 0.9641932811072552, 0.987406056419788, 2.359356519950341, 4.4557402778838755, 5.409515898749043, 0.8729614209174827, 0.0626706214983293, 4.822933745814657, 5.847221243546011, 4.458218253419274, 0.30256077290041433, 4.517754849677089, 2.740816464154387, 3.1229935081740243, 1.5080607665705805, 2.088665091123511, 5.299789140835872, 4.655701980142524, 3.202710819368539, 4.9678685717409445, 6.076626208797731, 4.6228882492217, 0.7342982210270045, 1.2397982361149373, 0.24697302096302481, 3.3933381587468183, 0.062191068191713855, 3.7395239867969488, 5.165676866735571, 3.3972320383934256, 2.609279744562827, 3.30650899164666, 1.6508573367575219, 0.14070499614202397, 2.3961354169393947, 0.4399886586441827, 2.023606910108062, 4.179330113540152, 0.9411827318337476, 2.4319657425807395, 5.082987059129352, 1.8522193996347376, 3.567568789247509, 5.28516091418476, 5.128384100122792, 4.939382056673385, 2.931809258166235, 4.465180591784387, 1.3928196851994892, 2.9528480891524493, 1.12868258773728, 1.3812853042657756, 0.4746465125589781, 4.845330799646537, 3.4189779700865914, 5.828312588487286, 1.5416663568642057, 3.1327854534508326, 1.478424541582628, 1.893232129890674, 2.7826460233112913, 3.991079896192149, 5.345606618032922, 3.9549258872819264, 4.027200661144507, 5.399348999855271, 4.789993428283667, 1.5997839636781128, 5.5007596657618265, 2.3518333267877156, 2.4341816755453944, 1.0501598957598866, 5.250463545067631, 0.45859615080987515, 6.158839236465991, 1.1376506082145614, 2.470394601906651, 1.4961035533754181, 4.388978159544328, 2.472342436395896, 0.45164912431564863, 5.020459556368056, 3.2314458797801295, 3.3230686284472872, 0.9556920556920873, 6.194446324507168, 3.7973386958179365, 4.9295519453448655, 1.6321474054318736, 3.1496533440649044, 4.8949416226071305, 0.35077993336017055, 4.64676430302354, 3.4225932746157475, 5.890830007374043, 3.0794581187730627, 1.8759748513115835, 5.633331393582355, 0.9431360672563447, 5.684581944944976, 0.544984728988608, 2.8212895466462933, 1.5641212761914194, 2.806738873718857, 4.470221709648605, 2.0035758813793145, 5.043461534609322, 3.744684721488296, 2.688434358744098, 4.080012491791775, 3.009152626443726, 3.5194796197148817, 3.85954773797905, 2.9111062889332278, 4.668316484300308, 2.4672452173553614, 5.230477592228122, 6.009197264692003, 0.0733921071581945, 4.178516227439856, 4.738213445242266, 0.9399178144313427, 2.1446631328443915, 1.6033546044277265, 2.885714387987234, 5.984077196954109, 2.1651309988988197, 6.022440793529479, 4.576763520572698, 4.484065308232138, 4.204842031551773, 3.542047155525299, 1.1020949760313334, 3.909358248048415, 5.813618486430645, 2.552540930514609, 4.861428746354467, 4.275210831497163, 0.8902198664746398, 6.1240400497555285, 0.6184861261365583, 2.6081339215775827, 4.082067825170567, 0.9154142041449134, 2.9808102833026924, 2.844466101478305, 1.9724801012427073, 4.264154770391241, 5.262161741695521, 1.257609459408412, 5.097958354830184, 0.8657929133455514, 2.051666099262905, 3.9886644527852124, 2.234918338279229, 5.841707137321782, 5.712822921268094, 0.5599386998536974, 4.08662580681466, 2.392025875092586, 5.697932629500751, 2.765462777711531, 2.9503808286931767, 0.686360031585563, 2.8214506839534783, 4.258926955725532, 2.6349960297873394, 0.20660678610757632, 5.079881096779511, 1.1164867143853323, 5.739540625856474, 0.7431071656065668, 4.29096293226828, 4.32151704388379, 5.578330312934648, 5.890068588255095, 5.814133825172772, 5.239759502646822, 2.6661612207634255, 3.6643326953602817, 0.09314529935178795, 4.406313754392837, 5.66427019016674, 3.044911719978306, 5.4308747778834245, 3.5914959895376066, 1.7825210428988592, 1.5263213428052935, 3.2513925644081882, 6.168631711933265, 0.6744130964106037, 0.9964493160334781, 0.12147002159408231, 4.096573251762689, 4.304487442902755, 6.228678133783367, 0.32507794865419853, 4.11861202346046, 4.4891919375352956, 5.360859317479626, 0.4642776635447169, 3.3121185507171793, 3.7480145847089785, 4.720555822420239, 6.235670283726499, 3.860612466884246, 0.40602946408630636, 5.395247770745913, 5.484975988624583, 4.6056863614990124, 5.122056807056909, 0.9639616716979327, 1.7252204180235926, 4.271224886401247, 4.985381584595274, 0.033363512145945524, 0.5877226903388385, 3.1579618278064006, 3.8396780100611125, 2.813672998553987, 3.500837580873319, 6.166898140285583, 4.41595371406924, 0.9457470020758412, 1.837215891746057, 4.516199092332687, 5.062362453172668, 4.144861402533957, 4.002335235106351, 3.386121604505004, 5.9129704394299365, 4.139451546411962, 0.6628047206130523, 1.6753709507176149, 2.397318810327448, 4.506454335993043, 3.571364712366977, 1.8994042546015855, 5.338968865963184, 3.2064504441643678, 6.106246868347188, 5.876646985278588, 1.6688577407146301, 5.335677551020658, 5.084577392400216, 2.520871407294271, 4.85281796024454, 0.13748727461143906, 6.058076249164508, 0.024613911407759533, 0.34844815500911075, 3.660510962749983, 4.6439503523444, 0.973434893887812, 4.662214548040441, 1.9856173335899057, 2.400121301007078, 3.7956774127721973, 5.198957120924927, 0.8459901957153759, 4.859848330251114, 5.034247029281005, 5.604186958644266, 5.425303243318027, 3.0457316902314693, 5.796740509163439, 5.0396160697098065, 0.17564014517008295, 1.4606320664580976, 2.5451397871030346, 3.9945216686844045, 3.521626767833883, 4.333443886232068, 1.5830115943520966, 5.782019707419692, 2.649944130310256, 4.483438783999584, 4.6288409345108645, 5.267627357671391, 3.099363069674039, 2.0897798160350005, 0.16800587569642067, 3.345705689498047, 4.862463414178953, 0.573816121301091, 2.3257830698484065, 5.449437455684426, 0.19057665495181586, 0.9575993183044657, 5.181081614926078, 2.8786189346560516, 1.8378893827472813, 5.876626578286946, 5.616953489153483, 0.1901793621659754, 5.201530439831133, 0.4491909398617261, 4.902599795632548, 2.996684528401056, 1.2975600825287081, 6.109400673900475, 3.0235283328844536, 4.7436217789349175, 5.369220392915265, 5.085204356867213, 0.24705446214031815, 0.8277401692496539, 5.639934131883351, 5.837973752043321, 5.051708647884621, 0.8819285155654881, 0.7413652783659612, 3.276373106459297, 0.13404494259665375, 1.9373105365041337, 4.155340609332116, 5.0575726606991385, 2.9844718142738773, 2.3226716951194715, 2.5910932945912384, 0.90131023688974, 4.33662037178541, 1.257765820167033, 6.157848146004884, 5.202764985165717, 4.872331021306161, 2.99916071119657, 1.1170206449602778, 4.4262198052552515, 0.7735966415935798, 4.735492896256612, 2.143209791332007, 2.0914794325772603, 3.4659475742921226, 1.86492099951437, 2.585658547427619, 6.141355193799484, 1.4263579284593475, 3.113751394521099, 0.47546230569021514, 2.1863347895557816, 0.9452618745084187, 3.5656348473322823, 2.2704688253783187, 4.834631848887223, 3.827341907848288, 4.048450974634504, 2.8237135155582873, 3.294207304608403, 1.700175008679539, 2.5261732778072625, 4.511342777053566, 2.6557042471518475, 0.6140772039378334, 1.450150275236834, 3.435280104242874, 0.6166955872077524, 0.5576810196058669, 3.8801360465570323, 3.3087428783279322, 2.531028352849173, 3.0294245044018537, 1.288018644918828, 1.1210917878200741, 5.852849870786643, 5.828567771048852, 1.4530494589634437, 0.6966388886711653, 5.383258003721836, 5.062645310686186, 3.8909815000201546, 3.249724509433267, 1.4807513168662254, 3.1181416352693354, 3.5704656853144643, 5.0489283726491445, 0.8251112062161826, 6.044957892362383, 5.596796686527608, 3.2706546302750206, 1.371058942421743, 4.537914745609675, 4.536393751139944, 0.28821070131027987, 5.274530728688782, 0.41453044298563324, 5.855233553813293, 5.5059091015854476, 4.347081787266443, 4.120556018979054, 4.413424010983825, 4.007613363393065, 3.4134551129614294, 3.4200741633322647, 2.8859448792707623, 4.410298301633616, 5.780783063296254, 2.0768542756278956, 3.59073061946729, 4.903555000164141, 2.1487849702859236, 5.942635292131004, 5.573396351812446, 3.4903395296693933, 1.1700247226238383, 5.288561506401674, 5.657169750233057, 5.354908594780885, 1.2502431943665548, 5.692139868803118, 5.266469972647734, 5.88592386740923, 1.77646612852225, 2.16559808884348, 4.684393921833419, 1.1500554443259712, 5.8869010120347705, 2.1534763803167816, 0.6148099031668142, 3.200284857845687, 0.8166703000695965, 3.635507008946209, 4.768830440465913, 0.1612142976008467, 1.3676899932053004, 4.481711382199393, 0.38043886319790987, 3.9331208683123093, 2.0580531063605876, 5.6057550523903465, 2.7953302491325127, 2.6919257659551263, 3.681029883518112, 4.431440423115934, 2.44211928772614, 3.7829539909077794, 0.6422950612556372, 1.5425633256344864, 3.7256408649977755, 3.8983058389643586, 5.415299163213227, 2.1193839517953212, 1.1018319953885705, 3.827523184933294, 0.21396675987190153, 3.4685043975202663, 1.776333823470791, 0.22593635676330046, 5.24578201324657, 1.4464191138485372, 1.5539871988026102, 6.270062104839337, 3.1281914497632406, 4.792277064931693, 5.984533907763983, 4.595746133302811, 2.1201850980947152, 2.7393838598006806, 6.108603458599969, 1.488041782784091, 3.8689334189725795, 1.804664761912981, 0.34180635559172795, 0.1017442347962942, 4.797671128934841, 3.693852431829779, 0.468541563852912, 5.745309453702452, 3.3638392917018916, 2.2900438637366554, 1.5951154419908486, 0.38467245338242406, 3.8089563010803187, 5.946877701695557, 3.6374834353586816, 3.1373328196578156, 0.01434014742901543, 3.2935050507409867, 2.0685732471891733, 4.746693352812388, 1.9454378986374528, 0.42400439706528303, 5.188656974524643, 2.42660464174183, 0.1289333930859441, 1.4708960444334063, 2.578019298879038, 2.8998532501129293, 1.5232419416774992, 0.9439592101533328, 2.1997914206136295, 5.685754402982695, 1.3623492805463562, 0.8022985333918258, 2.645150653183294, 3.3804173959554262, 4.625813437910856, 1.2815741145400048, 3.2298800042469478, 3.083782758885758, 3.5584884541985837, 2.420429077684833, 3.3473109382428987, 4.126496191248793, 3.124476519466661, 1.493780816643649, 5.378520997627204, 3.9810303042210937, 3.7134382657877816, 0.3823344568274041, 2.678454086753531, 0.1460308216738429, 5.772525784622219, 1.89782082058296, 5.055052829358431, 3.7604859261415977, 3.4338013632926105, 2.3477208911481515, 3.310756000085126, 0.11689902060093317, 1.9023653651423258, 0.8143602419469418, 0.5775056364811831, 4.315405452163717, 0.39066556143401027, 3.708683084449283, 3.258290620245835, 3.44971953272383, 0.7343889249786062, 1.459045084194854, 4.1448189505178865, 4.762069839529729, 4.129597102894949, 5.305207219305581, 2.379588840441201, 0.12763279732706748, 4.496111939622631, 3.0402448270422604, 2.5694646556799734, 4.6057160355877516, 3.2454809502986115, 1.9582746904832555, 1.5771847523631042, 1.630005896863646, 1.4277312249328247, 2.593757046114724, 3.494863675800808, 0.3454724831084733, 4.587582164845337, 0.6683590426201965, 4.6967066154792425, 2.985691313771541, 3.455017414498745, 5.971601636833638, 2.1170293297159923, 1.472396600021326, 2.6334327557090393, 3.580753041164861, 1.93397073900033, 1.8739521937899262, 0.43423630675914937, 4.554759626116524, 3.4414651881374763, 5.981578222419726, 3.321214011121327, 5.091519171671556, 3.7879219322508764, 5.630118949674358, 3.686243234582832, 3.0751367275993875, 2.498142692756707, 4.264164388516746, 4.692879821302288, 1.2117003239577038, 2.5652548684702867, 0.10310178867639239, 2.002588096503645, 0.5794865847197099, 4.135460586137023, 3.220842169732243, 5.149004202456546, 1.1876564044702806, 6.164951339879268, 1.0227075840789839, 5.258524680470178, 1.963737695095046, 1.4382303665715233, 1.9060994377218876, 0.7800284723568575, 6.133606634637867, 2.609701488625229, 3.307885983706163, 2.2806650190046382, 0.7763142945011777, 4.892345141421239, 5.227450891121596, 2.816256702343392, 2.6082065703511934, 1.4368934610337882, 3.4401260059625196, 5.749577312296998, 4.054553256557424, 5.190066441799964, 4.181232314715658, 1.9390143562508024, 2.6823188935917455, 3.054874202300576, 1.8216891649724105, 0.02476315752184624, 4.007446742485764, 0.603760463586693, 1.2057520950662215, 1.1502709188351203, 2.0518250291690685, 0.26363465459561225, 5.985540321780089, 0.9263668079530941, 5.212634882600439, 4.1200595476662505, 4.695084532923147, 0.520729808017366, 5.190493195137689, 1.0012377854490115, 2.7649559442749903, 5.095648565523918, 0.24681916382244234, 4.107439226189955, 5.673559623134907, 2.7393847133316047, 5.294417703546315, 2.2443271835649266, 4.248369635442072, 1.5645288929627381, 4.868284293530438, 5.590331871401397, 0.9797093781629953, 3.5017341032057487, 6.282825548640326, 0.5524950345022395, 1.3522621771164862, 2.264170605498596, 1.7221321097257116, 3.404441324243162, 4.732824399143743, 5.720420443744498, 3.4675728770642666, 2.067629889698986, 2.879007126509629, 3.350632747728452, 3.8119941366994152, 3.9005391465442125, 1.4955767791220163, 5.905412809940483, 1.4592177485011484, 2.6663508665708715, 1.2391471635129891, 3.991448499154467, 3.8441810029511743, 5.1594134027591645, 0.3173436981697142, 5.326961183183209, 2.141423048877243, 0.7409617214815885, 5.168806286324066, 1.5266523835342398, 3.2811645638026126, 6.215003024249682, 5.744554367372817, 5.107691379633973, 5.550308459355003, 3.4437511764834223, 3.5881824698097105, 1.8993706110050348, 2.293246854688926, 3.578968893481956, 0.8700961573237465, 1.6430926548418163, 0.7669358701795267, 2.246548585742727, 1.857353798402383, 4.596392523473998, 2.5586687960532735, 5.206885811590445, 6.0733066354133385, 1.3735366042989212, 2.152176253854509, 3.47487280319963, 1.6608462432048583, 0.7836554786594985, 0.46232235504981467, 5.124096662277792, 0.309493049000001, 1.6088592516908398, 5.370873240852584, 1.7920539753348588, 2.110389708361798, 2.0585804272310524, 2.1516453476740445, 2.58850700800375, 6.207037707472704, 5.740972589230532, 3.1939844133069073, 2.167491693375036, 0.011063038638517186, 6.096648900756679, 0.9843705428223811, 4.488775896685071, 2.897012864867284, 1.6401873877518274, 2.305709080933422, 5.695407308162651, 4.620310208185649, 3.026211922487258, 2.5528241143364303, 2.7271736437350396, 0.3425894185407459, 3.0747624242420524, 0.22876038578284544, 0.3840036693113584, 1.9168371970167606, 3.758043167424496, 3.469415378708776, 1.9966391330414817, 0.8905041209295708, 5.63370878641341, 2.988070701548783, 2.906493903016416, 2.5916197542761195, 3.9473516746400694, 1.6987676276599115, 3.7774438768210308, 2.7212070097917747, 3.765156266611614, 0.3432290954837607, 1.9744160656359209, 6.08115095824808, 1.6013614577238517, 5.0702554996019735, 0.9969640302668866, 2.2638168853053067, 5.911325783743254, 3.6172417019647254, 0.5958174916470794, 4.61825015371771, 1.4681578027768385, 6.019348308224789, 1.2212576175388112, 1.0452133879198797, 1.9280038207635255, 4.999878624113898, 1.9338421429190695, 3.76701996527065, 2.387187341312225, 2.7158728048293117, 1.2543160235538242, 0.4425914575330299, 5.082615890977095, 1.5479988251634782, 4.204211477146475, 4.850085702576896, 3.046430779878869, 3.5624461249229324, 4.994079834019955, 1.7412697046627665, 0.8607125989513541, 1.2423574272554725, 0.23009536125506766, 3.6206419883483236, 4.313516137227945, 3.976382234551853, 0.4294098568795934, 1.8139859847023974, 3.630833466122348, 5.681687649185158, 1.3700388196605706, 5.072183473844105, 0.9891766663432433, 5.071208679711925, 3.5540237521611417, 2.4127055186704305, 2.2483496675914405, 1.3091500390626036, 2.9834843943818568, 3.830484702484412, 4.850278467699227, 1.916895171569372, 3.1702864858419892, 5.74844269601836, 1.3650724658292577, 5.462079588035871, 5.622853511947915, 6.152348384417105, 3.4369795461804222, 4.550180137660512, 0.8849394142948923, 2.426860274117989, 3.1010161134103895, 0.3813220180461858, 6.043299220055244, 4.8123545414314215, 0.8705936149533692, 1.9635253479845864, 3.2022670950184295, 5.869274459161703, 2.1959587409708727, 0.6448233158259434, 1.0426061651192182, 2.5012742036885136, 6.062905198529147, 6.115171001548197, 4.597659590913649, 2.168500013711614, 4.456738660227208, 3.946826054900457, 0.5834891279179416, 2.245821450408525, 4.972850509399749, 1.646310006980975, 3.4034255811839302, 0.7401091103890179, 6.02981944727271, 4.7190742921068605, 2.552669120644514, 5.570974273720077, 3.1956421224636733, 3.3841930419302666, 4.586627332416942, 4.422305919124063, 0.38457959932279295, 2.2681753892087464, 1.0181469296166734, 6.06205649135707, 0.35198383319448595, 0.21392008398835907, 0.582263869300816, 2.013123261923356, 5.181134462312744, 5.803561708169709, 1.8400372522534658, 5.222190830899792, 1.6804018514494243, 4.558819185053378, 1.929431530390087, 3.1300984041528923, 2.9637186288718618, 0.34590091236047177, 0.17242129056013278, 5.132263494917579, 4.470305024653901, 3.1308335097463265, 4.364365538849911, 5.056956664342464, 3.285495894491949, 3.0030698742821516, 5.539429121448466, 5.685956638564458, 3.084268680171912, 5.1772771344492465, 3.4240949521471653, 1.9379556956537027, 2.1254989419306227, 3.6787297443571663, 0.19097869562994033, 2.2873619680242054, 5.9505088455672865, 4.178339612702455, 3.786773436817697, 2.210414065340178, 3.2788969699838413, 0.44824228013255746, 1.0039937294502912, 4.538321441524622, 3.718311380651523, 2.9041532941302655, 4.397056191097686, 6.107074147514121, 2.1038689304638556, 0.917905698794412, 1.139444071963744, 3.661435325051113, 2.420830910419626, 6.127339017949994, 1.5054954022947293, 0.16261895032324789, 5.536193135873402, 3.9017381173605035, 3.548745675638714, 5.10452702872609, 3.1944314692035345, 5.967396398512007, 2.9951024329797025, 0.6628684441425005, 4.490337218945876, 1.1903183882639488, 0.5231098660182241, 1.1765728484151798, 0.28805124558780887, 1.7687486964476846, 3.1823805414517743, 5.416766363453923, 1.6483637355620446, 2.1855006066004763, 4.756437800671623, 2.385615243935623, 3.721708858453439, 4.575370216453338, 0.43111288530807035, 2.1612799270707916, 5.868404520440983, 6.060204965500465, 0.5724093145985844, 0.0433855781855369, 0.601481589519221, 1.0503793845540188, 1.1244705726235167, 4.208450497018813, 1.6108551613246844, 0.19124426227862687, 2.2019905653739795, 2.61589900132132, 1.6354146562306204, 3.5750979755769583, 4.0444938668402015, 5.75189030228723, 1.5064455230490146, 2.63405320698661, 2.4756679499552177, 3.3005484692605767, 5.061757574561179, 1.5452131713311192, 0.1781420844586166, 3.716096202504874, 4.9267611442527794, 5.135010558559479, 6.172497925266451, 1.2971229562742395, 5.493649961987886, 4.9186506638474885, 5.916747954337837, 6.108545935068714, 5.312610865155275, 5.861563852722792, 2.097671766922088, 5.781793782773106, 2.5532564378935225, 3.700321915003497, 4.393129443702139, 6.104955640503482, 3.474930630441188, 2.1958633120613453, 2.112403741535616, 1.9609413822256025, 3.9516952876663756, 0.29003919991408394, 5.46686639030255, 5.0719280853192155, 3.0987674033736203, 3.9687279546476923, 5.6774341742720305, 2.850866189838174, 0.5024122175635061, 2.749781295214836, 0.2570902908433269, 5.422596810528125, 2.1066210531901324, 5.012425164595278, 3.577265366036701, 5.756699900935632, 3.6767906857351234, 0.40242044324697684, 5.021559472420236, 0.40569237393748536, 2.2361280047147014, 0.5845968088443017, 5.17163340782766, 5.324804637419193, 3.9176803314566673, 4.787332758559235, 3.8586753692172606, 3.215263728873233, 1.3967104684014242, 1.5530836139348214, 2.399829217835988, 3.5910623818978418, 3.6373178979491883, 1.839945087688304, 6.252285884300407, 4.967639918626989, 0.08487466129230972, 1.1476766149525404, 0.5568428610594597, 2.45672063396313, 5.109928999060165, 3.6512920750557063, 0.42777803862766534, 5.818121695970852, 1.3808737689124366, 2.1533958369015327, 3.149381706234206, 2.490812565606019, 0.6311660231077125, 1.651750324231863, 5.968755047093485, 2.650385292654214, 2.107029026240902, 0.6879383813501361, 3.0735158468420973, 1.2336928673207652, 3.968710333816744, 5.442531424503455, 3.581851292120586, 0.41796006534144897, 4.879880415604789, 0.05412486437210125, 0.9826239055425083, 3.9935026065477457, 0.6113938049588543, 1.2921979809725073, 0.2230726070282021, 0.3698076285581571, 1.0740002334567766, 5.185341039861272, 2.015667054437747, 1.9540987682934452, 4.5310973224076285, 0.3343355879079591, 4.308215715727985, 5.645149379624896, 2.1050752335856138, 1.934680621719042, 2.710335893621044, 4.4717864376729946, 4.872274204929741, 0.5067943229702749, 4.756923415586603, 6.178105534138094, 4.176677089006654, 0.5824988956718485, 6.015175669339328, 4.196837872602125, 5.30671448353826, 1.201097101931424, 1.8046648063418727, 0.34803015306382584, 3.690269131622283, 1.3748798011873302, 4.946660357002306, 1.7360687618759485, 6.082890416740961, 1.8658055100841382, 4.793183474563469, 3.981306522873691, 3.2342681465135126, 0.11386869690692766, 4.516343506402479, 2.5093214136883066, 0.6928149678014828, 3.347560419234515, 1.8907536397604487, 0.5346934767845961, 1.3850832549447312, 2.1949920276240547, 3.3271728969701995, 2.4482214759209056, 2.5251579637655466, 1.6321311436614059, 2.82973760293903, 0.4004049092699832, 1.8652140301035571, 3.3559179894943165, 1.0747630320635402, 2.8211103358269867, 3.6194994308210204, 1.732299499983601, 0.36688551614527165, 5.506266785375881, 1.6158574097587437, 3.3826745659372266, 5.318403255297599, 4.179375793279235, 5.087414013528675, 6.28191658700236, 5.860173790960076, 2.2551467097459006, 0.4968975130330814, 2.6244871389763564, 2.7264934298570522, 1.9871699340959639, 3.472027088634318, 1.4540357371938881, 0.07328736837822407, 4.264641861821783, 4.5831179540436215, 3.1720362364660466, 4.685212505190688, 2.794158702366092, 2.496946764656567, 5.495815951007386, 4.610981141572284, 2.51776079977272, 2.8886305095375757, 6.241781125368216, 3.73278922978602, 5.712730607141381, 0.5228656983779143, 1.098520839238816, 2.417148816490301, 3.045267446212869, 5.077235044336798, 3.0711329052161527, 1.6533222572475066, 0.2327599321130117, 5.2453027143926985, 3.9846084812454308, 1.352702870756748, 1.9841011503583939, 1.5884454612824188, 3.103889180061347, 3.504724834437346, 0.3988801470884402, 5.987031420360693, 0.3012402209867193, 4.060830109002217, 5.812999492321654, 4.085585600275433, 5.463499376590996, 5.902734985003825, 2.492960404188482, 0.7417914047970324, 0.8046988391383297, 4.858102750864995, 0.7471932473204254, 5.075409637965176, 2.2271921474137275, 4.142161310528181, 1.6344789606961816, 4.702158583654337, 4.816181730984295, 1.6150981691562665, 1.2537507916787243, 1.7546758974370145, 3.3552004672916587, 3.3465877835182214, 1.3141914021808057, 5.734442890811883, 4.573091632180375, 2.99548695195976, 1.920026183788985, 4.625091526816154, 5.176714510254146, 2.059077921873342, 3.049620874141922, 3.752237618815963, 1.0484422991617375, 5.2675184202885745, 4.664413742331992, 1.1813281614115188, 1.9866126813158536, 5.63016650281767, 2.463023373237572, 5.556629533497603, 2.4324722387936952, 4.527380102124941, 6.135697267574936, 5.731959209781023, 3.8626853480736036, 1.5066067248325155};


scaff_module Y_Rx(qbit q) {  // Y in Table A1 of Whitfield et al 2010 really means Rx(-pi/2)
  Rx(q, -PI/2);
}


scaff_module Y_Rxdagger(qbit q) {
  Rx(q, PI/2);
}


scaff_module CNOTLadder(qbit reg[N], int controlStartIndex, int controlStopIndex) {
  // Applies a ladder of CNOTs, as in the dashed-CNOT notation at bottom of
  // Table A1 of Whitfield et al 2010
  int delta = controlStopIndex > controlStartIndex ? 1 : -1;
  for (int index = controlStartIndex;; index += delta) {
    CNOT(reg[index], reg[index - 1]);
    if (index == controlStopIndex)
      break;
  }
}


scaff_module DoubleExcitationOperator(qbit reg[N], int p, int q, int r, int s) {
  // Prerequisite: p > q > r > s
  // See Double Excitation Operator circuit in Table A1 of Whitfield et al 2010
  for (int i = 1; i <= 8; i++) {
    // NB(pranav): for some reason, ScaffCC wouldn't let me move the M operator
    // into a separate scaff_module. Seems like a ScaffCC bug.
    switch (i) {  // M operator (as defined in A1)
      case 1: H(reg[p]); H(reg[q]); H(reg[r]); H(reg[s]); break;
      case 2: Y_Rx(reg[p]); Y_Rx(reg[q]); Y_Rx(reg[r]); Y_Rx(reg[s]); break;
      case 3: H(reg[p]); Y_Rx(reg[q]); H(reg[r]); Y_Rx(reg[s]); break;
      case 4: Y_Rx(reg[p]); H(reg[q]); Y_Rx(reg[r]); H(reg[s]); break;
      case 5: Y_Rx(reg[p]); Y_Rx(reg[q]); H(reg[r]); H(reg[s]); break;
      case 6: H(reg[p]); H(reg[q]); Y_Rx(reg[r]); Y_Rx(reg[s]); break;
      case 7: Y_Rx(reg[p]); H(reg[q]); H(reg[r]); Y_Rx(reg[s]); break;
      case 8: H(reg[p]); Y_Rx(reg[q]); Y_Rx(reg[r]); H(reg[s]); break;
    }
    CNOTLadder(reg, p, q+1); CNOT(reg[q], reg[r]); CNOTLadder(reg, r, s+1);
    Rz(reg[s], Theta_p_q_r_s[p][q][r][s]);
    CNOTLadder(reg, s+1, r); CNOT(reg[q], reg[r]); CNOTLadder(reg, q+1, p);
    switch (i) {  // M dagger
      case 1: H(reg[p]); H(reg[q]); H(reg[r]); H(reg[s]); break;
      case 2: Y_Rxdagger(reg[p]); Y_Rxdagger(reg[q]); Y_Rxdagger(reg[r]); Y_Rxdagger(reg[s]); break;
      case 3: H(reg[p]); Y_Rxdagger(reg[q]); H(reg[r]); Y_Rxdagger(reg[s]); break;
      case 4: Y_Rxdagger(reg[p]); H(reg[q]); Y_Rxdagger(reg[r]); H(reg[s]); break;
      case 5: Y_Rxdagger(reg[p]); Y_Rxdagger(reg[q]); H(reg[r]); H(reg[s]); break;
      case 6: H(reg[p]); H(reg[q]); Y_Rxdagger(reg[r]); Y_Rxdagger(reg[s]); break;
      case 7: Y_Rxdagger(reg[p]); H(reg[q]); H(reg[r]); Y_Rxdagger(reg[s]); break;
      case 8: H(reg[p]); Y_Rxdagger(reg[q]); Y_Rxdagger(reg[r]); H(reg[s]); break;
    }
  }
}


scaff_module SingleExcitationOperator(qbit reg[N], int p, int q) {
  // Prerequisite: p > q
  // See Single Excitation Operator circuit in Table A1 of Whitfield et al 2010
  H(reg[p]); H(reg[q]);
  CNOTLadder(reg, p, q+1);
  Rz(reg[q], Theta_p_q[p][q]);
  CNOTLadder(reg, q+1, p);
  H(reg[p]); H(reg[q]);

  Y_Rx(reg[p]); Y_Rx(reg[q]);
  CNOTLadder(reg, p, q+1);
  Rz(reg[q], Theta_p_q[p][q]);
  CNOTLadder(reg, q+1, p);
  Y_Rx(reg[p]); Y_Rx(reg[q]);
}


int main() {
  qbit reg[N];

  // enumerate all N > p > q > r > s >= 0 and apply Double Excitation Operator
  for (int p = 0; p < N; p++) {
    for (int q = 0; q < p; q++) {
      for (int r = 0; r < q; r++) {
        for (int s = 0; s < r; s++) {
          DoubleExcitationOperator(reg, p, q, r, s);
        }
      }
    }
  }

  // enumerate all N > p > q >= 0 and apply Single Excitation Operator
  for (int p = 0; p < N; p++) {
    for (int q = 0; q < p; q++) {
      SingleExcitationOperator(reg, p, q);
    }
  }

  return 0;
}