{"edge_count":465,"edges":{"dst":[6,0,1,2,3,4,5,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,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,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,12,16,59,16,61,33,55,67,26,58,4,23,68,32,43,39,4,84,84,33,86,26,62,67,89,89,90,90,57,39,26,29,33,67,60,39,4,9,60,3,7,98,29,45,101,101,9,60,103,104,12,2,30,45,107,29,40,4,61,111,2,30,45,2,30,45,115,116,117,32,43,121,14,22,70,8,129,71,64,134,71,40,69,143,157,163,1,30,19,169,1,36,172,173,174,174,174,17,13,182,11,186,187,187,20,25,190,21,41,117,55,202,52,1,213,148,216,1,36,222,222,222,44,69,228,46,230,231,234,8,66,237,239,240,217,41,244,245,19,248,248,248,31,47,117,2,257,258,244,18,8,15,69,49,3,7,272,273,49,263,279,282,65,240,187,288,289,277,293,1,36,2,30,45,111,307,307,307,307,307,313,138,307,11,40,55,58,62,56,27,53,37,42,65,336,251,336,336,341,320,347,63,50,51,352,353,138,358,358,361,183,234,365,366,45,141,320,370,122,371,371,371,211,244,43,48,378,378,379,381,381,240,21,386,60,389,390,50,394,394,293,43,48,2,30,45,10,1,402,52,406,406,406,406,406,407,408,409,322,307,413,58,10,416,419,125,420,420,420,420,420,420,420,420,307,336,426,2,51,378,436,436,436,432,41,32,43,48,21,441,30,196,443,443,443,232,375,234,445,215,292,322,408,46,186,450,382,320,64,234,457,460,464,250,464,138,15,467,469,448,15,54,473,473,473,246,473,473,473,162,475,475,475,476,476,476,476,476,476,185,450,479,479,406,13,307,473,484,485,485,231,485,486,62,488,488,393,488,489,68,493,493,494,170,497,497,497,59,500,234,501,502,406,503,448,17,505,505,216,502,64,252,507,507,234,509,510,510,510,406,510,516,517,519],"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","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","entails","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","negates","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","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","entails","entails","entails","entails","entails","entails","entails","entails","negates","negates","negates"],"src":[3,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,24,73,73,73,74,75,76,76,77,78,78,79,80,80,81,81,82,83,62,67,85,9,87,88,88,29,40,33,55,91,92,93,93,93,93,94,95,96,97,97,98,98,23,99,100,26,58,102,102,39,16,105,106,106,106,57,108,108,109,110,100,112,112,112,113,113,113,61,12,96,118,118,114,123,123,123,124,37,131,132,20,136,137,140,64,48,138,164,166,167,50,171,171,21,10,44,54,66,175,178,42,184,185,144,145,188,189,126,193,193,195,198,8,207,210,25,216,215,221,221,2,30,45,227,227,51,229,68,36,141,235,235,236,117,203,240,241,119,187,247,17,19,46,253,253,254,255,18,15,259,260,266,266,266,267,272,272,56,13,274,275,41,22,283,284,285,63,275,293,292,294,294,300,300,300,300,144,145,191,200,285,307,316,319,323,327,327,327,327,330,331,331,335,335,335,220,336,264,301,65,342,27,348,349,349,244,268,356,255,300,59,364,365,346,111,368,369,369,53,371,334,342,355,376,376,377,377,276,342,71,179,345,384,385,14,387,70,32,391,190,277,394,395,395,396,396,396,397,398,322,404,4,7,11,43,52,60,147,49,410,411,69,414,415,47,378,420,179,220,286,328,344,345,354,392,421,424,114,428,429,433,155,342,346,436,437,439,439,439,440,128,442,443,220,225,287,444,444,445,276,446,446,446,446,447,448,310,452,454,456,457,434,444,166,464,300,465,466,358,357,469,472,472,144,145,200,473,285,319,411,475,212,238,403,164,165,171,221,306,398,477,477,236,237,479,480,483,483,381,171,221,485,306,408,487,321,342,488,434,320,491,1,476,31,497,314,342,471,499,450,501,355,215,502,186,503,504,148,183,505,505,506,507,309,417,509,314,130,142,149,510,418,112,109,114]},"format_version":1,"generation":2206,"node_count":523,"nodes":{"ack":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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":[6,0,0,0,0,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,0,0,0,6,0,0,0,0,0,6,6,0,0,6,0,0,0,0,0,0,0,0,0,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,2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,1,0,0,1,0,1,1,0,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,3,2,1,1,1,1,1,1,0,0,0],"deg":[1,8,9,4,6,1,1,4,5,4,4,4,4,4,3,5,4,4,3,4,3,5,3,3,70,3,5,3,1,5,9,3,5,5,1,1,5,3,1,5,5,5,3,7,3,9,4,3,5,4,4,4,4,3,3,5,3,3,5,4,6,4,5,3,5,4,3,5,4,5,3,4,0,3,1,1,2,1,2,1,2,2,1,1,2,1,1,1,2,2,2,1,1,4,1,1,2,2,3,1,2,2,2,1,1,1,3,1,2,2,1,3,4,3,3,1,1,4,2,1,0,1,1,3,1,1,1,0,1,1,1,1,1,0,1,0,1,1,4,0,1,2,1,1,3,3,0,1,2,1,0,0,0,0,0,1,0,1,0,0,0,0,1,1,2,1,2,1,0,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,1,0,1,0,2,0,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,2,2,1,1,4,1,0,0,4,1,1,1,3,0,1,1,1,2,1,2,0,1,1,1,1,0,0,1,1,0,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,0,6,1,0,0,0,0,2,10,0,1,1,0,0,1,2,0,1,0,0,2,4,1,3,1,0,0,0,4,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,1,2,1,1,3,0,0,1,0,0,1,2,1,0,1,2,1,4,0,0,0,1,2,2,4,1,0,3,1,0,1,1,1,1,0,1,1,1,1,1,3,2,3,1,2,0,0,0,1,1,1,0,8,1,3,1,1,2,0,1,1,1,1,1,1,1,9,1,0,0,1,0,1,0,1,1,0,0,1,1,2,0,4,1,0,3,1,1,1,4,3,2,4,1,3,0,3,0,1,0,1,0,1,2,0,0,1,0,0,0,3,1,1,1,0,2,0,1,2,8,0,4,7,2,0,3,1,0,0,2,1,4,1,1,4,1,0,1,0,2,1,0,0,4,0,1,1,2,3,2,1,4,1,3,0,2,5,0,0,0,0,0,1,1,0,1,0,0,0],"flags":[0,0,0,0,4,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,4,0,0,0,0,0,0,0,0,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,1,1,1,1,1,1,1,1,1,1,1,0,1,0,1,1,0,0,1,1,1,1,1,1,1,0,1,1,0,1,0,0,1,1,0,1,0,1,0,0,1,0,0,0,0,1,0,18,0,0,0,0,0,0,18,0,0,0,0,0,18,0,18,0,0,0,18,0,0,0,0,0,0,18,0,0,0,18,18,18,18,18,0,18,0,18,18,18,18,0,0,0,0,0,0,18,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,18,0,18,0,18,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,0,0,0,18,18,0,0,0,0,0,18,0,0,0,0,0,0,18,0,0,0,0,18,18,0,0,18,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,18,0,0,18,18,18,18,0,0,18,0,0,18,18,0,0,18,0,18,18,0,0,0,0,0,18,18,18,0,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,18,18,0,18,18,0,0,0,18,0,0,0,0,18,18,18,0,0,0,0,0,18,0,0,18,0,0,0,0,18,0,0,0,0,0,0,0,0,0,0,18,18,18,0,0,0,18,32,0,0,0,0,0,18,0,0,0,0,0,0,0,0,0,18,18,0,18,0,18,0,0,18,18,0,0,0,18,0,0,18,0,0,0,0,0,0,0,0,0,0,18,0,18,0,18,0,18,0,0,18,18,0,18,18,18,0,0,0,0,18,0,18,0,0,0,18,0,0,0,18,4,0,18,18,0,0,0,0,0,0,0,18,0,18,0,0,18,18,0,18,0,0,0,4,0,0,0,0,0,18,0,4,3,3,3,3,3,1,1,3,1,2,2,2],"id":["aeaepadm","af4mw8tz","af7pe7tn","awn6qyg0","b0zkppw9","mk2bx2bn","nqpeszba","ctvbtad9","cwk59mce","cz0x6vg9","d47xb8tk","dk8zws93","e4vd14ac","e5w3s77e","ecfbvsjv","ekfgwpwk","eyv71emn","f0r6enva","fbhg0ac0","fch5x7j9","fn8hw0ss","fr9scdds","g158js2m","g2ed7mby","gs6x5xfk","gvc8es27","h025v0wn","h58dkxbd","j07nww5p","j34cvv8q","k0fexfht","kjc75qws","ksn02rmw","m1xmrma2","m58fkv6m","qxsh10n8","n4bcmtjq","n7946tf7","n7e2bazc","netrzp38","ng31wbd7","nj497mbx","nwrgv5xa","pbqta0f0","pk440hee","pzrnw9s4","qwdftt8h","r4ym77p8","rpbn5dtf","s1pn7tek","s6pmj588","sm0f6jfb","tcndbavk","thfem6yy","tyntmm74","v53bvjwn","vbc73tfg","vbfhz48v","venydn65","vp2aykve","vyv5aqbe","vzhpn66r","w8f5c34n","wb9wvr5k","x6bm6cmk","x9ryx4yx","xekna7zs","y057eyce","y0784dvn","yatpb4s2","yj0ctkds","zrmptq7r","a804v31w","hb9a4ffv","abmadp3b","hcm3epne","ajkw5q54","ayz6gqqz","x8dkczrv","ht8f3mex","mrq3xxxt","bp8exze3","k4n34b1n","j9x1qfkc","ezjfe3gs","dj2xh92h","dmtg4hpf","dymn5hnt","kem8ghse","x8sjkvea","f7h4zgtt","f7v5aee7","fkzf0f5x","rmmznxa3","m1gy87h7","ga6cr1vc","j6g4txeq","j9arr979","wehh2h7q","zgfe0az8","jz5h9k0q","jzbwxcsy","tvz77dj3","kjyxgypr","xn61tbge","xny2gp74","mqgdx63v","nn1vmy64","nrsnyjf0","vc8kmg3z","x4ag4wxg","smzttks5","t6kfnmcv","xfstm71p","xza3vx4v","zc8rzx6y","yhgen6sy","wesgjg8m","x7xv75xk","kvd38n5m","e8h78104","xh105m6v","ghpj04vp","a4qctr85","a5scvvsz","h38tpbp5","a6x0cmef","a7t0c2pp","a7whj2fe","b2nzzfm9","a9ehqsre","h7b5chm2","a9qwc1zw","abpk2awb","ac0ebrdk","n1ezmxmz","ada7fb7a","aek50vvn","aff6chtk","afysfs2z","gc7tef3d","akk7e489","aq08c3f2","pqepd5p9","asptc7tx","ej88ftah","q6e7tsbw","mbkeqjm1","axkmaxey","cqxr2v32","ay99g6ea","ayz6k9v1","az207myp","azge1kbz","g4byes8x","bx8s2rxv","b45yh4jy","jdf1sr36","b91dnfh1","cfnxt42f","ba2rsh6w","ba5wgg8n","bc6d28ff","bcddhemx","bdf7c59j","n8aaa8e2","xb21b7ha","bg1f92g4","t2dy4nm9","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","rgkegad8","s0ahxy30","c7ka8af0","vh0mbb1e","c7yv21eb","p60qfhcf","en0xr96t","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","debdbbdh","zk8sqw07","zexvr5bm","df8sr36e","dh4y7vbz","p5gf81b7","dkwjdp1f","dmfkn5za","dq2vr0pn","dqr67gwb","zz8r1h4q","draybyxf","dsh05djd","enhcp7m8","gx31y4ba","dw82g50e","dx23wk7w","phgh7nch","f5tem5qy","e1x5spad","e33ksa9k","e4xkgtrq","e4zk8eh2","w186e40y","x1g73e5p","ec23j5s5","yrdx0yxv","sen1pjh2","ehhe4fgm","eht5zxve","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","ffcwsb5v","fh3bt1yx","fhcm65k7","fhyt9ns4","fkbzkmtb","qnxtsjza","fs8fr6p0","fsyqjw18","ftvh21jj","fwyekc0z","vhm234nr","g1kq3k4r","g1rn85et","g57btnv9","m375hr8c","gcbxd32w","gcc7pw3e","gfn4ybx4","gh43zkz2","ghgk9hbf","h6tkmas5","gkvgfh7e","xr2b612j","gvmh8rg6","rwn623fg","gwsct7dm","yfzq7qb1","gz55zdtf","h0jffr82","x16cetpq","ryxxsyzv","r1hwrcj0","k225qrmt","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","rq9n425p","wattqkwb","ry8csea6","jc2azm5w","jcckjcc9","n25tm13h","jfbsph0d","jg804ygz","jhgbjbs8","jk6wvk1h","rtw6c92f","jmg78nw2","jp9caqm2","jrq3t1sb","jrqq6kwv","jse89pdx","tqrc0pnp","jw6bkg7k","k0n30xxj","t1jehvr4","z36t8zh1","y4r1rfq8","pz9cf0z6","tg4510ve","kb5gnpkb","vr68n5xj","kdjbhbqy","kdm7fg2g","mpgmd1qg","y9fg240k","kjd4ebp7","q34jwgwn","krvjtd0v","zww15pa0","kx0sjme2","s757d3w2","mj78v0rj","yxb2np8t","m1j2ba05","m44h5zv9","m4f22y86","m67wa289","yzga8yc9","vz9aafbn","m8jm154a","m9btaz1k","makjq05e","manq7e95","t3t9gczm","tg360b5h","ztz9edqg","mmzhagaw","mpqamp89","mtjd8xg4","mxzjmhg5","mzsqweg3","qk4sj0fk","n1x7yfty","tp9vqpme","nb5thwjt","sa2k322m","njm0gz83","nk6c591w","nk7509y4","nknhr932","xgwk73tw","nqday08y","nt6f4vya","pfajr4p8","qzyczkj6","z10p8eb8","p4r5mkqv","p57v1ser","p5pbpe31","p60jtgym","p8awsa4v","qrdrhsd9","wyd65rww","pamke0cn","tfeth79k","pbh09x75","yz3rhek3","phfaj2pa","z7qm7we2","pj4t2np5","psw9r66q","pvc20kjh","pxrhr2nn","py2py7yr","q1j7g4fb","q1xke1a7","q34yr8td","q3b030sx","q3er3end","x3rw2b73","qzpqyhth","qcx417kk","qf03bz07","vjdjkf41","qftfyhs3","rk72n2ja","qmhx9j6m","rfqzd9kp","qwxazee0","sdd8rtxn","v0hhbtpg","r23578dc","wyrd4x2m","r65r4c3j","r7skex5j","r8377r20","rwpncgqx","xaka55qt","vz5mrqmq","w4nwcqfp","rpzw4agz","rqgc535n","vm8y6e3m","s0b11w32","sbw24gsz","sf70x4jb","sffbfdjz","smpgxsjc","z3qccv9b","synbz79m","t323d36z","wccm09p1","ta6fbvt3","znm9m360","tjvybcme","tqfzkmyc","tzpfjwr5","yyj7vpy1","v2w23pza","v3x02sj2","vbas0777","vmcpjvvq","vk9250am","vryw3gdt","w277mpst","xsfsragb","zywhyx5v","w8ttht5x","wcxvcrsj","whrx9b4f","zn7y09rr","zcs2whrx","x3dpnp62","xnqex479","xr1zwy2x","yymn1hq4","y35whf42","yjq2th6c","ysgrm7hr","zh6vg2jj","z70vtk98","zz9pzdfb","dh504kmj","th63w6tq","rrcgk48g","kpf2eawe","d38dq9q7","x4x58rac","pawmb7zq","r3d4v8gm","v96ypmv3","c5geav1w","d7k3wy3x","zk5p3gnq"],"kind":["proposition","proof","proof","proof","proof","proposition","proposition","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proof","proposition","proof","proof","proof","proposition","proof","proof","proof","proof","proof","proposition","proposition","proof","proof","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","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","proposition","proposition","proposition","proposition","proposition","proposition","proposition","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","proof","proposition","proposition","proof","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","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","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","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","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","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","proposition","proof","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","proposition","proof","proposition","proposition","proposition","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","proof","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","proof","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proof","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proof","proposition","proof","proof","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proof","proposition","proposition","proposition","proof","proof","proof","proposition","proposition","proposition","proof","proposition","proof","proof","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition","proposition"],"rank":[6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,2,2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,3,2,1,1,1,1,1,1,0,0,0],"reject":[0,0,0,0,0,0,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0,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,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"x":[26989,36774,26065,20789,19653,26858,20532,18393,29604,27740,16508,15749,30507,28057,20618,25638,32171,21525,25765,21474,22669,13144,20607,21100,24532,19349,34573,20954,28646,31358,24988,17841,17646,33862,25982,24782,35578,19211,25505,26417,32386,12946,18331,15851,25723,27219,19258,18437,16101,28506,23662,21422,14646,21873,25877,34952,16550,25789,34869,28655,26704,33196,33228,24946,32398,16127,28767,33000,15685,25332,18989,21002,39344,32138,36578,37002,38143,37741,38715,20490,17441,16784,27840,20955,36735,38663,30211,40295,35858,34082,38414,27274,28571,35147,28465,27113,21047,29164,19695,34311,30392,38666,28036,25735,36873,33390,26477,25883,34353,15497,38199,30954,25162,28032,41451,37232,34363,21571,14902,39947,39165,40339,27728,18477,33232,49126,22580,41630,31611,15905,10430,20239,36674,35295,21482,34737,19220,36996,39546,38443,26277,26023,9906,36246,57369,57696,47574,12104,9541,9957,45599,48526,39704,41602,42531,37051,44438,13351,45242,39832,43773,43684,48756,38557,42211,47853,25050,20545,49115,24230,36733,41208,8683,13095,28217,21091,41706,38300,30847,49791,41888,35569,14278,9148,12213,56035,55773,55977,20636,16532,20196,57656,39230,9757,35664,23665,53711,31774,41442,47097,57961,41892,32485,47999,44890,55505,30801,8819,46939,46577,40066,43376,49003,14872,43164,7126,7545,51627,42331,32513,54877,40846,25340,51550,34363,56962,23021,24963,19385,16038,10406,41335,28178,48163,27983,31234,2829,2609,51180,20577,50193,7747,53053,42870,41203,55673,58606,19068,19202,52130,26280,55597,26833,15160,21213,27645,24916,25985,26460,40136,26290,31572,27097,31620,55247,39503,27774,30946,47829,49253,44182,32180,15500,29679,30529,30969,30036,15683,44186,7275,24897,49296,16896,11162,48818,59092,49353,56231,25257,30211,35363,38513,10747,14098,38303,46999,50749,27681,35934,34506,27369,53931,51444,36255,35479,40389,47662,61193,21379,27109,60759,24154,31587,63251,34095,43236,41285,49259,48506,62320,26076,33669,4808,8810,39004,35998,14997,36471,52152,52750,9272,19542,36694,43171,25961,14659,56410,27776,56122,16106,23737,10457,31601,46680,55229,52394,34631,17927,24136,21477,46210,32932,41800,49150,51594,24570,39131,55228,28410,32765,11482,30229,49442,20382,7910,31291,32744,34818,29949,24219,19743,27780,53174,54281,19477,28469,43139,11480,32121,17485,37712,51441,15982,53887,52334,7088,16898,26957,41105,14035,12716,22692,54128,31997,16874,11083,26246,11973,41657,19932,55668,25988,4774,52598,7552,46712,12223,25958,8661,29382,2608,64254,50391,24346,40496,11594,13706,26181,4077,32142,52464,65533,12369,28306,59685,46310,42328,37882,25254,18576,19554,17216,39488,33763,29559,37892,36346,6124,29048,12776,6631,31634,21980,56913,27990,28492,6868,15131,57860,35878,62094,47191,15007,33721,22985,11311,35386,27891,15249,50845,27701,57164,5440,17568,25956,40896,24933,29212,52822,57540,29009,39021,25218,60820,33247,51382,44650,59981,41493,5136,28665,24249,44451,64217,52918,44551,6959,37896,31955,23908,52565,8480,22289,41558,12654,6900,41333,36057,43577,29430,63595,24645,7609,58743,18548,6575,35248,26549,15094,30845,8140,8936,2,46195,7814,16700,23751,11071,62031,43209,52686,12027,42145],"y":[35734,37968,20726,33715,27303,32326,33946,31875,40188,39581,37400,31963,40840,27335,28047,38198,39287,42086,42503,42165,38855,31838,27661,35148,33503,39052,32621,34834,34579,28251,20651,32828,26479,32373,34523,31732,35697,39154,30316,36328,27245,34981,38233,27831,38014,21093,40922,31581,27485,32003,27551,28658,30889,33682,36160,30866,34340,28000,30949,42693,43382,38793,27683,31476,28204,38870,37403,28899,37742,40719,28829,42540,30139,42752,41475,40379,30927,26606,31138,26460,37460,24936,38019,25412,26605,32465,41816,33407,25855,25672,31893,25663,36865,29897,46366,36561,23670,43300,33776,25780,17040,32215,43178,38675,42884,45501,18435,23842,24504,21816,41792,13016,16682,18475,58158,42493,45060,20282,24351,47878,20120,55213,26714,26046,44112,23802,43590,26511,57599,43190,23581,46978,26555,39833,42583,44775,46458,23140,12537,39591,45040,31637,24730,25522,38814,37680,40916,38695,31670,22589,30881,37206,23938,39953,19270,28157,37065,23304,44046,42470,42463,31558,49488,14950,39741,40255,14837,46966,33620,24085,33264,37497,30486,39618,38093,46862,29389,21803,24226,20567,33142,42193,41464,29177,32620,20854,18360,38648,41808,42054,44162,34966,36728,33343,20194,19820,25879,42025,29149,34969,37972,36228,44162,40352,34293,21684,45413,29885,14505,53674,41691,47816,51470,42838,53023,35127,32906,41689,43118,13348,25741,37718,17751,49790,54897,25743,52708,41953,26077,44865,40262,35620,10397,52629,29896,41101,26077,27334,49793,18611,41350,36596,44556,11642,49919,39611,42289,47414,44433,49263,8198,31096,57328,31569,17597,14412,49539,48237,40570,50893,48064,15505,46117,50558,31952,55184,41599,31763,12439,46657,53907,53452,34036,24189,30616,49541,35746,45542,41091,35707,51440,51789,23445,41996,41024,38763,23428,24044,30100,48508,16154,44372,41874,43946,37061,36902,16628,52731,53667,45244,15405,30939,50102,46664,9785,53794,38622,37466,7824,59672,23310,61366,5561,34878,32542,59268,10694,57203,8985,39070,32872,22556,42602,32091,57741,60939,56501,27588,22822,55047,35424,34634,5566,6349,23949,41017,29568,62032,50229,58121,13267,42035,30080,7846,21250,19316,26435,35995,30515,26001,8831,55525,52033,10838,20959,26293,10876,12702,10506,62011,54462,48257,55817,60330,27972,27541,8946,61784,15925,33030,33610,26791,54035,47639,58507,9794,49805,25147,35229,48064,59617,17544,55742,13131,42336,30705,24250,49757,6194,25728,21744,24095,23489,22150,45214,25861,17813,39611,40581,12460,52382,53092,44532,53462,29906,58021,28826,49651,39603,31308,44172,39315,6377,45047,28846,39284,30313,61751,22217,38056,22379,36533,61191,65126,29973,60729,60945,63616,15319,26359,3799,63453,26781,37661,24446,1649,27915,35963,65533,24843,30975,61001,14771,24942,8084,33637,39582,44996,15298,3858,21526,4191,57200,64907,33722,15469,26015,26869,12054,7058,6236,53764,54704,7817,10559,9598,40611,6342,58672,12860,1800,33722,38285,39691,1316,51924,39671,20519,63561,27225,24117,2403,4528,39415,14964,37362,40365,23453,24923,35029,56608,40655,64789,40176,32646,57452,2019,32491,61468,48530,21868,27773,31134,16627,47350,30750,25127,60140,6204,31391,24547,10466,56469,0,62861,56289,11018,17256,51518,62066,2776,6348,6903],"z":[43398,54595,48540,38501,34893,42774,32363,38796,51644,39526,53030,38497,44880,55310,50735,56798,44683,49714,46969,46637,38273,49113,48322,39992,46765,40069,45118,54990,44788,41230,46923,53116,43503,41677,42146,42223,53761,44854,43759,34173,44261,48338,44604,41344,51836,47022,50807,53435,43992,57898,54659,55742,40289,55533,54139,44703,42863,38577,49398,49402,40778,41095,48384,56219,55947,47280,51121,44001,42023,53767,49908,41813,23111,45870,42272,37291,40716,40652,46849,29859,37747,39556,29090,30545,45293,37525,34660,43046,45185,39903,41356,33553,28902,41521,36981,28569,28275,37551,35873,36490,43485,47023,36840,28300,44256,43659,45500,34250,41310,30723,39310,43251,49387,47019,33796,38677,44374,22910,40590,19578,22274,33909,11071,50514,52504,20414,16924,19377,29610,42881,24494,39143,58215,16135,33691,19245,38543,43334,21482,17073,55694,7561,24163,57762,36745,36236,25763,15509,19462,25390,21188,24757,19464,19004,26211,9262,20143,42136,25663,19543,22663,18806,27676,23237,55509,55948,44410,45261,25173,57554,8114,56373,48436,54285,54585,50061,18125,20006,57812,20318,17434,17389,42283,17415,34005,43512,41959,33973,33240,35842,16166,38027,16639,48578,20123,20775,27051,16457,44617,22284,39146,17677,53568,19773,19673,34699,11197,38429,28733,35206,56744,15251,26885,37255,25548,20507,19082,19359,12376,19642,20785,57612,47697,41379,24060,27592,20528,56171,60147,52854,39876,58103,18717,39339,3444,54661,28959,28726,26910,19615,17624,49145,24409,30250,17333,30847,38272,47014,49988,33750,41794,21649,22231,56241,20546,49466,15456,47289,62019,19020,48510,16291,11913,16039,19841,27131,56519,63309,32790,21379,29584,20566,38385,59897,63124,14818,4602,15798,12295,48218,17995,34965,50444,47370,15841,35080,17649,27564,61940,13659,16003,11644,16433,15624,57675,12752,32065,19637,21840,11318,46495,19038,37436,12627,27476,24533,60089,37746,22576,23038,48046,31973,26081,38644,1319,44129,21143,39129,40485,40227,2297,4060,16965,36253,20074,28425,24441,48415,14416,36031,42418,59928,28001,34218,6785,46125,19389,35230,46772,27741,12524,49096,3457,36879,18119,18093,4956,61081,63120,59318,27599,14630,15566,32526,14995,4809,19429,39989,48771,35035,23948,52154,46247,30289,14412,4489,42317,39502,50071,5094,62200,6438,43423,18364,25152,15941,14887,42194,2179,41237,24364,19113,18930,30371,15513,50926,55144,40519,30111,53606,44092,60297,15404,4190,14373,43150,49938,56744,58550,14877,40557,11883,18402,26245,39693,42703,33754,39644,13532,65533,15845,36790,27640,59701,55236,58098,59318,19761,24478,9,17798,38009,30441,42582,17201,49221,33694,47431,53092,62265,23804,34690,2161,37,1,29981,4266,50986,37750,43889,52462,28780,49254,24841,16499,2137,16677,55186,41770,20183,47862,41424,17859,43456,87,10575,62603,341,11435,46797,15663,48989,23258,16165,44564,19245,63918,49806,44188,40924,26063,907,60986,37647,28718,26418,58760,45705,43882,30692,62168,25447,24393,38548,18047,60207,10439,53486,2366,145,51087,41873,37294,60229,58752,27778,33984,3141,22782,53702,49568,2219,25201,42346,53655,19599,62100,21051,21413,269,27113,11989,29186,35052,33683,7415,52695,28005,53437,33420,35403,15366,9851]},"quant":{"max":[162.92,176.88,131.95],"min":[-142.86,-179.04,-164.22],"steps":65535}}