{"format_version":1,"generation":3,"node_count":436,"edge_count":380,"quant":{"steps":65535,"min":[-156.35,-167.44,-124.12],"max":[148.32,154.9,160.19]},"nodes":{"id":["aeaepadm","af4mw8tz","af7pe7tn","awn6qyg0","nqpeszba","ctvbtad9","cwk59mce","cz0x6vg9","d47xb8tk","dk8zws93","e4vd14ac","e5w3s77e","ecfbvsjv","ekfgwpwk","eyv71emn","f0r6enva","fbhg0ac0","fch5x7j9","fn8hw0ss","fr9scdds","g158js2m","g2ed7mby","gs6x5xfk","gvc8es27","h58dkxbd","j07nww5p","k0fexfht","kjc75qws","m58fkv6m","qxsh10n8","n4bcmtjq","n7946tf7","netrzp38","nj497mbx","nwrgv5xa","pk440hee","pzrnw9s4","qwdftt8h","r4ym77p8","s1pn7tek","s6pmj588","sm0f6jfb","tcndbavk","thfem6yy","tyntmm74","vbc73tfg","vbfhz48v","vp2aykve","vyv5aqbe","vzhpn66r","wb9wvr5k","x6bm6cmk","x9ryx4yx","xekna7zs","y0784dvn","yatpb4s2","yj0ctkds","hb9a4ffv","abmadp3b","hcm3epne","mrq3xxxt","k4n34b1n","f7v5aee7","fkzf0f5x","ga6cr1vc","wehh2h7q","kjyxgypr","xn61tbge","xny2gp74","nn1vmy64","x4ag4wxg","zc8rzx6y","yhgen6sy","kvd38n5m","xh105m6v","ghpj04vp","a4qctr85","a5scvvsz","h38tpbp5","a6x0cmef","a7t0c2pp","a7whj2fe","b2nzzfm9","a9qwc1zw","abpk2awb","ac0ebrdk","n1ezmxmz","aff6chtk","afysfs2z","gc7tef3d","akk7e489","pqepd5p9","asptc7tx","ej88ftah","q6e7tsbw","mbkeqjm1","axkmaxey","ay99g6ea","ayz6k9v1","az207myp","azge1kbz","g4byes8x","bx8s2rxv","b45yh4jy","b91dnfh1","cfnxt42f","ba2rsh6w","ba5wgg8n","bc6d28ff","bcddhemx","bdf7c59j","n8aaa8e2","xb21b7ha","bg1f92g4","n55h0b6a","hnv4gfth","bjby8jhr","bkx4nmnf","bmk8xeh2","bp78p8kg","bpf60qd1","pqw00taq","h48dqmbq","btq5655r","bw6dyesm","bxa08jnx","vkeqxbaz","rsqcssxv","by65pgap","gn0072qn","c027b0nr","q5mvq89k","c0v7z6g9","c2mpejmg","c2q849sr","c3svk7cf","pwd4fxp9","c5wc637e","pd850hx0","c6bcnqex","s0ahxy30","p60qfhcf","cdx8dkc7","rsh63qrw","yb8m4mmh","yj08e7m5","ck80zjpf","g1q2ssnb","epxznat3","m7g1k36y","jadx60zc","cq7tfyxh","w29dm39s","crbg5b8z","crjgwygt","cvnpwgwb","t2xtdh9k","tbav4w9p","djz7wp7h","cy8r2aw0","cyqf6gf2","tpctgqz3","xvevxh01","j1fwg9jw","d26sh53s","rec7tenk","d2r7bt0w","d2tf4k03","d2x0fc7s","k5wq69f0","vnnce42m","zv91n649","d6r9d2ey","d8qz6jfj","davw7g9n","db7qy3fv","zexvr5bm","dh4y7vbz","p5gf81b7","dkwjdp1f","dmfkn5za","dmtg4hpf","dq2vr0pn","dqr67gwb","zz8r1h4q","draybyxf","dsh05djd","enhcp7m8","gx31y4ba","dw82g50e","dx23wk7w","phgh7nch","e1x5spad","e33ksa9k","e4xkgtrq","e4zk8eh2","w186e40y","x1g73e5p","ec23j5s5","yrdx0yxv","sen1pjh2","ehhe4fgm","j0v7xw7d","m683ghs5","emn0d4pn","enrdxqrx","ep9jgb81","x064wzmj","hfynjnvh","eqb0jcvm","hxye48x0","y3pq66k9","erpf8ems","etghsgcq","evpwzdrv","k3cdpwca","yc34ebs2","ex8026vn","h45a62dn","ezd3mps9","ezsdjxvg","me0bbhak","taemyemn","f5xdr4z1","xxgtm5cz","f7bafx5h","r6n9m5d3","fa4j2cjq","fbjd66zc","qy67w8en","fdgps5gy","fh3bt1yx","fhcm65k7","fhyt9ns4","fkbzkmtb","qnxtsjza","fs8fr6p0","fsyqjw18","ftvh21jj","fwyekc0z","vhm234nr","g1kq3k4r","g1rn85et","m1gy87h7","g57btnv9","m375hr8c","gcbxd32w","gcc7pw3e","gfn4ybx4","gh43zkz2","ghgk9hbf","gkvgfh7e","xr2b612j","gvmh8rg6","rwn623fg","gwsct7dm","yfzq7qb1","gz55zdtf","h0jffr82","x16cetpq","ryxxsyzv","r1hwrcj0","xdxd2608","tv8zpyjh","xedv5g1b","yp93xrrg","s03affpg","hjhq6jm0","hned8wr4","hqsqdcbe","hqy626a5","hrdbmt6w","hrj202mh","mprbv43p","nkgz0wqm","nrgdfjza","hwzrxpfa","hyfgrdtm","j0v3c024","j24j3p8t","j35056g4","j4qrtwq1","j3xd9yb0","j4dg7p67","j5pv05r6","ts7b2jrz","j81ydpp6","j8dten11","j9arr979","rq9n425p","wattqkwb","ry8csea6","jc2azm5w","jcckjcc9","n25tm13h","jfbsph0d","jg804ygz","jhgbjbs8","jk6wvk1h","rtw6c92f","jmg78nw2","jp9caqm2","jrqq6kwv","jse89pdx","tqrc0pnp","jw6bkg7k","jz5h9k0q","k0n30xxj","t1jehvr4","z36t8zh1","y4r1rfq8","pz9cf0z6","kb5gnpkb","kdjbhbqy","kdm7fg2g","tvz77dj3","mpgmd1qg","y9fg240k","kjd4ebp7","q34jwgwn","krvjtd0v","zww15pa0","kx0sjme2","s757d3w2","yxb2np8t","m1j2ba05","m44h5zv9","m4f22y86","yzga8yc9","vz9aafbn","m8jm154a","m9btaz1k","makjq05e","manq7e95","t3t9gczm","tg360b5h","ztz9edqg","mmzhagaw","mpqamp89","mqgdx63v","mtjd8xg4","mxzjmhg5","mzsqweg3","qk4sj0fk","n1x7yfty","tp9vqpme","nb5thwjt","njm0gz83","nk6c591w","nk7509y4","xgwk73tw","nqday08y","nt6f4vya","pfajr4p8","qzyczkj6","z10p8eb8","p57v1ser","p5pbpe31","p60jtgym","p8awsa4v","qrdrhsd9","wyd65rww","pamke0cn","tfeth79k","pbh09x75","phfaj2pa","z7qm7we2","pvc20kjh","pxrhr2nn","py2py7yr","q1j7g4fb","q1xke1a7","q34yr8td","q3b030sx","q3er3end","x3rw2b73","qzpqyhth","qcx417kk","vjdjkf41","qftfyhs3","rk72n2ja","qmhx9j6m","rfqzd9kp","qwxazee0","sdd8rtxn","v0hhbtpg","r23578dc","wyrd4x2m","r65r4c3j","r7skex5j","r8377r20","rwpncgqx","xaka55qt","vz5mrqmq","rpzw4agz","rqgc535n","vm8y6e3m","s0b11w32","sbw24gsz","sf70x4jb","sffbfdjz","smpgxsjc","smzttks5","z3qccv9b","synbz79m","wccm09p1","t6kfnmcv","ta6fbvt3","znm9m360","tjvybcme","tqfzkmyc","tzpfjwr5","yyj7vpy1","v3x02sj2","xfstm71p","xza3vx4v","vbas0777","vmcpjvvq","vk9250am","vryw3gdt","w277mpst","xsfsragb","zywhyx5v","wcxvcrsj","whrx9b4f","zn7y09rr","zcs2whrx","x3dpnp62","xnqex479","xr1zwy2x","yymn1hq4","y35whf42","yjq2th6c","ysgrm7hr","zh6vg2jj","z70vtk98"],"x":[29855,37009,13614,25270,26103,23007,32778,29301,22483,21674,31212,31491,21779,27689,33162,21922,28382,23163,35755,24330,22898,26047,26573,35734,21475,31133,13868,23780,30261,29112,35020,27048,31426,25824,26286,29950,13793,20401,24165,33129,22731,23140,20397,21933,27672,21321,29640,29652,28720,35481,27352,36202,23607,31438,22971,29597,22871,32452,37445,40150,25064,33970,30855,34570,33199,25373,32572,36790,33180,31992,40044,39316,34331,53747,22875,35179,22404,36705,44711,31956,42335,16119,28779,40690,40972,40613,43021,56576,51470,31463,41885,40820,57407,57043,36472,24095,18666,43374,35747,49972,41036,50523,40947,46707,50898,45857,48025,49167,32830,54133,41924,46571,9657,22386,21573,34993,39937,24848,22035,30733,20890,40615,49146,35144,44306,28235,47489,26621,17411,20073,50308,52237,56276,41525,41244,30892,55384,48060,25607,53595,41285,57502,36499,24303,35131,46563,37040,17910,31285,44587,41964,55682,32040,40858,38924,18586,18538,25187,49028,32407,46028,39256,12715,47816,41965,40545,32473,31601,23034,17883,21854,38794,44342,48485,39711,34645,33669,23184,26113,36999,19510,31879,57456,56772,61339,20582,19981,28371,4733,47663,57489,22610,8236,56699,28523,28236,58001,29047,30235,52809,39992,49366,30958,36044,44341,32627,56947,51920,20923,33814,36879,39334,44370,27703,55146,25534,48768,30151,18785,21886,21021,59122,47904,40573,28071,38643,54628,35505,23278,26383,36796,51155,54827,54249,27496,8526,50099,50281,56919,19859,51405,44665,59563,30653,32130,57692,49329,42713,53735,58098,35634,57916,40150,39899,60161,45077,31285,18775,17604,34109,34024,38370,50679,13986,15711,18906,25213,58457,33234,24551,49108,56042,12926,33953,28447,20550,39683,58998,46766,46159,42568,17546,26624,20706,60031,61487,60396,45008,28626,49659,36079,59123,55044,4136,28337,44942,30453,56335,15824,16082,41891,1460,9028,44962,18459,36075,7254,54296,64265,28369,47787,58593,44762,34237,44563,29889,27708,54649,21962,22190,17005,28380,33494,18766,19856,49551,30628,29184,10821,18509,41317,10717,56050,56276,16757,31695,14626,59663,18770,10250,29382,21603,35350,18608,62832,57908,29826,19540,21621,62479,47661,47306,63670,11395,49362,51382,19198,38545,6716,20061,9706,15122,42749,48357,34496,41599,23682,21083,12685,7720,42848,46214,42805,19666,15019,55019,61109,51578,27234,31455,48772,24240,39739,37209,28719,43384,46711,19457,55123,45619,5188,60808,26654,1,56128,48221,35063,26589,60953,57870,32382,43111,3664,51926,4778,32484,9550,57637,57828,63872,44739,41619,20929,34184,9939,20600,47995,34162,17796,65534,40664,20826,34684,36298,5829,29535,52560,38259,16293,54993,17570,15769,39903,60200,61283,37366],"y":[31551,35921,32156,31749,31878,33173,23821,29679,41613,35901,38659,25384,37004,21036,37355,23190,36234,25083,32455,41966,37434,35483,31253,28621,31856,32323,30788,33812,33983,33610,36986,25725,28681,41096,24706,25617,33252,24717,35245,23107,24537,26079,33263,30229,24326,29261,37398,39791,30830,29744,24973,26611,22423,26032,39825,21798,37257,40423,39769,29913,39784,26630,40879,28016,28599,34638,27215,40790,42896,40955,28446,28705,42289,28976,50422,53050,39258,22135,26775,30748,39112,27462,23676,26322,37040,33427,35406,41070,23405,17288,55693,25111,34016,34286,45207,37339,40612,41451,42900,46161,44485,23420,57981,43483,44471,22567,21240,23851,16535,40852,37339,40333,29973,22411,20597,58627,39032,46912,46416,23140,18956,40281,44868,23042,23245,47781,48805,20328,43173,39193,14490,13663,31622,32617,27201,30130,37494,25378,44877,36930,33736,36536,19812,21239,40023,40666,38506,33289,46384,43690,35680,25567,15777,26121,42743,36314,38853,19944,46219,44714,30533,39026,33453,44350,21019,32462,42303,20917,23865,21954,44422,41152,45338,47555,59263,21418,13712,19005,46175,46193,53186,28037,27931,28626,33867,20830,21922,10694,29701,36303,49288,35996,33908,21141,39619,15660,29663,38599,47130,50719,10137,36033,19180,18435,8704,9636,34207,45434,30527,22247,19289,10636,57542,28632,47810,45372,52676,58735,42097,17119,18398,33042,25233,33626,20938,11272,49382,41268,32658,30605,38224,51082,18537,18497,49135,32873,34383,44053,21202,54768,15379,42486,36297,31679,42643,49372,13354,14681,21829,38106,60798,39499,8847,14760,37717,59816,60488,31506,39191,38787,45398,16659,24821,52491,26391,30737,50972,51801,58221,20814,34055,52617,53946,4345,46115,16874,60920,16872,25266,22299,61980,32475,20713,22742,20101,20313,27422,6677,28923,23028,58650,42560,10735,34120,5435,58024,44811,15796,58014,45255,60898,38493,36012,57373,28918,57835,35732,12370,31339,50015,46992,25465,60324,45090,20441,29433,62175,48081,17121,47333,40985,31210,49413,40985,20121,25669,63219,29593,30657,46657,37000,48871,50297,44953,30167,11814,33826,48815,35448,32917,30143,36894,18066,29482,37058,23013,15074,47274,37818,52007,61251,25372,37325,51207,6003,34606,55548,808,31398,22991,57113,10625,64494,61460,64661,62055,45517,47030,26287,27682,32416,47133,59681,34714,19719,10864,15470,10914,64036,2760,61419,4247,23838,63044,45826,1386,48191,7727,9157,54490,30456,42160,14698,34796,9595,58485,65535,18431,35055,51330,13420,39536,36014,11661,29606,21416,31118,45089,30011,35486,18015,41974,37672,63027,32093,53656,61871,2,45508,18562,37764,34905,43534,62474,35964,44480,9544,60389,37311,11357,17343,40390,22895,50856,20991,62064],"z":[22485,10504,20481,27875,33756,28095,21340,9203,19300,28516,21487,11144,17709,16823,20736,23110,11631,26803,19841,15212,20936,25349,18876,19179,12285,19829,20736,10713,19692,22106,12462,24842,29681,12795,23951,21441,19408,24032,11763,14894,14229,11729,28965,12074,17092,25979,25230,13942,6854,24576,12498,12293,20288,19260,23726,21597,16315,18555,22832,27213,27313,33819,29342,34053,34901,29858,34732,22319,23848,28624,26867,28286,23695,20214,45196,38067,19313,24653,48694,48239,38621,47060,29912,13876,40721,21685,39349,18101,29900,24186,37337,11207,33820,35308,45707,54434,46641,45186,47615,24589,44800,33418,27740,40590,28063,40409,35260,37105,47627,19710,8445,7655,25542,31953,13546,29327,9164,15848,20921,18742,26408,47348,33728,8979,51896,43639,23323,28062,48163,32837,36791,34077,35216,18994,18611,51753,36615,40118,13545,23747,52326,33293,22971,47492,49033,42950,49000,34062,45290,42834,10441,20497,46602,19338,47107,48966,47592,46829,30491,46768,53304,8277,22824,37611,42277,52551,48316,23658,8235,28209,26609,9818,52438,27205,40047,19210,47585,48905,10404,53220,40668,4166,18220,36306,30330,30936,26277,41470,31181,53363,33110,7552,24664,30686,6755,16023,16664,6131,52450,20829,38342,52120,19535,13431,27603,39568,12022,44014,29999,7077,12664,40015,41499,56215,21073,9343,16432,19640,21586,20714,48470,35720,50091,56428,8784,41663,24547,55913,55481,55948,7963,17518,26080,21633,50331,22964,51487,47096,26804,37761,22807,4653,36147,1733,55377,31341,42211,44220,41145,39122,34063,17516,33193,46079,33236,32764,35543,55676,32174,57019,53959,48797,53710,45687,29462,8327,55347,21150,42289,23760,54381,16351,41610,36624,59179,19063,35015,21186,56992,55078,32786,7009,7484,9888,38841,21866,16500,27377,3439,53662,43604,16632,28192,26115,39669,11718,9504,15762,36792,50643,36663,24079,16591,35155,6655,39441,20180,19407,17790,56847,54845,18827,39060,60280,54908,3368,14897,48063,51460,12552,14749,353,57852,12087,10804,55849,36006,55940,18404,18233,5258,46062,12557,48403,56767,51343,33165,17412,34544,19597,300,57751,11169,57626,35181,9398,21461,17943,5898,33103,41606,53517,38962,52170,14200,57935,50523,35781,18241,5971,41119,48705,26967,39901,40007,29939,7166,10998,50382,19498,55601,56240,43173,55140,24739,32792,14906,42906,13930,44157,31958,44644,6134,41558,64387,24041,58904,48101,15747,95,27068,16074,13763,28249,30201,6893,29163,13981,33988,7896,49567,5443,22408,39867,51661,4849,19386,54236,1,36206,57419,5897,61540,36530,17866,48545,30563,31687,23942,25869,3835,3753,65535,31330,53663,7674,44824,44287,43633,34715,23148,47918,6890,32658,8371,37902],"kind":["proposition","proof","proof","proof","proposition","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proposition","proof","proof","proposition","proof","proof","proposition","proposition","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proof","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proof","proposition","proof","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proof","proposition","proposition","proposition","proof","proposition","proof","proof","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proof","proof","proof","proposition","proposition","proposition","proof","proposition","proof"],"flags":[0,0,0,0,0,4,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,18,0,0,0,18,0,18,0,18,0,0,0,0,0,18,0,0,18,18,18,18,18,0,18,18,18,18,18,0,0,0,0,0,0,0,0,0,0,0,0,0,18,18,0,0,18,18,0,0,0,0,0,0,0,0,0,0,18,0,18,0,0,0,0,18,18,18,0,18,18,0,0,0,0,18,0,0,0,18,18,0,0,0,18,18,0,18,0,0,0,0,0,0,18,0,0,0,0,0,18,18,0,0,0,0,0,0,18,0,0,0,0,0,18,0,0,0,0,18,18,0,0,0,0,0,18,18,18,0,0,0,0,0,0,18,0,18,18,0,0,0,0,0,0,0,0,18,18,0,0,0,18,18,18,18,0,0,18,18,18,18,0,0,0,18,0,0,18,18,0,0,0,18,18,0,0,0,0,0,18,18,18,0,18,0,0,18,18,0,0,0,18,18,18,18,0,0,18,0,0,0,0,0,0,18,18,0,0,0,0,0,0,0,0,18,18,0,18,18,0,0,0,0,0,0,0,0,18,18,18,0,0,0,18,0,0,0,18,0,0,0,0,18,0,0,0,0,0,0,0,0,18,18,18,0,0,0,18,32,0,0,0,0,0,0,18,0,0,0,0,0,0,0,18,18,0,0,18,0,0,18,18,0,0,0,0,0,0,0,0,0,0,0,0,0,0,18,0,0,18,0,18,0,0,18,18,0,18,18,18,0,0,0,0,0,18,0,0,0,18,0,0,0,0,18,0,0,18,18,0,0,0,0,0,0,0,0,18,0,18,0,0,18,0,18,0,0,0,4,0,0,0,0,0,18,0],"deg":[1,8,9,4,1,4,5,4,4,4,4,4,3,5,4,4,3,4,3,5,3,3,55,3,3,1,9,3,1,1,5,3,5,5,3,3,9,4,3,4,4,4,4,3,3,3,3,4,6,4,3,5,4,3,4,5,3,3,1,1,2,1,1,1,1,3,1,1,1,1,1,1,1,1,1,1,3,1,1,1,0,1,1,1,0,1,0,4,0,1,2,1,3,3,0,1,2,0,0,0,0,0,1,0,0,0,0,0,1,1,2,1,2,1,1,1,4,1,1,3,1,0,0,1,2,0,0,1,2,1,2,3,4,1,1,2,1,0,2,0,1,2,1,1,0,0,0,1,0,0,1,1,1,1,0,3,3,1,0,0,3,4,3,0,0,1,0,2,1,1,1,2,1,0,6,2,1,4,1,0,0,1,4,1,1,1,3,0,1,1,1,2,2,0,1,1,1,1,0,0,1,1,3,1,1,0,0,0,3,1,1,2,2,2,0,1,0,0,1,1,1,3,1,1,1,1,0,0,2,3,2,0,0,0,0,6,1,0,0,0,0,2,10,1,0,1,1,0,0,1,2,1,0,0,2,4,1,3,1,0,0,0,1,0,1,2,0,0,1,3,5,0,0,0,0,1,6,0,1,2,2,1,1,2,0,0,1,1,2,1,2,1,1,3,0,0,1,0,0,1,2,1,1,2,1,4,2,0,0,0,1,2,4,0,3,2,1,0,1,1,1,1,0,1,1,1,1,3,3,1,2,0,0,0,1,1,1,0,4,3,1,3,1,1,2,0,1,1,1,1,1,9,1,0,0,1,1,0,1,1,0,0,1,1,2,4,1,1,1,1,4,3,2,4,1,3,0,3,1,0,1,0,1,2,0,0,1,0,0,0,3,1,1,1,2,0,1,2,8,0,4,7,3,2,0,1,3,0,0,2,1,4,1,4,3,2,1,0,1,0,2,1,0,4,0,1,1,2,3,2,1,4,1,3,0,2],"rank":[4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,4,2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"adopt":[4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,0,0,4,0,0,4,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"reject":[0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]},"edges":{"src":[3,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,22,57,57,57,58,59,60,60,61,62,63,64,65,65,21,32,14,68,46,70,49,10,76,76,76,77,31,83,18,89,51,87,110,112,113,40,116,116,19,8,35,44,53,120,123,34,129,130,92,93,133,134,79,138,138,6,147,150,23,156,155,161,161,2,26,36,167,167,41,169,54,30,90,175,175,143,177,178,7,73,132,185,15,17,37,191,191,192,16,13,196,197,202,202,202,203,208,208,45,11,210,211,33,20,219,220,221,50,211,229,228,230,230,235,235,235,92,93,136,141,221,243,242,251,254,258,264,265,265,269,269,269,160,270,201,236,52,276,24,282,283,283,182,204,288,288,291,192,235,47,299,300,280,302,303,303,43,305,268,276,290,306,311,311,212,276,124,279,315,315,318,319,12,321,56,324,135,213,327,328,328,328,329,330,257,336,5,9,42,339,339,339,48,95,39,343,344,55,347,38,312,351,124,160,222,262,278,279,289,325,352,355,358,359,363,102,276,280,365,366,367,81,369,370,160,165,223,371,371,372,212,373,373,373,373,374,375,246,378,380,382,383,364,371,112,390,235,391,392,293,292,394,397,397,92,93,141,398,221,254,344,400,152,176,335,110,111,116,161,241,330,235,402,306,403,403,405,406,406,406,409,409,314,116,161,411,241,341,256,276,413,364,414,414,414,415,415,255,418,1,401,27,423,250,276,396,425,377,427,290,155,428,131,429,430,96,128,431,431,432,433,245,349,435,250],"dst":[4,0,1,2,3,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,10,14,47,14,49,21,54,32,46,32,32,3,5,65,66,67,10,69,49,71,72,12,20,56,6,82,51,85,55,91,109,1,26,17,114,1,30,117,118,119,119,119,15,11,127,9,131,132,132,18,23,135,19,33,142,42,1,153,96,156,1,30,162,162,162,35,55,168,37,170,171,174,6,53,177,157,33,181,182,183,17,186,186,186,27,38,2,194,195,182,16,6,13,55,39,3,5,208,209,39,200,215,218,52,177,132,224,225,213,229,1,30,2,26,36,242,242,242,242,242,48,249,87,242,9,45,24,43,31,34,52,270,189,270,270,275,255,281,50,40,41,286,287,7,48,87,293,293,296,128,174,300,36,90,255,304,75,305,305,305,36,151,182,312,312,314,314,7,48,177,19,320,48,323,40,327,327,229,2,26,36,8,1,334,42,338,338,338,2,26,36,340,341,342,257,242,346,8,348,350,78,351,351,351,351,351,351,351,351,242,270,2,41,312,365,365,365,362,33,19,368,26,140,370,370,370,172,310,174,372,155,228,257,341,37,131,377,316,255,51,174,383,386,390,188,390,87,13,393,394,375,13,44,398,398,398,184,398,398,398,108,400,400,400,401,401,401,401,401,401,402,301,402,130,377,11,2,26,36,242,398,410,411,411,171,411,412,413,413,326,413,2,26,36,74,356,416,54,420,420,421,115,423,423,423,47,426,174,427,428,338,429,375,15,431,431,156,428,51,190,433,433,174,435],"kind":["entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","negates","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","negates","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","negates","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails"]}}