v / vlib / encoding / leb128 / leb128_test.v
2099 lines · 2092 sloc · 66.71 KB · b772731b98256b45ef2362bbdb55085094cf3d02
Raw 


1import encoding.leb128


2import encoding.hex


3


4struct PairU {


5    value   u64


6    encoded string


7}


8


9struct PairI {


10    value   i64


11    encoded string


12}


13


14fn test_basic() {


15    assert leb128.encode_u64(624485) == [u8(0xe5), 0x8e, 0x26]


16    uval, ulen := leb128.decode_u64([u8(0xe5), 0x8e, 0x26])


17    assert uval == 624485, 'val, _ := leb128.decode_u64([u8(0xe5), 0x8e, 0x26]) == 624486'


18    assert ulen == 3, '_, len := leb128.decode_u64([u8(0xe5), 0x8e, 0x26]) == 3'


19    assert leb128.encode_i64(-123456) == [u8(0xc0), 0xbb, 0x78]


20    sval, slen := leb128.decode_i64([u8(0xc0), 0xbb, 0x78])


21    assert sval == -123456, 'val, _ := leb128.decode_i64([u8(0xc0), 0xbb, 0x78]) == -123456'


22    assert slen == 3, '_, len := leb128.decode_i64([u8(0xc0), 0xbb, 0x78]) == 3'


23}


24


25fn test_unsigned_data() {


26    for x in unsigned_data {


27        assert leb128.encode_u64(x.value).hex() == x.encoded, 'leb128.encode_u64( ${x.value} )  == ${x.encoded}'


28        bytes := hex.decode(x.encoded)!


29        // eprintln('>> bytes: ${bytes} | pair: ${x}')


30        val, len := leb128.decode_u64(bytes)


31        assert val == x.value, 'val, _ := leb128.decode_u64( ${x.encoded} ) == ${x.value}'


32        assert len == bytes.len, '_, len := leb128.decode_u64( ${x.encoded} ) = ${bytes.len}'


33    }


34}


35


36fn test_signed_data() {


37    for x in signed_data {


38        assert leb128.encode_i64(x.value).hex() == x.encoded, 'k: ${x.value} | v: ${x.encoded}'


39        bytes := hex.decode(x.encoded)!


40        // eprintln('>> bytes: ${bytes} | pair: ${x}')


41        val, len := leb128.decode_i64(bytes)


42        assert val == x.value, 'val, _ := leb128.decode_i64( ${x.encoded} ) == ${x.value}'


43        assert len == bytes.len, '_, len := leb128.decode_i64( ${x.encoded} ) == ${x.value}'


44    }


45}


46


47const unsigned_data = [


48    PairU{217, 'd901'},


49    PairU{34, '22'},


50    PairU{233, 'e901'},


51    PairU{51, '33'},


52    PairU{69, '45'},


53    PairU{233, 'e901'},


54    PairU{150, '9601'},


55    PairU{149, '9501'},


56    PairU{59, '3b'},


57    PairU{207, 'cf01'},


58    PairU{189, 'bd01'},


59    PairU{124, '7c'},


60    PairU{13, '0d'},


61    PairU{150, '9601'},


62    PairU{14, '0e'},


63    PairU{19, '13'},


64    PairU{80, '50'},


65    PairU{172, 'ac01'},


66    PairU{252, 'fc01'},


67    PairU{89, '59'},


68    PairU{28, '1c'},


69    PairU{55, '37'},


70    PairU{59, '3b'},


71    PairU{208, 'd001'},


72    PairU{114, '72'},


73    PairU{230, 'e601'},


74    PairU{225, 'e101'},


75    PairU{228, 'e401'},


76    PairU{158, '9e01'},


77    PairU{29, '1d'},


78    PairU{232, 'e801'},


79    PairU{169, 'a901'},


80    PairU{195, 'c301'},


81    PairU{13, '0d'},


82    PairU{176, 'b001'},


83    PairU{208, 'd001'},


84    PairU{47, '2f'},


85    PairU{105, '69'},


86    PairU{170, 'aa01'},


87    PairU{14, '0e'},


88    PairU{180, 'b401'},


89    PairU{66, '42'},


90    PairU{112, '70'},


91    PairU{172, 'ac01'},


92    PairU{145, '9101'},


93    PairU{114, '72'},


94    PairU{141, '8d01'},


95    PairU{254, 'fe01'},


96    PairU{184, 'b801'},


97    PairU{28, '1c'},


98    PairU{217, 'd901'},


99    PairU{74, '4a'},


100    PairU{109, '6d'},


101    PairU{123, '7b'},


102    PairU{11, '0b'},


103    PairU{34, '22'},


104    PairU{85, '55'},


105    PairU{134, '8601'},


106    PairU{200, 'c801'},


107    PairU{156, '9c01'},


108    PairU{4, '04'},


109    PairU{91, '5b'},


110    PairU{114, '72'},


111    PairU{47, '2f'},


112    PairU{200, 'c801'},


113    PairU{77, '4d'},


114    PairU{98, '62'},


115    PairU{7, '07'},


116    PairU{26, '1a'},


117    PairU{100, '64'},


118    PairU{100, '64'},


119    PairU{132, '8401'},


120    PairU{118, '76'},


121    PairU{205, 'cd01'},


122    PairU{251, 'fb01'},


123    PairU{26, '1a'},


124    PairU{203, 'cb01'},


125    PairU{252, 'fc01'},


126    PairU{29, '1d'},


127    PairU{182, 'b601'},


128    PairU{221, 'dd01'},


129    PairU{181, 'b501'},


130    PairU{227, 'e301'},


131    PairU{43, '2b'},


132    PairU{68, '44'},


133    PairU{68, '44'},


134    PairU{147, '9301'},


135    PairU{209, 'd101'},


136    PairU{37, '25'},


137    PairU{125, '7d'},


138    PairU{183, 'b701'},


139    PairU{215, 'd701'},


140    PairU{82, '52'},


141    PairU{197, 'c501'},


142    PairU{238, 'ee01'},


143    PairU{83, '53'},


144    PairU{27, '1b'},


145    PairU{191, 'bf01'},


146    PairU{125, '7d'},


147    PairU{26, '1a'},


148    PairU{132, '8401'},


149    PairU{138, '8a01'},


150    PairU{9, '09'},


151    PairU{32, '20'},


152    PairU{116, '74'},


153    PairU{0, '00'},


154    PairU{19, '13'},


155    PairU{179, 'b301'},


156    PairU{120, '78'},


157    PairU{9, '09'},


158    PairU{21, '15'},


159    PairU{223, 'df01'},


160    PairU{83, '53'},


161    PairU{218, 'da01'},


162    PairU{175, 'af01'},


163    PairU{131, '8301'},


164    PairU{162, 'a201'},


165    PairU{138, '8a01'},


166    PairU{196, 'c401'},


167    PairU{108, '6c'},


168    PairU{41, '29'},


169    PairU{6, '06'},


170    PairU{97, '61'},


171    PairU{171, 'ab01'},


172    PairU{42, '2a'},


173    PairU{99, '63'},


174    PairU{141, '8d01'},


175    PairU{253, 'fd01'},


176    PairU{122, '7a'},


177    PairU{139, '8b01'},


178    PairU{143, '8f01'},


179    PairU{12, '0c'},


180    PairU{150, '9601'},


181    PairU{163, 'a301'},


182    PairU{195, 'c301'},


183    PairU{132, '8401'},


184    PairU{25, '19'},


185    PairU{4, '04'},


186    PairU{119, '77'},


187    PairU{102, '66'},


188    PairU{67, '43'},


189    PairU{91, '5b'},


190    PairU{40, '28'},


191    PairU{32, '20'},


192    PairU{77, '4d'},


193    PairU{90, '5a'},


194    PairU{45, '2d'},


195    PairU{51, '33'},


196    PairU{46, '2e'},


197    PairU{10, '0a'},


198    PairU{153, '9901'},


199    PairU{234, 'ea01'},


200    PairU{71, '47'},


201    PairU{170, 'aa01'},


202    PairU{113, '71'},


203    PairU{152, '9801'},


204    PairU{209, 'd101'},


205    PairU{131, '8301'},


206    PairU{27, '1b'},


207    PairU{117, '75'},


208    PairU{151, '9701'},


209    PairU{240, 'f001'},


210    PairU{142, '8e01'},


211    PairU{248, 'f801'},


212    PairU{214, 'd601'},


213    PairU{177, 'b101'},


214    PairU{187, 'bb01'},


215    PairU{59, '3b'},


216    PairU{249, 'f901'},


217    PairU{243, 'f301'},


218    PairU{250, 'fa01'},


219    PairU{0, '00'},


220    PairU{178, 'b201'},


221    PairU{189, 'bd01'},


222    PairU{175, 'af01'},


223    PairU{161, 'a101'},


224    PairU{255, 'ff01'},


225    PairU{109, '6d'},


226    PairU{10, '0a'},


227    PairU{8, '08'},


228    PairU{74, '4a'},


229    PairU{183, 'b701'},


230    PairU{232, 'e801'},


231    PairU{189, 'bd01'},


232    PairU{200, 'c801'},


233    PairU{54, '36'},


234    PairU{51, '33'},


235    PairU{136, '8801'},


236    PairU{152, '9801'},


237    PairU{243, 'f301'},


238    PairU{38, '26'},


239    PairU{222, 'de01'},


240    PairU{195, 'c301'},


241    PairU{11, '0b'},


242    PairU{199, 'c701'},


243    PairU{220, 'dc01'},


244    PairU{91, '5b'},


245    PairU{96, '60'},


246    PairU{158, '9e01'},


247    PairU{246, 'f601'},


248    PairU{14, '0e'},


249    PairU{178, 'b201'},


250    PairU{120, '78'},


251    PairU{242, 'f201'},


252    PairU{48, '30'},


253    PairU{189, 'bd01'},


254    PairU{121, '79'},


255    PairU{215, 'd701'},


256    PairU{124, '7c'},


257    PairU{197, 'c501'},


258    PairU{193, 'c101'},


259    PairU{8, '08'},


260    PairU{231, 'e701'},


261    PairU{135, '8701'},


262    PairU{32, '20'},


263    PairU{102, '66'},


264    PairU{8, '08'},


265    PairU{16, '10'},


266    PairU{221, 'dd01'},


267    PairU{100, '64'},


268    PairU{140, '8c01'},


269    PairU{98, '62'},


270    PairU{66, '42'},


271    PairU{159, '9f01'},


272    PairU{6, '06'},


273    PairU{191, 'bf01'},


274    PairU{255, 'ff01'},


275    PairU{208, 'd001'},


276    PairU{132, '8401'},


277    PairU{215, 'd701'},


278    PairU{218, 'da01'},


279    PairU{72, '48'},


280    PairU{23, '17'},


281    PairU{18, '12'},


282    PairU{146, '9201'},


283    PairU{118, '76'},


284    PairU{113, '71'},


285    PairU{76, '4c'},


286    PairU{207, 'cf01'},


287    PairU{145, '9101'},


288    PairU{47, '2f'},


289    PairU{35, '23'},


290    PairU{164, 'a401'},


291    PairU{114, '72'},


292    PairU{243, 'f301'},


293    PairU{63, '3f'},


294    PairU{241, 'f101'},


295    PairU{221, 'dd01'},


296    PairU{14, '0e'},


297    PairU{81, '51'},


298    PairU{155, '9b01'},


299    PairU{121, '79'},


300    PairU{157, '9d01'},


301    PairU{119, '77'},


302    PairU{218, 'da01'},


303    PairU{63, '3f'},


304    PairU{18538, 'ea9001'},


305    PairU{12035, '835e'},


306    PairU{23481, 'b9b701'},


307    PairU{55732, 'b4b303'},


308    PairU{37710, 'cea602'},


309    PairU{36807, 'c79f02'},


310    PairU{43930, '9ad702'},


311    PairU{19926, 'd69b01'},


312    PairU{17469, 'bd8801'},


313    PairU{14134, 'b66e'},


314    PairU{9471, 'ff49'},


315    PairU{29119, 'bfe301'},


316    PairU{1869, 'cd0e'},


317    PairU{12136, 'e85e'},


318    PairU{38328, 'b8ab02'},


319    PairU{8640, 'c043'},


320    PairU{46918, 'c6ee02'},


321    PairU{55875, 'c3b403'},


322    PairU{670, '9e05'},


323    PairU{60244, 'd4d603'},


324    PairU{27684, 'a4d801'},


325    PairU{52310, 'd69803'},


326    PairU{50940, 'fc8d03'},


327    PairU{10515, '9352'},


328    PairU{17383, 'e78701'},


329    PairU{43084, 'ccd002'},


330    PairU{48432, 'b0fa02'},


331    PairU{60020, 'f4d403'},


332    PairU{1860, 'c40e'},


333    PairU{49084, 'bcff02'},


334    PairU{15937, 'c17c'},


335    PairU{21131, '8ba501'},


336    PairU{31846, 'e6f801'},


337    PairU{33438, '9e8502'},


338    PairU{32143, '8ffb01'},


339    PairU{58562, 'c2c903'},


340    PairU{22492, 'dcaf01'},


341    PairU{40033, 'e1b802'},


342    PairU{48388, '84fa02'},


343    PairU{29290, 'eae401'},


344    PairU{53800, 'a8a403'},


345    PairU{57378, 'a2c003'},


346    PairU{47673, 'b9f402'},


347    PairU{59138, '82ce03'},


348    PairU{37202, 'd2a202'},


349    PairU{49063, 'a7ff02'},


350    PairU{47819, 'cbf502'},


351    PairU{52832, 'e09c03'},


352    PairU{60236, 'ccd603'},


353    PairU{55375, 'cfb003'},


354    PairU{7663, 'ef3b'},


355    PairU{7074, 'a237'},


356    PairU{57990, '86c503'},


357    PairU{18953, '899401'},


358    PairU{5181, 'bd28'},


359    PairU{9014, 'b646'},


360    PairU{10697, 'c953'},


361    PairU{63591, 'e7f003'},


362    PairU{46769, 'b1ed02'},


363    PairU{56941, 'edbc03'},


364    PairU{42127, '8fc902'},


365    PairU{19257, 'b99601'},


366    PairU{17684, '948a01'},


367    PairU{1325, 'ad0a'},


368    PairU{61840, '90e303'},


369    PairU{40710, '86be02'},


370    PairU{62082, '82e503'},


371    PairU{23342, 'aeb601'},


372    PairU{35058, 'f29102'},


373    PairU{40159, 'dfb902'},


374    PairU{44189, '9dd902'},


375    PairU{62036, 'd4e403'},


376    PairU{41247, '9fc202'},


377    PairU{59480, 'd8d003'},


378    PairU{38184, 'a8aa02'},


379    PairU{15638, '967a'},


380    PairU{59441, 'b1d003'},


381    PairU{35077, '859202'},


382    PairU{3723, '8b1d'},


383    PairU{19303, 'e79601'},


384    PairU{3842, '821e'},


385    PairU{26673, 'b1d001'},


386    PairU{65376, 'e0fe03'},


387    PairU{41853, 'fdc602'},


388    PairU{29944, 'f8e901'},


389    PairU{37899, '8ba802'},


390    PairU{58497, '81c903'},


391    PairU{19096, '989501'},


392    PairU{15674, 'ba7a'},


393    PairU{28569, '99df01'},


394    PairU{64493, 'edf703'},


395    PairU{32436, 'b4fd01'},


396    PairU{6647, 'f733'},


397    PairU{45867, 'abe602'},


398    PairU{15436, 'cc78'},


399    PairU{50918, 'e68d03'},


400    PairU{14744, '9873'},


401    PairU{35229, '9d9302'},


402    PairU{24528, 'd0bf01'},


403    PairU{50456, '988a03'},


404    PairU{38948, 'a4b002'},


405    PairU{44381, 'ddda02'},


406    PairU{44414, 'feda02'},


407    PairU{53514, '8aa203'},


408    PairU{26661, 'a5d001'},


409    PairU{6936, '9836'},


410    PairU{64439, 'b7f703'},


411    PairU{6416, '9032'},


412    PairU{64900, '84fb03'},


413    PairU{16493, 'ed8001'},


414    PairU{60566, '96d903'},


415    PairU{43060, 'b4d002'},


416    PairU{46111, '9fe802'},


417    PairU{11477, 'd559'},


418    PairU{3309, 'ed19'},


419    PairU{45345, 'a1e202'},


420    PairU{42714, 'dacd02'},


421    PairU{53006, '8e9e03'},


422    PairU{4101, '8520'},


423    PairU{24645, 'c5c001'},


424    PairU{5723, 'db2c'},


425    PairU{47501, '8df302'},


426    PairU{57066, 'eabd03'},


427    PairU{17033, '898501'},


428    PairU{6346, 'ca31'},


429    PairU{12568, '9862'},


430    PairU{62223, '8fe603'},


431    PairU{56084, '94b603'},


432    PairU{56131, 'c3b603'},


433    PairU{29969, '91ea01'},


434    PairU{32369, 'f1fc01'},


435    PairU{61495, 'b7e003'},


436    PairU{44949, '95df02'},


437    PairU{50004, 'd48603'},


438    PairU{9220, '8448'},


439    PairU{10256, '9050'},


440    PairU{45732, 'a4e502'},


441    PairU{43942, 'a6d702'},


442    PairU{1469, 'bd0b'},


443    PairU{28982, 'b6e201'},


444    PairU{417, 'a103'},


445    PairU{58457, 'd9c803'},


446    PairU{37589, 'd5a502'},


447    PairU{29383, 'c7e501'},


448    PairU{21056, 'c0a401'},


449    PairU{4745, '8925'},


450    PairU{35514, 'ba9502'},


451    PairU{63646, '9ef103'},


452    PairU{2842, '9a16'},


453    PairU{21858, 'e2aa01'},


454    PairU{40388, 'c4bb02'},


455    PairU{30328, 'f8ec01'},


456    PairU{39951, '8fb802'},


457    PairU{23997, 'bdbb01'},


458    PairU{62946, 'e2eb03'},


459    PairU{35650, 'c29602'},


460    PairU{8750, 'ae44'},


461    PairU{46337, '81ea02'},


462    PairU{22273, '81ae01'},


463    PairU{53644, '8ca303'},


464    PairU{11718, 'c65b'},


465    PairU{3178, 'ea18'},


466    PairU{33674, '8a8702'},


467    PairU{30684, 'dcef01'},


468    PairU{2316, '8c12'},


469    PairU{58965, 'd5cc03'},


470    PairU{33215, 'bf8302'},


471    PairU{40078, '8eb902'},


472    PairU{27427, 'a3d601'},


473    PairU{32957, 'bd8102'},


474    PairU{16508, 'fc8001'},


475    PairU{39346, 'b2b302'},


476    PairU{29215, '9fe401'},


477    PairU{4932, 'c426'},


478    PairU{58679, 'b7ca03'},


479    PairU{64203, 'cbf503'},


480    PairU{30720, '80f001'},


481    PairU{55219, 'b3af03'},


482    PairU{13026, 'e265'},


483    PairU{18918, 'e69301'},


484    PairU{55193, '99af03'},


485    PairU{54315, 'aba803'},


486    PairU{39709, '9db602'},


487    PairU{11413, '9559'},


488    PairU{7492, 'c43a'},


489    PairU{31907, 'a3f901'},


490    PairU{7409, 'f139'},


491    PairU{33806, '8e8802'},


492    PairU{13508, 'c469'},


493    PairU{56451, '83b903'},


494    PairU{35356, '9c9402'},


495    PairU{55376, 'd0b003'},


496    PairU{17814, '968b01'},


497    PairU{64517, '85f803'},


498    PairU{2994, 'b217'},


499    PairU{59169, 'a1ce03'},


500    PairU{56207, '8fb703'},


501    PairU{22147, '83ad01'},


502    PairU{14012, 'bc6d'},


503    PairU{13054, 'fe65'},


504    PairU{4892, '9c26'},


505    PairU{42371, '83cb02'},


506    PairU{8325, '8541'},


507    PairU{54057, 'a9a603'},


508    PairU{45378, 'c2e202'},


509    PairU{43300, 'a4d202'},


510    PairU{32715, 'cbff01'},


511    PairU{39871, 'bfb702'},


512    PairU{55492, 'c4b103'},


513    PairU{58680, 'b8ca03'},


514    PairU{33359, 'cf8402'},


515    PairU{34042, 'fa8902'},


516    PairU{33938, '928902'},


517    PairU{2765, 'cd15'},


518    PairU{19810, 'e29a01'},


519    PairU{949, 'b507'},


520    PairU{61490, 'b2e003'},


521    PairU{57261, 'adbf03'},


522    PairU{63475, 'f3ef03'},


523    PairU{21287, 'a7a601'},


524    PairU{47662, 'aef402'},


525    PairU{56098, 'a2b603'},


526    PairU{54230, 'd6a703'},


527    PairU{39149, 'edb102'},


528    PairU{45100, 'ace002'},


529    PairU{60998, 'c6dc03'},


530    PairU{31905, 'a1f901'},


531    PairU{22804, '94b201'},


532    PairU{44510, 'dedb02'},


533    PairU{15248, '9077'},


534    PairU{14713, 'f972'},


535    PairU{58289, 'b1c703'},


536    PairU{8585, '8943'},


537    PairU{43338, 'cad202'},


538    PairU{34636, 'cc8e02'},


539    PairU{18370, 'c28f01'},


540    PairU{31070, 'def201'},


541    PairU{33749, 'd58702'},


542    PairU{47545, 'b9f302'},


543    PairU{2995, 'b317'},


544    PairU{35572, 'f49502'},


545    PairU{56226, 'a2b703'},


546    PairU{37064, 'c8a102'},


547    PairU{65522, 'f2ff03'},


548    PairU{32768, '808002'},


549    PairU{25070, 'eec301'},


550    PairU{20130, 'a29d01'},


551    PairU{64278, '96f603'},


552    PairU{37498, 'faa402'},


553    PairU{40782, 'cebe02'},


554    PairU{59649, '81d203'},


555    PairU{60135, 'e7d503'},


556    PairU{4690, 'd224'},


557    PairU{4000, 'a01f'},


558    PairU{54743, 'd7ab03'},


559    PairU{33671, '878702'},


560    PairU{1576622459, 'fbb2e5ef05'},


561    PairU{2285263560, 'c8b5d9c108'},


562    PairU{263450205, 'dddccf7d'},


563    PairU{2633373322, '8aadd8e709'},


564    PairU{749077709, 'cd8998e502'},


565    PairU{813712125, 'fd85818403'},


566    PairU{2733002807, 'b7a099970a'},


567    PairU{2296034148, 'e4e6eac608'},


568    PairU{4189355970, 'c2ffd1cd0f'},


569    PairU{2204900736, '80bbb09b08'},


570    PairU{509345770, 'eaffeff201'},


571    PairU{3884454891, 'eba7a0bc0e'},


572    PairU{3537905033, '89cb80970d'},


573    PairU{2839422414, 'cecbf8c90a'},


574    PairU{2428204406, 'f6eaed8509'},


575    PairU{3728526525, 'bd99f3f10d'},


576    PairU{3049593858, '82b894ae0b'},


577    PairU{1457544425, 'e9b981b705'},


578    PairU{1469203333, '8587c9bc05'},


579    PairU{3774511384, '98f2e9870e'},


580    PairU{2787404081, 'b1d291b10a'},


581    PairU{3996089698, 'e2fabdf10e'},


582    PairU{2382104382, 'be8ef0ef08'},


583    PairU{2936137684, 'd4cf87f80a'},


584    PairU{3779422746, '9ad4958a0e'},


585    PairU{4245632140, '8ce9bce80f'},


586    PairU{2172962693, '858f938c08'},


587    PairU{1599194849, 'e18dc7fa05'},


588    PairU{719183242, '8abbf7d602'},


589    PairU{632925525, 'd5dae6ad02'},


590    PairU{4083247540, 'b4d3859b0f'},


591    PairU{499253479, 'e78188ee01'},


592    PairU{3010530387, 'd398c49b0b'},


593    PairU{707821343, '9ffec1d102'},


594    PairU{875381905, '9189b5a103'},


595    PairU{4219956182, 'd6d79ddc0f'},


596    PairU{1550196940, 'ccc198e305'},


597    PairU{830853841, 'd1a5978c03'},


598    PairU{1683329584, 'b0a4d6a206'},


599    PairU{2589390623, '9feedbd209'},


600    PairU{383008357, 'e5fcd0b601'},


601    PairU{2197647374, '8ee0f59708'},


602    PairU{3005775514, '9afda1990b'},


603    PairU{4273640298, 'eaa6eaf50f'},


604    PairU{3148225718, 'b6b998dd0b'},


605    PairU{3349023016, 'a892f8bc0c'},


606    PairU{3347759669, 'b584abbc0c'},


607    PairU{1039207051, '8b95c4ef03'},


608    PairU{1139110863, 'cfe7959f04'},


609    PairU{2745283454, 'fee6869d0a'},


610    PairU{732240829, 'bdb794dd02'},


611    PairU{338637064, '88e2bca101'},


612    PairU{837811858, '92fdbf8f03'},


613    PairU{1899187297, 'e198cd8907'},


614    PairU{1793703115, 'cbf9a6d706'},


615    PairU{2581410360, 'b8e4f4ce09'},


616    PairU{3137095172, '848cf1d70b'},


617    PairU{7424679, 'a795c503'},


618    PairU{1449454191, 'efd493b305'},


619    PairU{4079856829, 'bdd9b6990f'},


620    PairU{2571092296, 'c882ffc909'},


621    PairU{3717759897, '9987e2ec0d'},


622    PairU{2883096695, 'f7a0e2de0a'},


623    PairU{1691131815, 'a7bfb2a606'},


624    PairU{2129105334, 'b6a39ef707'},


625    PairU{1009980302, '8ea7cce103'},


626    PairU{3434162685, 'fdd3c4e50c'},


627    PairU{639957245, 'fdf193b102'},


628    PairU{932838607, 'cff9e7bc03'},


629    PairU{3235504188, 'bcc0e7860c'},


630    PairU{1180182155, '8bcde0b204'},


631    PairU{2995829608, 'e8f6c2940b'},


632    PairU{965674411, 'ab8bbccc03'},


633    PairU{378543011, 'a3b7c0b401'},


634    PairU{4285571791, 'cfc5c2fb0f'},


635    PairU{282020545, 'c195bd8601'},


636    PairU{2405125211, 'db98edfa08'},


637    PairU{869729327, 'af88dc9e03'},


638    PairU{2165033856, '8097af8808'},


639    PairU{3190934636, 'ec98c7f10b'},


640    PairU{1560913891, 'e3cfa6e805'},


641    PairU{3990487004, 'dcffe7ee0e'},


642    PairU{3183785705, 'e9ed92ee0b'},


643    PairU{2461047003, 'dbb1c29509'},


644    PairU{4262615991, 'b7b7c9f00f'},


645    PairU{1414423930, 'facab9a205'},


646    PairU{999371334, 'c6e4c4dc03'},


647    PairU{1689190329, 'b9ffbba506'},


648    PairU{68235555, 'a3e2c420'},


649    PairU{248856297, 'e9fdd476'},


650    PairU{4092196862, 'feefa79f0f'},


651    PairU{3494374883, 'e3db9f820d'},


652    PairU{2813755235, 'e3fed9bd0a'},


653    PairU{1313825099, 'cbc2bdf204'},


654    PairU{2591128222, '9ef5c5d309'},


655    PairU{1523966010, 'bac0d7d605'},


656    PairU{1127625082, 'fae2d89904'},


657    PairU{1256675466, '8ab19dd704'},


658    PairU{1190518037, '95bad7b704'},


659    PairU{2791367114, 'cac383b30a'},


660    PairU{3774432974, 'ce8de5870e'},


661    PairU{3414245763, '838385dc0c'},


662    PairU{1597034808, 'b8a2c3f905'},


663    PairU{4007859466, '8aaa8cf70e'},


664    PairU{2581759998, 'fe8f8acf09'},


665    PairU{3207291398, '86c4adf90b'},


666    PairU{2641580787, 'f3a5cdeb09'},


667    PairU{4203404220, 'bcb7abd40f'},


668    PairU{3827909534, '9e87a5a10e'},


669    PairU{3400985995, '8bdbdbd50c'},


670    PairU{2567620135, 'a78cabc809'},


671    PairU{2308950307, 'a392ffcc08'},


672    PairU{1314838143, 'ffacfbf204'},


673    PairU{2178914725, 'a5b3fe8e08'},


674    PairU{1733225139, 'b3d5bbba06'},


675    PairU{1553515984, 'd08be3e405'},


676    PairU{2137829658, '9ae2b2fb07'},


677    PairU{4142098808, 'f8d28db70f'},


678    PairU{4103958027, '8bdcf5a40f'},


679    PairU{2206666819, 'c3a09c9c08'},


680    PairU{1716906204, 'dcd1d7b206'},


681    PairU{2494558124, 'acdfbfa509'},


682    PairU{1986252720, 'b09f8fb307'},


683    PairU{2649315202, '82afa5ef09'},


684    PairU{3175882084, 'e4bab0ea0b'},


685    PairU{3749882228, 'f4d28afc0d'},


686    PairU{3674100778, 'aaa8f9d70d'},


687    PairU{1053226166, 'b6e99bf603'},


688    PairU{153954905, 'd9d4b449'},


689    PairU{1870883730, '92d78dfc06'},


690    PairU{2505819863, 'd78defaa09'},


691    PairU{2401253919, '9ff480f908'},


692    PairU{340593328, 'b095b4a201'},


693    PairU{969765839, 'cfe7b5ce03'},


694    PairU{1456639920, 'b09fcab605'},


695    PairU{91177824, 'e086bd2b'},


696    PairU{3495457228, 'cce3e1820d'},


697    PairU{3212735579, 'dbe8f9fb0b'},


698    PairU{275512216, '98f7af8301'},


699    PairU{672284862, 'be81c9c002'},


700    PairU{961912600, '98bed6ca03'},


701    PairU{3084835320, 'f8b3fbbe0b'},


702    PairU{220020303, 'cffcf468'},


703    PairU{2450163298, 'e28caa9009'},


704    PairU{4055401811, 'd38ae28d0f'},


705    PairU{1163553324, 'acd4e9aa04'},


706    PairU{1202551545, 'f9f5b5bd04'},


707    PairU{2019542236, 'dc89ffc207'},


708    PairU{2761376567, 'b786dda40a'},


709    PairU{1609605426, 'b2c2c2ff05'},


710    PairU{516942760, 'a8d7bff601'},


711    PairU{2377899272, '88baefed08'},


712    PairU{3580860466, 'b2b0beab0d'},


713    PairU{2126356025, 'b9bcf6f507'},


714    PairU{1595762393, 'd9cdf5f805'},


715    PairU{2883179007, 'ffa3e7de0a'},


716    PairU{3535907129, 'b9d286960d'},


717    PairU{1158802511, 'cfd8c7a804'},


718    PairU{497717516, '8ca2aaed01'},


719    PairU{2629767619, 'c3a3fce509'},


720    PairU{75674906, '9aea8a24'},


721    PairU{710236774, 'e6b4d5d202'},


722    PairU{2645675237, 'e599c7ed09'},


723    PairU{2817817952, 'e0fad1bf0a'},


724    PairU{1074553497, '99c5b18004'},


725    PairU{742113873, 'd184efe102'},


726    PairU{2387606507, 'ebf7bff208'},


727    PairU{3826295571, '93c6c2a00e'},


728    PairU{1474946464, 'a0cba7bf05'},


729    PairU{3475754455, 'd79baff90c'},


730    PairU{4126313733, '859acaaf0f'},


731    PairU{1661751507, 'd3a1b19806'},


732    PairU{3069717007, '8fd4e0b70b'},


733    PairU{3337222955, 'abf6a7b70c'},


734    PairU{1706153109, '95a9c7ad06'},


735    PairU{1402000705, 'c1aac39c05'},


736    PairU{2251211916, '8c89bbb108'},


737    PairU{2798865857, 'c19bcdb60a'},


738    PairU{1641244705, 'a1d0cd8e06'},


739    PairU{2512858203, 'dbd89cae09'},


740    PairU{524622237, '9db394fa01'},


741    PairU{3771544098, 'a2e4b4860e'},


742    PairU{4107691575, 'b7ccd9a60f'},


743    PairU{603936895, 'ffb0fd9f02'},


744    PairU{3344176246, 'f6a8d0ba0c'},


745    PairU{1183276330, 'aaba9db404'},


746    PairU{3597650236, 'bc92bfb30d'},


747    PairU{441168468, 'd4e4aed201'},


748    PairU{4221874260, 'd4e092dd0f'},


749    PairU{3950335172, 'c4a9d5db0e'},


750    PairU{1973360424, 'a8aefcac07'},


751    PairU{3823824438, 'b6dcab9f0e'},


752    PairU{2049800081, '91efb5d107'},


753    PairU{3660178372, 'c4c7a7d10d'},


754    PairU{780774180, 'a4d6a6f402'},


755    PairU{2681864530, 'd282e8fe09'},


756    PairU{1528412212, 'b4f0e6d805'},


757    PairU{2376378142, '9ece92ed08'},


758    PairU{1064623603, 'f3bbd3fb03'},


759    PairU{3233206445, 'ada1db850c'},


760    PairU{3672796657, 'f1dba9d70d'},


761    PairU{781087442, 'd2e5b9f402'},


762    PairU{2245394147, 'e3fdd7ae08'},


763    PairU{3836660377, '9995bba50e'},


764    PairU{2353965320, '88d2bae208'},


765    PairU{4272222672, 'd0e393f50f'},


766    PairU{4111629699, '83fbc9a80f'},


767    PairU{913118848, '80adb4b303'},


768    PairU{185527771, 'dbdbbb58'},


769    PairU{4059618015, 'dfb5e38f0f'},


770    PairU{790485926, 'a6b7f7f802'},


771    PairU{3884507512, 'f8c2a3bc0e'},


772    PairU{3994954592, 'e0d6f8f00e'},


773    PairU{331228009, 'e9c6f89d01'},


774    PairU{1805517085, '9d82f8dc06'},


775    PairU{14100549, 'c5d0dc06'},


776    PairU{4142777074, 'f285b7b70f'},


777    PairU{3788467130, 'bad7bd8e0e'},


778    PairU{2905111067, '9bf4a1e90a'},


779    PairU{1531557470, 'deeca6da05'},


780    PairU{806936703, 'ffc0e38003'},


781    PairU{805343149, 'ad9f828003'},


782    PairU{922694503, 'e7e6fcb703'},


783    PairU{3739660092, 'bcde9af70d'},


784    PairU{2976345039, 'cfd79d8b0b'},


785    PairU{1149278908, 'bcb582a404'},


786    PairU{2399355301, 'a5838df808'},


787    PairU{2444829847, '97c9e48d09'},


788    PairU{2986169099, '8ba6f58f0b'},


789    PairU{2950144350, 'dec2defe0a'},


790    PairU{3916312506, 'badfb8cb0e'},


791    PairU{845785612, '8cd4a69303'},


792    PairU{297510487, 'd7ccee8d01'},


793    PairU{3841161226, '8af0cda70e'},


794    PairU{69098825, 'c9baf920'},


795    PairU{3026902730, 'cabdaba30b'},


796    PairU{1453144899, 'c3f6f4b405'},


797    PairU{2503664640, '80c8eba909'},


798    PairU{1248214829, 'adfe98d304'},


799    PairU{1441945961, 'e9b2c9af05'},


800    PairU{800833378, 'e2feeefd02'},


801    PairU{1050278887, 'e7f7e7f403'},


802    PairU{4033383511, 'd798a2830f'},


803    PairU{4273706408, 'a8abeef50f'},


804    PairU{2297733394, '92c2d2c708'},


805    PairU{2870451344, '90b9ded80a'},


806    PairU{4039087780, 'a4adfe850f'},


807    PairU{693267104, 'a0d5c9ca02'},


808    PairU{539765297, 'b1d4b08102'},


809    PairU{4047558201, 'b9ac838a0f'},


810    PairU{2933694237, '9dbef2f60a'},


811    PairU{3918895609, 'f9b3d6cc0e'},


812    PairU{4250667884, 'ec96f0ea0f'},


813    PairU{2521021176, 'f8f58eb209'},


814    PairU{3749978539, 'abc390fc0d'},


815    PairU{4258793638, 'a691e0ee0f'},


816    PairU{16497666429405569624, 'd8c4ecdcd886dff9e401'},


817    PairU{14536154376438558816, 'e0e0f0bebbecb2ddc901'},


818    PairU{6843499419089188695, 'd7ee9cbbe9cebffc5e'},


819    PairU{7841396255184312349, '9db0dbea938b8fe96c'},


820    PairU{1113684928626427234, 'e28af093acd1a6ba0f'},


821    PairU{4134256720751534067, 'f3bfaa95d592f5af39'},


822    PairU{17253201377649926326, 'b6c1eac8dde7ebb7ef01'},


823    PairU{15469952299346770796, 'ecf6b4b6f2f493d8d601'},


824    PairU{5835458901455749877, 'f585a5d5c0deedfd50'},


825    PairU{17844543005813556250, '9a88cb859caaa3d2f701'},


826    PairU{4969364902516834905, 'd984bdeecce1aefb44'},


827    PairU{6692377965772467354, '9ad993c4d5c986f05c'},


828    PairU{1475587601107919743, 'ffc688f8aee395bd14'},


829    PairU{3843212937304183130, 'daa2cea1deb9f5aa35'},


830    PairU{9777013101649715726, '8ec4afc1d7b3bbd78701'},


831    PairU{1570152583066146974, '9eb1c7e6c8ae93e515'},


832    PairU{17356087171625683816, 'e896dadbb7aacdeef001'},


833    PairU{5056090879529063593, 'a9a9b0d3ddfbb59546'},


834    PairU{3384806410955606790, '8696e5f3f4efcffc2e'},


835    PairU{7442628686330531987, '93a1f49eb8ebe1a467'},


836    PairU{1357168659508766305, 'e1ccc0d2c8b6e8ea12'},


837    PairU{7074114660671564637, 'ddd6d8cddbb9939662'},


838    PairU{16717941301969772540, 'fcbff5bd9ee18381e801'},


839    PairU{2387629661863056173, 'ada6a2d4ef90a49121'},


840    PairU{7862375172691359479, 'f7edf9d88192b18e6d'},


841    PairU{17677645154584602864, 'f0d1ae83ba93e7a9f501'},


842    PairU{4045118881321648135, '87809cdb8cc6c99138'},


843    PairU{9095902393560545338, 'baf0b4be8ee1c89d7e'},


844    PairU{1068136536003572080, 'f0e2ef80d390b2e90e'},


845    PairU{7337278415349509923, 'a3deb1e881fbcfe965'},


846    PairU{1740551343930355483, '9bdeb0c29bc7eb9318'},


847    PairU{3893609823214902851, 'c3bcc8b594b0b88436'},


848    PairU{16732013103060218250, '8ae3d7c8c6a8839ae801'},


849    PairU{10226525623380170998, 'f6b185e0f3dbfaf58d01'},


850    PairU{1895133965637192732, '9c98d4bcd0c9b7a61a'},


851    PairU{15948109888341212272, 'f0f8e3eba5aec4a9dd01'},


852    PairU{8092118975093648323, 'c3d79ef5d7eabea670'},


853    PairU{10514734800163341226, 'aa87b2f9f5f2f5f59101'},


854    PairU{13884858018854964648, 'a89bd694d999bbd8c001'},


855    PairU{5506039178247142939, '9bfcb7d6ddaed8b44c'},


856    PairU{3841378177801331069, 'fdc2a4be9aa3d4a735'},


857    PairU{17760608059192644565, 'd5a7f8d8e1dd96bdf601'},


858    PairU{7019050392006902605, 'cd868de1c9a4abb461'},


859    PairU{8327374118332948680, 'c8c191d8bed4b1c873'},


860    PairU{2563897145003893317, 'c5c4e1c4e8dbb2ca23'},


861    PairU{12643216874244515033, 'd9c9c6fcaad8eebaaf01'},


862    PairU{13119112646413862286, '8e8bd58e9aee9c88b601'},


863    PairU{18108784008520238429, 'dd8afef0c7e3d4a7fb01'},


864    PairU{1873271405493943285, 'f5f7f3a2b1cdccff19'},


865    PairU{8874913961157715656, 'c8cdd7979fe781957b'},


866    PairU{12117614803696436543, 'bf8adddae4ce9a95a801'},


867    PairU{13622021734351412017, 'b1b6aab58493c985bd01'},


868    PairU{11227690731560178118, 'c6a3dcb4bca7b1e89b01'},


869    PairU{15075290977826340765, '9dfff597daa88c9bd101'},


870    PairU{3782283879983012434, 'd2b4cb90e4e4d7be34'},


871    PairU{2286873011306353768, 'e8a8dfeab2dca6de1f'},


872    PairU{14474524103216191221, 'f5ad9fc8b8dff5efc801'},


873    PairU{10516557500424622678, 'd6a49ec6bdaa94f99101'},


874    PairU{6271761304563999046, 'c6c2cf94d6b5f18457'},


875    PairU{7003418245793840538, '9afb9f909ff9c89861'},


876    PairU{4738544158561718530, '82a2cbdce699ace141'},


877    PairU{3144190332643264855, 'd792addbae8e9ad12b'},


878    PairU{227823842728710, '86b6def9c5e633'},


879    PairU{10405418797642988611, 'c3f8baa5c2a8deb39001'},


880    PairU{8444002472442420534, 'b6bacde3aaf0c79775'},


881    PairU{3878245798820074584, 'd8a8c9b2998093e935'},


882    PairU{8012357224138885541, 'a593d5f29a8ee7986f'},


883    PairU{11962454006436529282, '8289e4fc9f91cb81a601'},


884    PairU{12665910134576977208, 'b8aaecc391c596e3af01'},


885    PairU{15068877586868647463, 'a7ec9a89bb8ada8fd101'},


886    PairU{4210079315543515777, '81c5c3f9cd9acdb63a'},


887    PairU{11487841127191890497, 'c19495b3bdd4c0b69f01'},


888    PairU{10485683442469938049, '81c7f6fc90b1a8c29101'},


889    PairU{11204063524666424848, '90fc9ce59f8db5be9b01'},


890    PairU{5415006522766295924, 'f486a2afe1f7fd924b'},


891    PairU{4630711960513531005, 'fd98bfbce5ffe5a140'},


892    PairU{3982128255237019230, 'deaccbbbcc91d7a137'},


893    PairU{6617393968943300669, 'bd80b6cd9198edea5b'},


894    PairU{1435843736633158116, 'e4d3f497d688c9f613'},


895    PairU{14187365854017477836, 'ccb9dfd9b8c2e9f1c401'},


896    PairU{8735249437125091689, 'e9c296e2cee2f59c79'},


897    PairU{6376283519002828267, 'ebbbddcabd82c7be58'},


898    PairU{3657563100074945951, '9fdbacdcacc891e132'},


899    PairU{4437625949942147625, 'a9d4edc2a3a9e7ca3d'},


900    PairU{1885997661622250280, 'a8d6d8e1979c9a961a'},


901    PairU{16732215193639573532, '9cb09fd294a2b19ae801'},


902    PairU{5667120534244932029, 'bdf3f6b79a83ead24e'},


903    PairU{11825700855638588116, 'd4f5fb82de88d58ea401'},


904    PairU{4527576189882154517, '95fcc4dbe7d1cbea3e'},


905    PairU{1280682687926913479, 'c79381dfe8c3f9e211'},


906    PairU{9740039616846814260, 'b4b88ba3d3cde4958701'},


907    PairU{3956728337499169408, '80c5f0aad9eec7f436'},


908    PairU{17343838944915026409, 'e9e3fbc98fb4ecd8f001'},


909    PairU{16687025645117266970, '9ab8b1f899ad8ecae701'},


910    PairU{15670949158519500554, '8ade8bf6b3a799bdd901'},


911    PairU{16466066235311737763, 'a397bd9e8080cec1e401'},


912    PairU{15451913260127887220, 'f4bec8d0e0a78eb8d601'},


913    PairU{9278357653237088389, '8581e5a187a4d6e18001'},


914    PairU{1075878753333237396, '94adc58eeac092f70e'},


915    PairU{3563137885558970298, 'baafea93f5e0b3b931'},


916    PairU{8863797907167105568, 'a0a4af8cbfa7a2817b'},


917    PairU{734695070650939283, '93ef8483e3a88a990a'},


918    PairU{8002043003097211607, 'd7c589a8eff6bd866f'},


919    PairU{5192771009703340673, '81d5c1ca88b79b8848'},


920    PairU{13179126492408335310, 'ce97c1af80b7eaf2b601'},


921    PairU{17790454869050497143, 'f7b0fef2a08e99f2f601'},


922    PairU{7616993389808968746, 'aac8bfc09ae4bfda69'},


923    PairU{16318616824692571020, '8cf78dacadf1d7bbe201'},


924    PairU{8765939449468784786, '92a1ae81c4efb7d379'},


925    PairU{75261474164892201, 'a9c4fbc697bdd88501'},


926    PairU{3133664910589528302, 'ee91ae86a2f4c0be2b'},


927    PairU{15097000880341691964, 'bcdc9ab483cad4c1d101'},


928    PairU{3022973414962426465, 'e1e4a3a2dfc9f0f929'},


929    PairU{5609378649501280170, 'aacfbcb19785a1ec4d'},


930    PairU{990738819831151138, 'a2f4e6e9d1f6f3df0d'},


931    PairU{12348568270978276187, 'dbb6c7e2abadbbafab01'},


932    PairU{16901939111747112304, 'f09adf97a682f0c7ea01'},


933    PairU{9801441920966166937, '9993be8ef3efed828801'},


934    PairU{10060108146541440626, 'f2dcf6e4efe1abce8b01'},


935    PairU{11316140797099052479, 'bf9b94bb97c3c0859d01'},


936    PairU{1236259003500982012, 'fcddb790b8e0849411'},


937    PairU{16823652378989721398, 'b6eed992c0d6e7bce901'},


938    PairU{15529439428856688579, 'c3dfcaef9cdce9c1d701'},


939    PairU{10242529200753152505, 'f9a3d4a3a7c1b1928e01'},


940    PairU{5245335121816452570, 'dafbffbd8990cbe548'},


941    PairU{2747545226467382795, '8baca2dfb8bacf9026'},


942    PairU{13609900213639311091, 'f3ddeff3ac8485f0bc01'},


943    PairU{1874387577747180441, '99979af8a2b2ca811a'},


944    PairU{10272916768788366883, 'a38ca3d6f7ebaec88e01'},


945    PairU{1114278600321221100, 'ec83ddc7bbcfadbb0f'},


946    PairU{9897207218105991608, 'b8838fbdefb0fcac8901'},


947    PairU{8846810664494540287, 'ffcbd6e2d4ed8be37a'},


948    PairU{10562228117401896415, 'df8b88f3afd0a4ca9201'},


949    PairU{8608031914317356491, 'cbbbf2a0b3edf7ba77'},


950    PairU{1865654390810688288, 'a0f6acaf8ad988f219'},


951    PairU{12094674477893877376, '80fde3c6b7cbbaeca701'},


952    PairU{8558966579069034438, 'c6bfe6ee99d8e3e376'},


953    PairU{5203591044982965645, '8d8bf484c5cfb79b48'},


954    PairU{11233273182042669342, '9e82cd8495cea6f29b01'},


955    PairU{16017135281365759761, '91eebae9d0f592a4de01'},


956    PairU{6945363918775826385, 'd1efcaf3f9f5b8b160'},


957    PairU{6045420329007298572, '8cf09ee3a5b8e9f253'},


958    PairU{5510634334482130396, 'dccb83cfb097edbc4c'},


959    PairU{17468619073700264256, 'c0f291e4ea8fc0b6f201'},


960    PairU{18247503505561409945, '99b3bbb5a4f8899efd01'},


961    PairU{1988695039543172212, 'f4b8b5b4a1f3d0cc1b'},


962    PairU{13715042894693961232, '909ceacb8edbe7aabe01'},


963    PairU{2018975808039210530, 'a29ca3c2cef9b5821c'},


964    PairU{15332238884456094609, '91b7bffb81c1c3e3d401'},


965    PairU{7652912018846076278, 'f69a8de5f2dda69a6a'},


966    PairU{15768132723588903218, 'b2e2ea85b4a5eae9da01'},


967    PairU{17375028618161701841, 'd18799de8a8fa090f101'},


968    PairU{10110759008783538163, 'f3affec0fdb7a8a88c01'},


969    PairU{3415009868491440130, '82808b9f9caca3b22f'},


970    PairU{15561213538269371436, 'acb8aeb4c2a8a2fad701'},


971    PairU{15315359322966216613, 'a59ff9a68fc5c5c5d401'},


972    PairU{2458535091929179151, '8fc895b2be949e8f22'},


973    PairU{17358307530478456555, 'eb9da081b197c6f2f001'},


974    PairU{7363375970986704126, 'fef9bcd2ecedfd9766'},


975    PairU{14738538189932390152, '88cecbbbd4ccf3c4cc01'},


976    PairU{14440442733995446828, 'aca4adb986c5b0b3c801'},


977    PairU{1393366409401905860, 'c4e5f292dfeb8eab13'},


978    PairU{1900119664317415511, 'd780ffb2c798a5af1a'},


979    PairU{14109693877532310998, 'd6fbc49eb4faece7c301'},


980    PairU{14769995374197693954, '82bcdde99b91e4fccc01'},


981    PairU{4999940398370050992, 'b0a7e3f7d2e9d6b145'},


982    PairU{5047528203842621028, 'e49cb8fe88859b8646'},


983    PairU{7485339658625876641, 'a185a8fcaa98d1f067'},


984    PairU{11439500404765512453, '85a6f18fa5a0d1e09e01'},


985    PairU{8070986252393944622, 'aeac8288c1e7f98070'},


986    PairU{1050338103191410594, 'a2afa0f6899ee3c90e'},


987    PairU{12530379333244790682, '9acfce97d6b3b6f2ad01'},


988    PairU{1427964220740374637, 'eda0ca89cabcc9e813'},


989    PairU{6082603178276280450, '82b1c7b6d1ebefb454'},


990    PairU{5205595947569509765, '85ebdf98f1bdff9e48'},


991    PairU{8731691902328862096, '90ebddf3dcf0cc9679'},


992    PairU{3751617101016806029, '8de58cfb85fc9a8834'},


993    PairU{14299237009190957872, 'b0e6c8dfc989c6b8c601'},


994    PairU{13867437321366946997, 'b589c9e8d598c2b9c001'},


995    PairU{11573419706116713613, '8dd9de9cf7fcc2cea001'},


996    PairU{2191009178272376218, '9acbaed4d3e781b41e'},


997    PairU{10715779747999238730, 'ca94c7d6ff9c86db9401'},


998    PairU{10469894606496237985, 'a193f2bfc3b5a2a69101'},


999    PairU{14159978080673443788, 'ccdfeeaeaaa196c1c401'},


1000    PairU{13587730528178406622, 'de89b8deca9dd4c8bc01'},


1001    PairU{11257190893642734044, 'dcb3d98298efe49c9c01'},


1002    PairU{2928980676484332701, '9df9d3be828df5d228'},


1003    PairU{16488195901431596315, '9b8a87df86daf5e8e401'},


1004    PairU{4278215864147998546, 'd2eeedb795d5d1af3b'},


1005    PairU{4323175936829160300, 'ecf6df81c0b3c0ff3b'},


1006    PairU{13076173724363569287, '87f1f2af8cd7f9bbb501'},


1007    PairU{8717063203043061758, 'fedf8ab0c5d9cefc78'},


1008    PairU{5138682769057202779, 'db84cdb88a9891a847'},


1009    PairU{13344414739953353340, 'fc84a0b391d0b898b901'},


1010    PairU{11076654462981947196, 'bcfea2aec2d18bdc9901'},


1011    PairU{8460080481274843743, 'dfa4e98cfdcb8fb475'},


1012    PairU{13685618867296918967, 'b7bbf7e49abbc5f6bd01'},


1013    PairU{8053099365893889619, 'd3bc9da8cce696e16f'},


1014    PairU{10532633304015060167, 'c7f990daf8c5db959201'},


1015    PairU{11112029803825057860, 'c4a0afb4b887f79a9a01'},


1016    PairU{8069181957144908666, 'faa6f4bccdc7dffd6f'},


1017    PairU{8204921825036634609, 'f193a2b9da9defee71'},


1018    PairU{3700587972716690644, 'd4f9f1aef9a4c8ad33'},


1019    PairU{9488398371130531571, 'f3bd85f5bf81e4d68301'},


1020    PairU{1406191118217599678, 'beb5adbdf2ebf2c113'},


1021    PairU{14495297497968030852, '84e9f8bfe688e994c901'},


1022    PairU{7593087050568726701, 'adf191ee948e84b069'},


1023    PairU{13679751921386162979, 'a396c28dcebc8fecbd01'},


1024    PairU{8244731277729298875, 'bbf3edaca2edcab572'},


1025    PairU{4444393973837935956, 'd4eafca3d998ead63d'},


1026    PairU{4043542914206254024, 'c887bfdab59be38e38'},


1027    PairU{10186751003295074837, '959487b68d82a7af8d01'},


1028    PairU{15777457821124589455, '8fefdbb6bbc9b2fada01'},


1029    PairU{10105846657260489569, 'e196d284debfcb9f8c01'},


1030    PairU{717755936680095145, 'a9dbfac98be7fefa09'},


1031    PairU{17680852272158274921, 'e9ea9b81eeaec0aff501'},


1032    PairU{5528732412273215974, 'e693ef9de29a80dd4c'},


1033    PairU{15989613841619609519, 'afcf9faba8a2a1f3dd01'},


1034    PairU{5511632168482070686, '9ec1f5f79588d0be4c'},


1035    PairU{5281614765525499435, 'abfceb9cd69484a649'},


1036    PairU{8127488305158606999, '97a1fb88d6f1a8e570'},


1037    PairU{10607748610367498417, 'b1d1e4dc8ae5929b9301'},


1038    PairU{6827839821837000505, 'b9bef1dec784d7e05e'},


1039    PairU{1174735752806106832, 'd08dd69797fedfa610'},


1040    PairU{1152991407683701572, 'c496c2a0b9f28f8010'},


1041    PairU{168485408808666162, 'b28882efe292a5ab02'},


1042    PairU{1500959912189480795, 'db9e9fa1e7e29eea14'},


1043    PairU{16925540598690529784, 'f8839bc3fcafe6f1ea01'},


1044    PairU{5788166731354978227, 'b3ef96999adfeca950'},


1045    PairU{17431587162243082439, 'c7d188a6ae85dcf4f101'},


1046    PairU{3298539645723045748, 'f4def5a6cd8ab1e32d'},


1047    PairU{2944295686823961901, 'adcaedf6bdaa8fee28'},


1048    PairU{5601897801686080844, 'ccbaa9cced8bfcde4d'},


1049    PairU{4294505698158362143, '9ffcfa84dec5c9cc3b'},


1050    PairU{2790287985116613059, 'c393aaefb884c6dc26'},


1051    PairU{13025394675902087618, 'c283a2e3a3eedfe1b401'},


1052    PairU{3449890764261488679, 'a7f0d3edf2ab9ef02f'},


1053    PairU{9345651036153697948, '9cadcfe5a1839bd98101'},


1054    PairU{11217857190501866486, 'f6b7b3a7e1b5f5d69b01'},


1055    PairU{13601956848995391445, 'd5afbfd481f6f6e1bc01'},


1056    PairU{3076345003319675583, 'bf95abcbb3efd7d82a'},


1057    PairU{2359136898918748254, 'dea0c6a4aad0d5de20'},


1058    PairU{5542048674121246859, '8bd1afa7fffcd3f44c'},


1059    PairU{18140543185983641493, '95afc0c9a3fd89e0fb01'},


1060    PairU{12095595652187308684, '8c85899b91858ceea701'},


1061    PairU{12590579628698639224, 'f8b6e8e6eeaeaeddae01'},


1062    PairU{14493564399040357302, 'b6c7b1f0fd80df91c901'},


1063    PairU{13590176164891917038, 'eef5f3bafda680cdbc01'},


1064    PairU{14863488181145897913, 'b997acc382f8eda2ce01'},


1065    PairU{10794028799708388741, '85bbd1ef908086e69501'},


1066    PairU{4823566444556896307, 'b390bbf2ff83b0f842'},


1067    PairU{9484121148456758217, 'c9d7a3e4f7bd97cf8301'},


1068    PairU{15355656764698617296, 'd0cbbd85848f908dd501'},


1069    PairU{8173669839824647064, '98e7c9909dadadb771'},


1070    PairU{12535116550804629314, 'c2ced1e6ecc2ebfaad01'},


1071    PairU{17278784277645343305, 'c9f49edd8ed8a4e5ef01'},


1072]


1073


1074const signed_data = [


1075    PairI{71, 'c700'},


1076    PairI{-57, '47'},


1077    PairI{58, '3a'},


1078    PairI{-111, '917f'},


1079    PairI{30, '1e'},


1080    PairI{-33, '5f'},


1081    PairI{-88, 'a87f'},


1082    PairI{-73, 'b77f'},


1083    PairI{-38, '5a'},


1084    PairI{-41, '57'},


1085    PairI{48, '30'},


1086    PairI{-50, '4e'},


1087    PairI{34, '22'},


1088    PairI{-111, '917f'},


1089    PairI{-97, '9f7f'},


1090    PairI{77, 'cd00'},


1091    PairI{48, '30'},


1092    PairI{-73, 'b77f'},


1093    PairI{-63, '41'},


1094    PairI{-115, '8d7f'},


1095    PairI{-59, '45'},


1096    PairI{101, 'e500'},


1097    PairI{-106, '967f'},


1098    PairI{-52, '4c'},


1099    PairI{108, 'ec00'},


1100    PairI{-43, '55'},


1101    PairI{-98, '9e7f'},


1102    PairI{-8, '78'},


1103    PairI{44, '2c'},


1104    PairI{-52, '4c'},


1105    PairI{54, '36'},


1106    PairI{69, 'c500'},


1107    PairI{-70, 'ba7f'},


1108    PairI{-99, '9d7f'},


1109    PairI{79, 'cf00'},


1110    PairI{85, 'd500'},


1111    PairI{-71, 'b97f'},


1112    PairI{-37, '5b'},


1113    PairI{-31, '61'},


1114    PairI{48, '30'},


1115    PairI{-18, '6e'},


1116    PairI{86, 'd600'},


1117    PairI{-116, '8c7f'},


1118    PairI{-31, '61'},


1119    PairI{96, 'e000'},


1120    PairI{54, '36'},


1121    PairI{69, 'c500'},


1122    PairI{13, '0d'},


1123    PairI{-19, '6d'},


1124    PairI{-69, 'bb7f'},


1125    PairI{32, '20'},


1126    PairI{-94, 'a27f'},


1127    PairI{80, 'd000'},


1128    PairI{-110, '927f'},


1129    PairI{100, 'e400'},


1130    PairI{-4, '7c'},


1131    PairI{94, 'de00'},


1132    PairI{45, '2d'},


1133    PairI{-54, '4a'},


1134    PairI{-1, '7f'},


1135    PairI{-121, '877f'},


1136    PairI{-100, '9c7f'},


1137    PairI{-33, '5f'},


1138    PairI{70, 'c600'},


1139    PairI{-123, '857f'},


1140    PairI{-23, '69'},


1141    PairI{-55, '49'},


1142    PairI{127, 'ff00'},


1143    PairI{99, 'e300'},


1144    PairI{79, 'cf00'},


1145    PairI{62, '3e'},


1146    PairI{-11, '75'},


1147    PairI{117, 'f500'},


1148    PairI{48, '30'},


1149    PairI{-50, '4e'},


1150    PairI{63, '3f'},


1151    PairI{-82, 'ae7f'},


1152    PairI{38, '26'},


1153    PairI{84, 'd400'},


1154    PairI{16, '10'},


1155    PairI{7, '07'},


1156    PairI{28, '1c'},


1157    PairI{15, '0f'},


1158    PairI{107, 'eb00'},


1159    PairI{-105, '977f'},


1160    PairI{116, 'f400'},


1161    PairI{-51, '4d'},


1162    PairI{-59, '45'},


1163    PairI{38, '26'},


1164    PairI{-81, 'af7f'},


1165    PairI{-48, '50'},


1166    PairI{21, '15'},


1167    PairI{-112, '907f'},


1168    PairI{-114, '8e7f'},


1169    PairI{96, 'e000'},


1170    PairI{108, 'ec00'},


1171    PairI{50, '32'},


1172    PairI{-78, 'b27f'},


1173    PairI{-8, '78'},


1174    PairI{14, '0e'},


1175    PairI{36, '24'},


1176    PairI{12, '0c'},


1177    PairI{85, 'd500'},


1178    PairI{78, 'ce00'},


1179    PairI{-123, '857f'},


1180    PairI{2, '02'},


1181    PairI{-8, '78'},


1182    PairI{-11, '75'},


1183    PairI{-94, 'a27f'},


1184    PairI{99, 'e300'},


1185    PairI{49, '31'},


1186    PairI{-91, 'a57f'},


1187    PairI{-66, 'be7f'},


1188    PairI{-33, '5f'},


1189    PairI{-19, '6d'},


1190    PairI{31, '1f'},


1191    PairI{-56, '48'},


1192    PairI{21, '15'},


1193    PairI{20, '14'},


1194    PairI{-92, 'a47f'},


1195    PairI{-5, '7b'},


1196    PairI{119, 'f700'},


1197    PairI{61, '3d'},


1198    PairI{55, '37'},


1199    PairI{83, 'd300'},


1200    PairI{-26, '66'},


1201    PairI{101, 'e500'},


1202    PairI{-81, 'af7f'},


1203    PairI{20, '14'},


1204    PairI{-32, '60'},


1205    PairI{-42, '56'},


1206    PairI{-121, '877f'},


1207    PairI{48, '30'},


1208    PairI{-28, '64'},


1209    PairI{96, 'e000'},


1210    PairI{-9, '77'},


1211    PairI{-97, '9f7f'},


1212    PairI{-21, '6b'},


1213    PairI{-30, '62'},


1214    PairI{62, '3e'},


1215    PairI{74, 'ca00'},


1216    PairI{-44, '54'},


1217    PairI{42, '2a'},


1218    PairI{62, '3e'},


1219    PairI{38, '26'},


1220    PairI{81, 'd100'},


1221    PairI{-102, '9a7f'},


1222    PairI{-62, '42'},


1223    PairI{-56, '48'},


1224    PairI{-54, '4a'},


1225    PairI{-104, '987f'},


1226    PairI{108, 'ec00'},


1227    PairI{-9, '77'},


1228    PairI{80, 'd000'},


1229    PairI{89, 'd900'},


1230    PairI{-101, '9b7f'},


1231    PairI{103, 'e700'},


1232    PairI{-127, '817f'},


1233    PairI{76, 'cc00'},


1234    PairI{53, '35'},


1235    PairI{-65, 'bf7f'},


1236    PairI{50, '32'},


1237    PairI{117, 'f500'},


1238    PairI{13, '0d'},


1239    PairI{-64, '40'},


1240    PairI{66, 'c200'},


1241    PairI{-9, '77'},


1242    PairI{-103, '997f'},


1243    PairI{16, '10'},


1244    PairI{45, '2d'},


1245    PairI{-5, '7b'},


1246    PairI{-11, '75'},


1247    PairI{2, '02'},


1248    PairI{113, 'f100'},


1249    PairI{-97, '9f7f'},


1250    PairI{-66, 'be7f'},


1251    PairI{-86, 'aa7f'},


1252    PairI{62, '3e'},


1253    PairI{-50, '4e'},


1254    PairI{-57, '47'},


1255    PairI{-32, '60'},


1256    PairI{46, '2e'},


1257    PairI{41, '29'},


1258    PairI{10, '0a'},


1259    PairI{20, '14'},


1260    PairI{-90, 'a67f'},


1261    PairI{-46, '52'},


1262    PairI{-127, '817f'},


1263    PairI{90, 'da00'},


1264    PairI{107, 'eb00'},


1265    PairI{-18, '6e'},


1266    PairI{98, 'e200'},


1267    PairI{26, '1a'},


1268    PairI{85, 'd500'},


1269    PairI{70, 'c600'},


1270    PairI{-37, '5b'},


1271    PairI{-55, '49'},


1272    PairI{92, 'dc00'},


1273    PairI{-41, '57'},


1274    PairI{86, 'd600'},


1275    PairI{-8, '78'},


1276    PairI{-10, '76'},


1277    PairI{-71, 'b97f'},


1278    PairI{-117, '8b7f'},


1279    PairI{-101, '9b7f'},


1280    PairI{25, '19'},


1281    PairI{111, 'ef00'},


1282    PairI{-48, '50'},


1283    PairI{-87, 'a97f'},


1284    PairI{-8, '78'},


1285    PairI{13, '0d'},


1286    PairI{-71, 'b97f'},


1287    PairI{-74, 'b67f'},


1288    PairI{-69, 'bb7f'},


1289    PairI{115, 'f300'},


1290    PairI{-48, '50'},


1291    PairI{-123, '857f'},


1292    PairI{5, '05'},


1293    PairI{-81, 'af7f'},


1294    PairI{38, '26'},


1295    PairI{-83, 'ad7f'},


1296    PairI{-116, '8c7f'},


1297    PairI{-83, 'ad7f'},


1298    PairI{84, 'd400'},


1299    PairI{-29, '63'},


1300    PairI{-4, '7c'},


1301    PairI{-49, '4f'},


1302    PairI{-3, '7d'},


1303    PairI{-99, '9d7f'},


1304    PairI{-83, 'ad7f'},


1305    PairI{66, 'c200'},


1306    PairI{52, '34'},


1307    PairI{-17, '6f'},


1308    PairI{53, '35'},


1309    PairI{-36, '5c'},


1310    PairI{-78, 'b27f'},


1311    PairI{84, 'd400'},


1312    PairI{48, '30'},


1313    PairI{-54, '4a'},


1314    PairI{56, '38'},


1315    PairI{-73, 'b77f'},


1316    PairI{-90, 'a67f'},


1317    PairI{101, 'e500'},


1318    PairI{-41, '57'},


1319    PairI{-81, 'af7f'},


1320    PairI{-70, 'ba7f'},


1321    PairI{44, '2c'},


1322    PairI{-77, 'b37f'},


1323    PairI{-58, '46'},


1324    PairI{-49, '4f'},


1325    PairI{-27, '65'},


1326    PairI{-109, '937f'},


1327    PairI{5, '05'},


1328    PairI{76, 'cc00'},


1329    PairI{61, '3d'},


1330    PairI{27, '1b'},


1331    PairI{8787, 'd3c400'},


1332    PairI{-17881, 'a7f47e'},


1333    PairI{-31605, '8b897e'},


1334    PairI{-27049, 'd7ac7e'},


1335    PairI{3714, '821d'},


1336    PairI{-2242, 'be6e'},


1337    PairI{26116, '84cc01'},


1338    PairI{-27200, 'c0ab7e'},


1339    PairI{19838, 'fe9a01'},


1340    PairI{32527, '8ffe01'},


1341    PairI{31920, 'b0f901'},


1342    PairI{28648, 'e8df01'},


1343    PairI{-20914, 'cedc7e'},


1344    PairI{-11700, 'cca47f'},


1345    PairI{5055, 'bf27'},


1346    PairI{4597, 'f523'},


1347    PairI{-20363, 'f5e07e'},


1348    PairI{30845, 'fdf001'},


1349    PairI{-29474, 'de997e'},


1350    PairI{29595, '9be701'},


1351    PairI{-12992, 'c09a7f'},


1352    PairI{32584, 'c8fe01'},


1353    PairI{24909, 'cdc201'},


1354    PairI{-7726, 'd243'},


1355    PairI{-25220, 'fcba7e'},


1356    PairI{-19006, 'c2eb7e'},


1357    PairI{-26864, '90ae7e'},


1358    PairI{26852, 'e4d101'},


1359    PairI{-28014, '92a57e'},


1360    PairI{19211, '8b9601'},


1361    PairI{6328, 'b831'},


1362    PairI{-6461, 'c34d'},


1363    PairI{-29068, 'f49c7e'},


1364    PairI{-25398, 'cab97e'},


1365    PairI{31065, 'd9f201'},


1366    PairI{233, 'e901'},


1367    PairI{-7979, 'd541'},


1368    PairI{23972, 'a4bb01'},


1369    PairI{-15692, 'b4857f'},


1370    PairI{-19202, 'fee97e'},


1371    PairI{10476, 'ecd100'},


1372    PairI{30373, 'a5ed01'},


1373    PairI{-29994, 'd6957e'},


1374    PairI{29009, 'd1e201'},


1375    PairI{12224, 'c0df00'},


1376    PairI{22522, 'faaf01'},


1377    PairI{-14512, 'd08e7f'},


1378    PairI{-10081, '9fb17f'},


1379    PairI{13399, 'd7e800'},


1380    PairI{13280, 'e0e700'},


1381    PairI{800, 'a006'},


1382    PairI{2480, 'b013'},


1383    PairI{-24927, 'a1bd7e'},


1384    PairI{-31465, '978a7e'},


1385    PairI{15847, 'e7fb00'},


1386    PairI{-28526, '92a17e'},


1387    PairI{9416, 'c8c900'},


1388    PairI{30728, '88f001'},


1389    PairI{25342, 'fec501'},


1390    PairI{2399, 'df12'},


1391    PairI{-17174, 'eaf97e'},


1392    PairI{-29932, '94967e'},


1393    PairI{-865, '9f79'},


1394    PairI{-6731, 'b54b'},


1395    PairI{11834, 'badc00'},


1396    PairI{26424, 'b8ce01'},


1397    PairI{29483, 'abe601'},


1398    PairI{29674, 'eae701'},


1399    PairI{29302, 'f6e401'},


1400    PairI{3536, 'd01b'},


1401    PairI{-1976, 'c870'},


1402    PairI{-2483, 'cd6c'},


1403    PairI{6818, 'a235'},


1404    PairI{7495, 'c73a'},


1405    PairI{30181, 'e5eb01'},


1406    PairI{445, 'bd03'},


1407    PairI{24607, '9fc001'},


1408    PairI{18354, 'b28f01'},


1409    PairI{8393, 'c9c100'},


1410    PairI{-7009, '9f49'},


1411    PairI{-17596, 'c4f67e'},


1412    PairI{-28262, '9aa37e'},


1413    PairI{13564, 'fce900'},


1414    PairI{6971, 'bb36'},


1415    PairI{-6278, 'fa4e'},


1416    PairI{-30326, '8a937e'},


1417    PairI{-9156, 'bcb87f'},


1418    PairI{11817, 'a9dc00'},


1419    PairI{-14692, '9c8d7f'},


1420    PairI{-1478, 'ba74'},


1421    PairI{22666, '8ab101'},


1422    PairI{-12170, 'f6a07f'},


1423    PairI{2021, 'e50f'},


1424    PairI{-7431, 'f945'},


1425    PairI{30262, 'b6ec01'},


1426    PairI{32557, 'adfe01'},


1427    PairI{23336, 'a8b601'},


1428    PairI{31526, 'a6f601'},


1429    PairI{18786, 'e29201'},


1430    PairI{28848, 'b0e101'},


1431    PairI{-5526, 'ea54'},


1432    PairI{17921, '818c01'},


1433    PairI{-13761, 'bf947f'},


1434    PairI{31251, '93f401'},


1435    PairI{-18544, '90ef7e'},


1436    PairI{-3191, '8967'},


1437    PairI{10097, 'f1ce00'},


1438    PairI{-7666, '8e44'},


1439    PairI{-18487, 'c9ef7e'},


1440    PairI{6812, '9c35'},


1441    PairI{-11996, 'a4a27f'},


1442    PairI{-19962, '86e47e'},


1443    PairI{21115, 'fba401'},


1444    PairI{25267, 'b3c501'},


1445    PairI{1128, 'e808'},


1446    PairI{19925, 'd59b01'},


1447    PairI{-1500, 'a474'},


1448    PairI{25913, 'b9ca01'},


1449    PairI{29865, 'a9e901'},


1450    PairI{-9920, 'c0b27f'},


1451    PairI{-30417, 'af927e'},


1452    PairI{-22005, '8bd47e'},


1453    PairI{-7297, 'ff46'},


1454    PairI{17461, 'b58801'},


1455    PairI{23293, 'fdb501'},


1456    PairI{-32534, 'ea817e'},


1457    PairI{14725, '85f300'},


1458    PairI{-26360, '88b27e'},


1459    PairI{-21339, 'a5d97e'},


1460    PairI{-24044, '94c47e'},


1461    PairI{13904, 'd0ec00'},


1462    PairI{-2029, '9370'},


1463    PairI{-10100, '8cb17f'},


1464    PairI{9882, '9acd00'},


1465    PairI{12336, 'b0e000'},


1466    PairI{14459, 'fbf000'},


1467    PairI{27621, 'e5d701'},


1468    PairI{32327, 'c7fc01'},


1469    PairI{-30351, 'f1927e'},


1470    PairI{19835, 'fb9a01'},


1471    PairI{-3164, 'a467'},


1472    PairI{-9237, 'ebb77f'},


1473    PairI{13532, 'dce900'},


1474    PairI{-28272, '90a37e'},


1475    PairI{29287, 'e7e401'},


1476    PairI{2960, '9017'},


1477    PairI{17445, 'a58801'},


1478    PairI{-15227, '85897f'},


1479    PairI{2836, '9416'},


1480    PairI{28072, 'a8db01'},


1481    PairI{12460, 'ace100'},


1482    PairI{-20424, 'b8e07e'},


1483    PairI{-5743, '9153'},


1484    PairI{6625, 'e133'},


1485    PairI{7561, '893b'},


1486    PairI{-19432, '98e87e'},


1487    PairI{1819, '9b0e'},


1488    PairI{20455, 'e79f01'},


1489    PairI{-25368, 'e8b97e'},


1490    PairI{-22569, 'd7cf7e'},


1491    PairI{-20500, 'ecdf7e'},


1492    PairI{-9091, 'fdb87f'},


1493    PairI{13550, 'eee900'},


1494    PairI{2762, 'ca15'},


1495    PairI{18058, '8a8d01'},


1496    PairI{31546, 'baf601'},


1497    PairI{-14136, 'c8917f'},


1498    PairI{-25615, 'f1b77e'},


1499    PairI{17927, '878c01'},


1500    PairI{1689, '990d'},


1501    PairI{2918, 'e616'},


1502    PairI{-24013, 'b3c47e'},


1503    PairI{634, 'fa04'},


1504    PairI{-22456, 'c8d07e'},


1505    PairI{12060, '9cde00'},


1506    PairI{-17556, 'ecf67e'},


1507    PairI{-24911, 'b1bd7e'},


1508    PairI{-11677, 'e3a47f'},


1509    PairI{14630, 'a6f200'},


1510    PairI{-21202, 'aeda7e'},


1511    PairI{-31435, 'b58a7e'},


1512    PairI{-6420, 'ec4d'},


1513    PairI{-25218, 'feba7e'},


1514    PairI{9632, 'a0cb00'},


1515    PairI{-17624, 'a8f67e'},


1516    PairI{14842, 'faf300'},


1517    PairI{-13595, 'e5957f'},


1518    PairI{27098, 'dad301'},


1519    PairI{31185, 'd1f301'},


1520    PairI{8754, 'b2c400'},


1521    PairI{1312, 'a00a'},


1522    PairI{12, '0c'},


1523    PairI{-473, 'a77c'},


1524    PairI{2098, 'b210'},


1525    PairI{-12244, 'aca07f'},


1526    PairI{-816, 'd079'},


1527    PairI{-1225, 'b776'},


1528    PairI{13591, '97ea00'},


1529    PairI{2136, 'd810'},


1530    PairI{-15697, 'af857f'},


1531    PairI{3544, 'd81b'},


1532    PairI{-6052, 'dc50'},


1533    PairI{-9589, '8bb57f'},


1534    PairI{-11761, '8fa47f'},


1535    PairI{16861, 'dd8301'},


1536    PairI{3059, 'f317'},


1537    PairI{29457, '91e601'},


1538    PairI{9787, 'bbcc00'},


1539    PairI{25639, 'a7c801'},


1540    PairI{3004, 'bc17'},


1541    PairI{2681, 'f914'},


1542    PairI{-12251, 'a5a07f'},


1543    PairI{-719, 'b17a'},


1544    PairI{4298, 'ca21'},


1545    PairI{-22438, 'dad07e'},


1546    PairI{-23226, 'c6ca7e'},


1547    PairI{-3247, 'd166'},


1548    PairI{-29117, 'c39c7e'},


1549    PairI{-17481, 'b7f77e'},


1550    PairI{23957, '95bb01'},


1551    PairI{31757, '8df801'},


1552    PairI{11119, 'efd600'},


1553    PairI{-1510, '9a74'},


1554    PairI{10052, 'c4ce00'},


1555    PairI{23093, 'b5b401'},


1556    PairI{-10561, 'bfad7f'},


1557    PairI{5401, '992a'},


1558    PairI{19166, 'de9501'},


1559    PairI{-9132, 'd4b87f'},


1560    PairI{-6059, 'd550'},


1561    PairI{-26894, 'f2ad7e'},


1562    PairI{1748, 'd40d'},


1563    PairI{-5496, '8855'},


1564    PairI{-18671, '91ee7e'},


1565    PairI{-19214, 'f2e97e'},


1566    PairI{-21951, 'c1d47e'},


1567    PairI{-30256, 'd0937e'},


1568    PairI{16765, 'fd8201'},


1569    PairI{-21723, 'a5d67e'},


1570    PairI{-30595, 'fd907e'},


1571    PairI{31828, 'd4f801'},


1572    PairI{-2584, 'e86b'},


1573    PairI{-30949, '9b8e7e'},


1574    PairI{-22310, 'dad17e'},


1575    PairI{21889, '81ab01'},


1576    PairI{14804, 'd4f300'},


1577    PairI{4088, 'f81f'},


1578    PairI{-10743, '89ac7f'},


1579    PairI{-26876, '84ae7e'},


1580    PairI{-7980, 'd441'},


1581    PairI{-15498, 'f6867f'},


1582    PairI{28570, '9adf01'},


1583    PairI{27443, 'b3d601'},


1584    PairI{29549, 'ede601'},


1585    PairI{21949, 'bdab01'},


1586    PairI{31972, 'e4f901'},


1587    PairI{-1610689836, 'd4a5fbff79'},


1588    PairI{-1828819581, '83dbf99779'},


1589    PairI{1396236313, '99c0e39905'},


1590    PairI{491059828, 'f4f493ea01'},


1591    PairI{-451523301, '9b9ad9a87e'},


1592    PairI{-614546227, 'cd89fbda7d'},


1593    PairI{1183392887, 'f7c8a4b404'},


1594    PairI{512628512, 'a0aeb8f401'},


1595    PairI{-829518712, '8899baf47c'},


1596    PairI{1424571991, 'd7fca4a705'},


1597    PairI{-377531844, 'bca4fdcb7e'},


1598    PairI{-2048048916, 'ec81b5af78'},


1599    PairI{-1781899811, 'ddbba9ae79'},


1600    PairI{-753465411, 'bd8fdc987d'},


1601    PairI{-123893637, 'fb90f644'},


1602    PairI{808521482, '8a9ec48103'},


1603    PairI{594058808, 'b8bca29b02'},


1604    PairI{-1078535311, 'f1b6dbfd7b'},


1605    PairI{-631537179, 'e583eed27d'},


1606    PairI{-1111424379, '858584ee7b'},


1607    PairI{671205267, '938f87c002'},


1608    PairI{-1672027781, 'fbc2dbe279'},


1609    PairI{590553306, 'dac1cc9902'},


1610    PairI{-1908171085, 'b3bd8ef278'},


1611    PairI{621854289, 'd1fcc2a802'},


1612    PairI{392861225, 'a9acaabb01'},


1613    PairI{1431634128, 'd081d4aa05'},


1614    PairI{623600501, 'f5c6ada902'},


1615    PairI{-255554825, 'f79592867f'},


1616    PairI{1616941558, 'f6a3828306'},


1617    PairI{-1229050970, 'a6d7f8b57b'},


1618    PairI{1499620392, 'a8c889cb05'},


1619    PairI{1715726890, 'aad48fb206'},


1620    PairI{-417947106, '9ec4dab87e'},


1621    PairI{-190351805, 'c3ec9da57f'},


1622    PairI{-236387687, '9985a48f7f'},


1623    PairI{741239109, 'c5d2b9e102'},


1624    PairI{1307163713, 'c1f8a6ef04'},


1625    PairI{-1673941798, 'dad9e6e179'},


1626    PairI{1705384384, 'c0b398ad06'},


1627    PairI{-828342709, 'cbfc81f57c'},


1628    PairI{828595710, 'febb8d8b03'},


1629    PairI{1118264374, 'b6b89d9504'},


1630    PairI{-2122511773, 'e394f48b78'},


1631    PairI{1463843218, '92f381ba05'},


1632    PairI{2141974662, '86e1affd07'},


1633    PairI{-1604221749, 'cb8986837a'},


1634    PairI{-1431106751, 'c196ccd57a'},


1635    PairI{-665428015, 'd1bfd9c27d'},


1636    PairI{-385071153, 'cf8fb1c87e'},


1637    PairI{-895774541, 'b3a1eed47c'},


1638    PairI{1381938156, 'ece7fa9205'},


1639    PairI{857769296, 'd08a829903'},


1640    PairI{155306425, 'b99387ca00'},


1641    PairI{1422044246, 'd6d88aa605'},


1642    PairI{558423016, 'e8b7a38a02'},


1643    PairI{228027580, 'bcd9ddec00'},


1644    PairI{356371619, 'a399f7a901'},


1645    PairI{-1772085860, '9cbb80b379'},


1646    PairI{-1934574707, '8df7c2e578'},


1647    PairI{1198250140, '9cb1afbb04'},


1648    PairI{-849861506, 'fec8e0ea7c'},


1649    PairI{-462860973, 'd39aa5a37e'},


1650    PairI{879441342, 'beebaca303'},


1651    PairI{-558187008, '80fceaf57d'},


1652    PairI{1335418030, 'aeb9e3fc04'},


1653    PairI{557139109, 'a589d58902'},


1654    PairI{1090995064, 'f8869d8804'},


1655    PairI{-1307074103, 'c9c3de907b'},


1656    PairI{188951315, '93d68cda00'},


1657    PairI{-1524897325, 'd3d3efa87a'},


1658    PairI{-708523764, '8c9293ae7d'},


1659    PairI{223986788, 'e488e7ea00'},


1660    PairI{-1431958913, 'ff9498d57a'},


1661    PairI{-396034016, 'a08094c37e'},


1662    PairI{1150136681, 'e9e2b6a404'},


1663    PairI{1349151545, 'b9d6a98305'},


1664    PairI{-2073690705, 'affb97a378'},


1665    PairI{-1616451762, 'cece9bfd79'},


1666    PairI{531971183, 'eff8d4fd01'},


1667    PairI{-938132241, 'eff9d4c07c'},


1668    PairI{-590957484, 'd4e89ae67d'},


1669    PairI{-119184036, 'dcca9547'},


1670    PairI{1222116657, 'b18ae0c604'},


1671    PairI{645964671, 'ffc682b402'},


1672    PairI{-974571241, '97f2a4af7c'},


1673    PairI{-524108653, '93f98a867e'},


1674    PairI{-1733093001, 'f7b2ccc579'},


1675    PairI{1449079907, 'e3e8fcb205'},


1676    PairI{310098077, '9df1ee9301'},


1677    PairI{-500617726, '82dca4917e'},


1678    PairI{30820535, 'b791d90e'},


1679    PairI{1546599379, 'd3f7bce105'},


1680    PairI{-439073323, 'd58bd1ae7e'},


1681    PairI{1177334242, 'e2e3b2b104'},


1682    PairI{-2127666182, 'fac7b98978'},


1683    PairI{-570346284, 'd4e984f07d'},


1684    PairI{1556052618, '8af5fde505'},


1685    PairI{-993557311, 'c1899ea67c'},


1686    PairI{-554930165, '8be0b1f77d'},


1687    PairI{-902034296, '8899f0d17c'},


1688    PairI{-1448565203, 'adcca2cd7a'},


1689    PairI{290782649, 'b9fbd38a01'},


1690    PairI{1376218739, 'f3dc9d9005'},


1691    PairI{1866406765, 'edb6fcf906'},


1692    PairI{1524349890, 'c2f7eed605'},


1693    PairI{-2140227152, 'b0f3ba8378'},


1694    PairI{203976048, 'f0daa1e100'},


1695    PairI{512089466, 'faba97f401'},


1696    PairI{-1481127424, '8094dfbd7a'},


1697    PairI{-1696023128, 'a8fba2d779'},


1698    PairI{-985922027, '958cf0a97c'},


1699    PairI{795680718, 'cebfb4fb02'},


1700    PairI{-756100565, 'aba4bb977d'},


1701    PairI{-1224829917, 'a3a8fab77b'},


1702    PairI{219074728, 'a8a1bbe800'},


1703    PairI{-629824963, 'bdc4d6d37d'},


1704    PairI{-1876224949, 'cba8ac8179'},


1705    PairI{146401541, '85d2e7c500'},


1706    PairI{1710097269, 'f586b8af06'},


1707    PairI{156723024, 'd0ceddca00'},


1708    PairI{-1356302298, 'a6f0a1f97a'},


1709    PairI{-880130888, 'b889a9dc7c'},


1710    PairI{-1774888330, 'f6b4d5b179'},


1711    PairI{-1262972701, 'e3a1e2a57b'},


1712    PairI{-1502181668, 'dc8ddab37a'},


1713    PairI{1625170515, 'd3c4f88606'},


1714    PairI{1503705467, 'fbf282cd05'},


1715    PairI{-838720401, 'efc888f07c'},


1716    PairI{756645306, 'bafbe5e802'},


1717    PairI{988137529, 'b99097d703'},


1718    PairI{54185204, 'f499eb19'},


1719    PairI{1662854158, '8ec8f49806'},


1720    PairI{167643376, 'f091f8cf00'},


1721    PairI{1522174627, 'a395ead505'},


1722    PairI{1458536356, 'a4ffbdb705'},


1723    PairI{-716928155, 'e59692aa7d'},


1724    PairI{-568014405, 'bb9393f17d'},


1725    PairI{1253387367, 'e7d8d4d504'},


1726    PairI{746718307, 'e38888e402'},


1727    PairI{-1729295792, 'd094b4c779'},


1728    PairI{-1148490108, '84ddaddc7b'},


1729    PairI{-744194014, 'a280929d7d'},


1730    PairI{-1801863077, 'db80e7a479'},


1731    PairI{-1562827802, 'e6c7e4967a'},


1732    PairI{-818235523, 'fdeeeaf97c'},


1733    PairI{-2081080403, 'adf7d49f78'},


1734    PairI{801015649, 'e18efafd02'},


1735    PairI{451723339, 'cb80b3d701'},


1736    PairI{877076572, 'dcc09ca203'},


1737    PairI{164568219, '9bb9bcce00'},


1738    PairI{194751635, '93d9eedc00'},


1739    PairI{-1191777396, '8cd7dbc77b'},


1740    PairI{638074973, 'dd80a1b002'},


1741    PairI{1140825765, 'a5bdfe9f04'},


1742    PairI{719627570, 'b2ca92d702'},


1743    PairI{-108762683, 'c5d3914c'},


1744    PairI{1700298502, '86fee1aa06'},


1745    PairI{-354023403, '959098d77e'},


1746    PairI{-1662424457, 'f7d4a5e779'},


1747    PairI{-1779805230, 'd2a7a9af79'},


1748    PairI{312108312, '98cae99401'},


1749    PairI{-787077562, 'c6ccd8887d'},


1750    PairI{336286145, 'c1a3ada001'},


1751    PairI{565707053, 'ad82e08d02'},


1752    PairI{-613505955, 'ddc8badb7d'},


1753    PairI{-746574635, 'd5d9809c7d'},


1754    PairI{-324280602, 'e6bdafe57e'},


1755    PairI{-723379706, '86b488a77d'},


1756    PairI{-1540724929, 'bfcea9a17a'},


1757    PairI{1761092444, 'dcc6e0c706'},


1758    PairI{-1617846754, '9ebcc6fc79'},


1759    PairI{1961805726, '9e8fbba707'},


1760    PairI{-202528688, 'd0d0b69f7f'},


1761    PairI{1317018748, 'fcb880f404'},


1762    PairI{1637346847, '9fdcdf8c06'},


1763    PairI{-664005752, '88a7b0c37d'},


1764    PairI{549155369, 'a9e4ed8502'},


1765    PairI{915051381, 'f5a6aab403'},


1766    PairI{-882683495, '99a38ddb7c'},


1767    PairI{-98728904, 'b888f650'},


1768    PairI{-282781627, 'c5b094f97e'},


1769    PairI{619078172, '9cc499a702'},


1770    PairI{1389006397, 'bd9caa9605'},


1771    PairI{-1680472232, 'd88ed8de79'},


1772    PairI{-1472651910, 'fabae4c17a'},


1773    PairI{2018201191, 'e79cadc207'},


1774    PairI{-2115766272, '80f08f8f78'},


1775    PairI{1598896974, 'cef6b4fa05'},


1776    PairI{152484912, 'b0f8dac800'},


1777    PairI{-1552298105, '879fe79b7a'},


1778    PairI{76120615, 'a784a624'},


1779    PairI{-370571987, 'ad8aa6cf7e'},


1780    PairI{432698678, 'b6eaa9ce01'},


1781    PairI{-1832114620, 'c4ccb09679'},


1782    PairI{240746611, 'f380e6f200'},


1783    PairI{-1052806457, 'c7e5fd897c'},


1784    PairI{-1102673542, 'fa929af27b'},


1785    PairI{-1998164561, 'afdb99c778'},


1786    PairI{437455786, 'aa97ccd001'},


1787    PairI{637003915, '8bd1dfaf02'},


1788    PairI{-1060201049, 'a7bbba867c'},


1789    PairI{1317235197, 'fdd38df404'},


1790    PairI{509843088, '90ad8ef301'},


1791    PairI{-122140000, 'a095e145'},


1792    PairI{-261722993, '8fd999837f'},


1793    PairI{-2062501071, 'b1f6c2a878'},


1794    PairI{338630976, 'c0b2bca101'},


1795    PairI{67741227, 'abcca620'},


1796    PairI{1302523980, 'cce08bed04'},


1797    PairI{-1867480917, 'ab81c28579'},


1798    PairI{776700162, '8282aef202'},


1799    PairI{1907500476, 'bccbc88d07'},


1800    PairI{-1567520880, '908fc6947a'},


1801    PairI{387032757, 'b5cdc6b801'},


1802    PairI{-1117746188, 'f49782eb7b'},


1803    PairI{-1701024960, 'c0d6f1d479'},


1804    PairI{-2127550250, 'd6d1c08978'},


1805    PairI{1311105462, 'b6c397f104'},


1806    PairI{-341701040, 'd09c88dd7e'},


1807    PairI{2104989848, '98b1deeb07'},


1808    PairI{1590192706, 'c2d4a1f605'},


1809    PairI{-1946109476, 'dcf382e078'},


1810    PairI{1689481187, 'e3dfcda506'},


1811    PairI{-393498089, '97e4aec47e'},


1812    PairI{54452448, 'e0c1fb19'},


1813    PairI{-511003921, 'efe5aa8c7e'},


1814    PairI{1536793596, 'fcb7e6dc05'},


1815    PairI{1519963249, 'f198e3d405'},


1816    PairI{793517802, 'eabdb0fa02'},


1817    PairI{901069894, 'c6f8d4ad03'},


1818    PairI{-1526746287, 'd1e6fea77a'},


1819    PairI{398347666, '929bf9bd01'},


1820    PairI{694740715, 'ebcda3cb02'},


1821    PairI{-756372772, 'dcd5aa977d'},


1822    PairI{-1812464891, '85f6df9f79'},


1823    PairI{-867929629, 'e3e391e27c'},


1824    PairI{-1910851719, 'f9eeeaf078'},


1825    PairI{-1699416675, '9debd3d579'},


1826    PairI{-277891402, 'b6edbefb7e'},


1827    PairI{1131156210, 'f2a5b09b04'},


1828    PairI{1144313454, 'eeacd3a104'},


1829    PairI{-1624275774, 'c289bef979'},


1830    PairI{1663241193, 'e9978c9906'},


1831    PairI{1906660898, 'a2ac958d07'},


1832    PairI{-1503022886, 'dae1a6b37a'},


1833    PairI{-1608446160, 'b09e84817a'},


1834    PairI{-677366077, 'c3ed80bd7d'},


1835    PairI{-1370603172, 'dc82b9f27a'},


1836    PairI{1061928252, 'bcfaaefa03'},


1837    PairI{-1818041564, 'a4c68b9d79'},


1838    PairI{990901136, '90e7bfd803'},


1839    PairI{1737515212, 'ccc1c1bc06'},


1840    PairI{-927436188, 'e4e4e1c57c'},


1841    PairI{-1696813956, 'fcd8f2d679'},


1842    PairI{-1606116365, 'f3b792827a'},


1843    PairI{-2540322427720969431, 'a9a6ef85e1c6bddf5c'},


1844    PairI{3037843567655826805, 'f5ead2ea92d4a5942a'},


1845    PairI{6041003950471360021, '95dcced4e1a2fdead300'},


1846    PairI{8843802306698213837, 'cdf39bd4f6eadfddfa00'},


1847    PairI{-7224058460184500729, '87ccb0e0aea3bfdf9b7f'},


1848    PairI{-5276524690623660565, 'ebfbb1b6809881e3b67f'},


1849    PairI{7865586331763820127, 'df8ccdb785a38b94ed00'},


1850    PairI{7617806199745078829, 'adcccbbc8bccf8dbe900'},


1851    PairI{-9015451631251509835, 'b5dba6ec9dd0abf1827f'},


1852    PairI{5424495271496989819, 'fbf8f4fad8b6eba3cb00'},


1853    PairI{8268349867323678312, 'e8bce783d98cc5dff200'},


1854    PairI{-6296776333015610931, 'cd93928497e9d6cea87f'},


1855    PairI{7415482293595141532, '9cebbfdfb6bbc5f4e600'},


1856    PairI{-6166955670678844237, 'b399edfcdccfa4b5aa7f'},


1857    PairI{789471440916181149, '9de1ffe0fb82b1fa0a'},


1858    PairI{-7218513110023818091, '95e99ef4a592ace99b7f'},


1859    PairI{-3773749753308058581, 'abd8eb96ffd2bcd04b'},


1860    PairI{-2342405984312446314, '96e5bacaafc586bf5f'},


1861    PairI{7824309355749348443, 'dba8d291f7fce1caec00'},


1862    PairI{-4893379532346778144, 'e0bbb6badda7ce8bbc7f'},


1863    PairI{-2112449394162310082, 'bec8ddf7fdcec4d762'},


1864    PairI{3856595619634880935, 'a7c3a8f586a9d8c235'},


1865    PairI{9028981872620672023, '97a8fc87cfe5d8a6fd00'},


1866    PairI{2847422287175818170, 'bab79485beef84c227'},


1867    PairI{6355660132335479029, 'f5d1dfa7f7e6f599d800'},


1868    PairI{4455083374148249713, 'f1d0ebc698d7e8e93d'},


1869    PairI{-2535716587620118949, 'db9cd9beace6d4e75c'},


1870    PairI{7205322524829226382, '8eabc48493d59cffe300'},


1871    PairI{8448831201312377775, 'af97d8cbebe691a0f500'},


1872    PairI{8850640218143925141, '95c784eaabccf2e9fa00'},


1873    PairI{5982527046032636480, 'c0f4c4efec948d83d300'},


1874    PairI{8208923558131629487, 'affb95f6bb8ffdf5f100'},


1875    PairI{-4484711469774604056, 'e8f1db9fded5c6e141'},


1876    PairI{-5979470863740975152, 'd08fafafe1dda982ad7f'},


1877    PairI{8565431986913687688, '88f188feaae0a1eff600'},


1878    PairI{-3493896362524734461, '8398bcedd0f8cbc14f'},


1879    PairI{273922687615936246, 'f6cd92dabae7cae603'},


1880    PairI{-2978756232555591187, 'ed93acb0d19fd5d456'},


1881    PairI{-3446394694547916167, 'f9f4b8dd8fc9fc9550'},


1882    PairI{6387328730631759352, 'f8cbcfa7b9b496d2d800'},


1883    PairI{-62821989041134405, 'bbc9fad8bdf7b3907f'},


1884    PairI{-5722955693957385186, '9ee8fbe2e2c3fec9b07f'},


1885    PairI{-3992189355246770035, '8dd1aea3ed9db9cc48'},


1886    PairI{-7429215717708838129, '8f96ddd1a9f587f3987f'},


1887    PairI{1684447867088912431, 'af80ffc3918d97b017'},


1888    PairI{4419048529340123694, 'ae949fe496a7e7a93d'},


1889    PairI{2599353785506738716, '9ce4c8b5efcfb08924'},


1890    PairI{-3960425873444320581, 'bb95d7f0ebb4ef8449'},


1891    PairI{5656138666606963108, 'a4d3d6bbe584a9bfce00'},


1892    PairI{3944792956832413902, 'cef1d5c3b389aedf36'},


1893    PairI{7464470122701447342, 'aec18ba1f380c8cbe700'},


1894    PairI{2052987474778287514, '9adbf1d3b2a7ebbe1c'},


1895    PairI{2423010991394925670, 'e6d8d8a78bf590d021'},


1896    PairI{2238228741409014760, 'e887848ee8a5f2871f'},


1897    PairI{-6211278320953137430, 'eacd83f4e9e8c6e6a97f'},


1898    PairI{-2750458018244304965, 'bbbfb1a794a09aea59'},


1899    PairI{-5635936467873333755, '85fcf5bdc9b4c8e4b17f'},


1900    PairI{-8483754184008751867, '85cab2e3cbd0e9a18a7f'},


1901    PairI{-3709363437631825438, 'e2b388a9b4b3ecc24c'},


1902    PairI{5110716740488584708, '84bcdbc3c3b9baf6c600'},


1903    PairI{-3349882385064699251, '8db585f781f7b4c151'},


1904    PairI{5637155912369669356, 'ec89a6a2f7edcc9dce00'},


1905    PairI{-3426262981006668988, 'c4969bf08cffddb950'},


1906    PairI{8785404403908288579, 'c3c0ecf8a1d881f6f900'},


1907    PairI{-3538458889709326407, 'b9dfb5d4b2ccb7f24e'},


1908    PairI{8923616810142251375, 'eff2ee81dac6c3ebfb00'},


1909    PairI{9159289276857505834, 'aab08bf19ba2958eff00'},


1910    PairI{-5778280777440391568, 'f09cca81f687dbe7af7f'},


1911    PairI{-5377759596865526605, 'b3c987abba8497afb57f'},


1912    PairI{-4089601000917788115, 'adb4dad9eab1b49f47'},


1913    PairI{-2507055343404571362, '9eca80c1abcec99a5d'},


1914    PairI{-569993810965739236, '9c92dde9e1b4be8b78'},


1915    PairI{1331218022305811852, '8c9b8bd1cff7dbbc12'},


1916    PairI{-5779439755263686250, '9693f3959dc5d3e5af7f'},


1917    PairI{1845000590005876091, 'fbeabecdaec8b0cd19'},


1918    PairI{2385151848139604305, 'd182e99d80dff08c21'},


1919    PairI{2787605036686649034, 'cacdb08eaf80e4d726'},


1920    PairI{-7276726830436499218, 'ee819d8286f0f7819b7f'},


1921    PairI{-2543542719845913221, 'fbdab684f6abe1d95c'},


1922    PairI{-6374141538702420700, 'a4aad2ecac81a0c5a77f'},


1923    PairI{2617408687338066000, 'd0a0ba86d6eab9a924'},


1924    PairI{2654386888249066281, 'a986a994fbd991eb24'},


1925    PairI{2921997595792207886, '8ee0f5ddcfaac1c628'},


1926    PairI{4145633508785338927, 'aff4eca0e3f68fc439'},


1927    PairI{7032181223721684836, 'e49ee9e089f2d4cbe100'},


1928    PairI{8300371820353604781, 'ad99dbfe9786b698f300'},


1929    PairI{7858694681180540595, 'b39d92b0cea5ec87ed00'},


1930    PairI{-5622710758104924047, 'f1808ee3b1cb87fcb17f'},


1931    PairI{-7701038245294958103, 'e9b3fcdbc8d09a90957f'},


1932    PairI{1163598511564577811, '93b8ebb7e6d5fb9210'},


1933    PairI{-171536181428024305, '8f98ecbe8798a5cf7d'},


1934    PairI{3579447585051565989, 'a5bf83b9d293b0d631'},


1935    PairI{7867379394904051495, 'a79eef9386fca297ed00'},


1936    PairI{536630527899226143, '9fa0c1b8f3d39fb907'},


1937    PairI{3508229690431827270, 'c6daabc58e8aefd730'},


1938    PairI{5096346593941490257, 'd1949e819c87f7dcc600'},


1939    PairI{2922611585456332576, 'a0bec3bc89f8ccc728'},


1940    PairI{-6554927559093407642, 'e6e0c6fed4838e84a57f'},


1941    PairI{8629983544958868022, 'b6b4f5f5f789f7e1f700'},


1942    PairI{-5787331914243643991, 'a9cbe7f19589d1d7af7f'},


1943    PairI{-3998247270963412067, '9d87b4d0a6e9d7c148'},


1944    PairI{-5409157020114747574, 'cafeff8d968bb4f7b47f'},


1945    PairI{1415057224764416882, 'f2c6bb97c7e1d2d113'},


1946    PairI{-4844991702395721618, 'eed0f3f7f6b6c8e1bc7f'},


1947    PairI{-1443846670923883028, 'ecbbceaba4a39bfb6b'},


1948    PairI{1850424091051842564, '84b8e1b782dd81d719'},


1949    PairI{2481936201139769293, 'cd9ff9c0b3fae6b822'},


1950    PairI{-7169700919810018527, 'a1e6bac780e086c09c7f'},


1951    PairI{9040127731630765776, 'd0ed89c0e788bfbafd00'},


1952    PairI{-7272820501303806738, 'eee9ee849889f0889b7f'},


1953    PairI{8668207299393572773, 'a59fb5becd93eaa5f800'},


1954    PairI{3582844041345008027, '9b83fa8fc4b5b4dc31'},


1955    PairI{5861396459144691389, 'bdfdb4d8e4a0f7abd100'},


1956    PairI{2771609536681578438, 'c69ff68f8686afbb26'},


1957    PairI{3591864919434541601, 'a1f4d4e0d1c3b7ec31'},


1958    PairI{-4531935102467665968, 'd09faac291a1d58d41'},


1959    PairI{-5080028964182223657, 'd7a9e4e9a79287c0b97f'},


1960    PairI{-3551864614040605682, '8ed8d1eebbbecfda4e'},


1961    PairI{-4591896550820938510, 'f2f9e7d7a7cd93a340'},


1962    PairI{-922574221217393149, '83ac9e8ba4f4969973'},


1963    PairI{300937269882522802, 'b29998f8a39bc99604'},


1964    PairI{7872131855186111995, 'fbdb9eabecc6db9fed00'},


1965    PairI{-1324900659139526206, 'c283bb8aecbbc0ce6d'},


1966    PairI{6638965462576089153, 'c190bdc79dfd9591dc00'},


1967    PairI{2174700203147877119, 'ffb5e5ec80ca85971e'},


1968    PairI{752843520619383432, '8895e4cf97e6a8b90a'},


1969    PairI{-3510807628900196704, 'a0bdb0a580e2c6a34f'},


1970    PairI{-6442875855316439363, 'bdddb0ffb9d193cba67f'},


1971    PairI{-1802299514279593542, 'baf385c4c0c4bcfe66'},


1972    PairI{8153330444982341041, 'b19bb3ecf6da9c93f100'},


1973    PairI{1633954117999019776, '808ef9f4cf93bed616'},


1974    PairI{-4323123947915954171, '85f0f0e3c9b5cb8044'},


1975    PairI{8446794406616112204, 'ccb8f088a8d8c29cf500'},


1976    PairI{-8842841274936780126, 'a2b5ecd1e3d6faa3857f'},


1977    PairI{7162922528771624224, 'a09acd88ed82f4b3e300'},


1978    PairI{7256629043231079705, '99fac8a4aeb5aedae400'},


1979    PairI{9097620239540597421, 'ade5e2b981adcfa0fe00'},


1980    PairI{-7280002181293982082, 'fefc9c9fe5928ffc9a7f'},


1981    PairI{-6190903940917779093, 'ebca9e98aab5df8aaa7f'},


1982    PairI{-3001491593507913480, 'f8818fe5c5e9a3ac56'},


1983    PairI{-8556157385587939139, 'bdd1c8ad8b869ba1897f'},


1984    PairI{5960960492615612805, '85f3f6d3c4bfe5dcd200'},


1985    PairI{-3896772997752851503, 'd1e7ed94acb3f8f549'},


1986    PairI{7357901855678698491, 'fba7aaff8f98a18ee600'},


1987    PairI{7539467086860256510, 'fe89b8a0eaabe4d0e800'},


1988    PairI{-1788025794814968433, '8ffbc596b580ea9767'},


1989    PairI{792640191116149912, '9889b491dec181800b'},


1990    PairI{5251537772479181262, 'cee3abe9fbb8cdf0c800'},


1991    PairI{8169316313223349691, 'bb8beddbf6bccfaff100'},


1992    PairI{-2893347837054065560, 'e8c8fdc58cefb0ec57'},


1993    PairI{-5678952082115941293, 'd3d88e88b7e59398b17f'},


1994    PairI{1617000314023815493, 'c5d2d6b8fea6afb816'},


1995    PairI{4953286460025105580, 'acd9b184abf9e6dec400'},


1996    PairI{2686683925822690212, 'a4a7a7f3bb99c1a425'},


1997    PairI{3281306703837989327, 'cf93fc8afee1e2c42d'},


1998    PairI{2528043057117208223, '9fbdf4e2c2b8da8a23'},


1999    PairI{-6848037735711187469, 'f3bbdbd3e3beb8fba07f'},


2000    PairI{5872561561198404427, 'cbc6e08683f4e1bfd100'},


2001    PairI{2889241843213539345, '91b0c0b7e0c4a98c28'},


2002    PairI{6394692322857845157, 'a583f0fe97d9a0dfd800'},


2003    PairI{7767893289178425805, 'cdd3fbd4a5b9c6e6eb00'},


2004    PairI{-8107645367689656885, 'cb8b91b0e8eff6bd8f7f'},


2005    PairI{-3194600936394437380, 'fc99d198fceb9fd553'},


2006    PairI{-4532775902251836953, 'e7b3d09ed28a968c41'},


2007    PairI{-7271078635291017708, '94fcafcc9490fc8b9b7f'},


2008    PairI{4901557005331034230, 'f6e0d5a88784f582c400'},


2009    PairI{-5432329272797841740, 'b4edb6ffeda99fceb47f'},


2010    PairI{1811240089168032013, '8de2baaebca8b49119'},


2011    PairI{3648434166598593390, 'eed687b4b5f1f5d032'},


2012    PairI{-5935045008163866456, 'a8f1bf93aa809fd1ad7f'},


2013    PairI{-5275542185978577043, 'edfea2b9d3cae0e4b67f'},


2014    PairI{821061612412789019, '9bc2cb94fbe5bfb20b'},


2015    PairI{-1531343856302388803, 'bd93fac084dce4df6a'},


2016    PairI{6203547570860777324, 'ecbe93e3ddb4db8bd600'},


2017    PairI{6425964547531840549, 'a5b88e97db96e796d900'},


2018    PairI{4191926494068517598, 'ded5829cfcddad963a'},


2019    PairI{-5552306137205707020, 'f4dd87fdc4df8ff9b27f'},


2020    PairI{-1633568702721236735, '81c2ebf0b7bd99aa69'},


2021    PairI{2031976714474610935, 'f7c1ff90e581c2991c'},


2022    PairI{5822603727664217699, 'e3fca9badae782e7d000'},


2023    PairI{-3830059077683584617, '97c3a3affbb1b9ec4a'},


2024    PairI{-6573916454518439344, 'd084d58a89bab0e2a47f'},


2025    PairI{-2553681548773257126, 'daa09aff9485e0c75c'},


2026    PairI{-6206032071712417024, '80b699a7e3d6efefa97f'},


2027    PairI{3600247828980990210, '8282a2aeb5caa9fb31'},


2028    PairI{1567284526904680904, 'c8c3fa80939f87e015'},


2029    PairI{-3172377041564524708, 'dcbec4ffb7fcdcfc53'},


2030    PairI{-8845873988257394623, 'c1a0b3909a8fc99e857f'},


2031    PairI{6571515130884375421, 'fd86dfa39bc6ad99db00'},


2032    PairI{-2015802339231676599, 'c98ec785bece9b8364'},


2033    PairI{-8485791988481748275, 'cda5c2c5d6a49a9e8a7f'},


2034    PairI{6078236340301084731, 'bbf090a4f6f78eadd400'},


2035    PairI{-6147525758390505168, 'b0e2c7dcccbce6d7aa7f'},


2036    PairI{-827603766902525297, '8fe5ff97a4d8f0c174'},


2037    PairI{5696576265281547238, 'e6d79cc0e7bd9387cf00'},


2038    PairI{4556141255674613490, 'f29df397d2caaa9d3f'},


2039    PairI{-232927486339319927, '89efc7f2f6b59ee27c'},


2040    PairI{4199347535970806966, 'b6d9cecfdb8ac5a33a'},


2041    PairI{6485808696913935799, 'b7fbc6a5d8948e81da00'},


2042    PairI{-1991599610167483452, 'c4c7a4e9cdd69aae64'},


2043    PairI{762388058533688319, 'ffe7998fe6fca2ca0a'},


2044    PairI{6473112946808070161, '91c0e8cbddbdc7ead900'},


2045    PairI{2681377212024914560, '8085cabce2cb8a9b25'},


2046    PairI{7238057873582600864, 'a0e5f09498e9afb9e400'},


2047    PairI{851217854692026439, 'c7d08dfb8fc488e80b'},


2048    PairI{-6493158617924639365, 'fbcad7a2bad4eaf1a57f'},


2049    PairI{-2672965747832870286, 'f2d48abd87faedf35a'},


2050    PairI{-7478508143247252325, '9bc986fff68ec09b987f'},


2051    PairI{3776760975322363109, 'e5e996fd8c83f0b434'},


2052    PairI{8920698040007351562, '8abaa5f9a7f3abe6fb00'},


2053    PairI{77897111127919137, 'a194bcaea8e0af8a01'},


2054    PairI{3644048037985052406, 'f6cdbb84a3cc90c932'},


2055    PairI{-4291837239673002165, 'cbcefdbbd09895b844'},


2056    PairI{1431719763524378113, '81bc9b96a1b19fef13'},


2057    PairI{-3480526772758105880, 'e8e190f4f3eaabd94f'},


2058    PairI{-6779538613528389993, '97ade2fcceb18ff5a17f'},


2059    PairI{3328552264639739130, 'fae9b1b1e394d9982e'},


2060    PairI{-3182545557078683548, 'e4a0cfe6d7f5d4ea53'},


2061    PairI{2954022553703925616, 'f08e8fe0c8fbb2ff28'},


2062    PairI{-2504855703159012186, 'a689e2fca5e0bd9e5d'},


2063    PairI{6933097952413144173, 'eda8cbb4acfbd39be000'},


2064    PairI{-8522800211221181049, '879ba6b4d1cbbbdc897f'},


2065    PairI{1315442208010158808, 'd88581d8fff6d8a012'},


2066    PairI{4103161484643623377, 'd1c3fde197f4d6f838'},


2067    PairI{-1563953070423669007, 'f18d90c0ff9eeea56a'},


2068    PairI{-4594607936156968693, '8bb2b199ce8dab9e40'},


2069    PairI{262231303773617553, '91fba7f3b3bfe8d103'},


2070    PairI{5995002221617381565, 'bd81bab99fd8a199d300'},


2071    PairI{-3920918428027768861, 'e3dffc80ebae86cb49'},


2072    PairI{-466253085031555368, 'd8bd8edaa1a9e2c379'},


2073    PairI{5045167886354394053, 'c5d7f292e5ae8282c600'},


2074    PairI{7600297399029821247, 'bfdefd83f6c6ebbce900'},


2075    PairI{4132753277204215288, 'f8ebdac0d9a69fad39'},


2076    PairI{-7496317180987688968, 'f8efc8bcdbe7eefb977f'},


2077    PairI{-5956359947341419360, 'a0d9e682fac5b0abad7f'},


2078    PairI{-7322751059733054785, 'bff5fb8fd79697b09a7f'},


2079    PairI{-4234243536084555642, '86d1bed981bebc9e45'},


2080    PairI{-2791206811152809932, 'b480d8b49986e9a159'},


2081    PairI{-973503881282136363, 'd5addbc58becdabe72'},


2082    PairI{-7897285947534482093, 'd3ca97bcdb88cdb3927f'},


2083    PairI{-5293955917046730683, 'c5e0e8dec5e485c4b67f'},


2084    PairI{8714610830351436396, 'ec94fa968d8ca1f8f800'},


2085    PairI{-573796989413515899, '85bbc686dad5dd8478'},


2086    PairI{3623670621805681668, '84b8fc9db4a7f7a432'},


2087    PairI{6890775738228699463, 'c7e281c0e680bdd0df00'},


2088    PairI{6914526363952000407, '97dbba8bfea2d5fadf00'},


2089    PairI{-8276697308179582507, 'd5e398c4e6f4d0918d7f'},


2090    PairI{-4589574099668352347, 'a585bdb7c4d5a3a740'},


2091    PairI{3741708248961789441, '81dc90c4bffacdf633'},


2092    PairI{1990638717472956861, 'bdc3f5f8ddeb8ad01b'},


2093    PairI{-2085412304362508580, 'dcddf9a1ee91c88763'},


2094    PairI{1532600219281232624, 'f0a5c6a7f8f8b8a215'},


2095    PairI{-7621567507177824854, 'aabb86b8ba97b09d967f'},


2096    PairI{-3395109590119605005, 'f3b998db8dba89f150'},


2097    PairI{-7772703118602814481, 'eff7eeb89ff6f390947f'},


2098    PairI{-4518171459184852569, 'a783eaa7f0df8ea641'},


2099]


2100