mirror of
https://github.com/zkonduit/ezkl.git
synced 2026-04-25 03:01:17 -04:00
365d92a5f2
--------- Co-authored-by: DoHoon Kim <59155248+DoHoonKim8@users.noreply.github.com> Co-authored-by: therealyingtong <yingtong.lai@gmail.com> Co-authored-by: DoHoonKim <dohoon1097819@gmail.com>
1 line
80 KiB
JSON
1 line
80 KiB
JSON
{"protocol":null,"instances":[["0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000","0000000000000000000000000000000000000000000000000000000000000000"]],"proof":[15,93,105,242,214,73,33,182,25,130,146,63,102,9,135,127,41,25,143,77,22,41,120,129,144,31,31,205,250,213,35,109,35,3,143,176,214,90,138,182,141,155,81,238,147,177,72,216,114,60,217,219,49,178,204,161,57,101,49,46,176,204,227,100,18,188,186,238,13,221,82,155,114,108,250,206,216,41,58,7,37,11,161,130,113,35,29,164,181,70,124,175,135,120,162,176,32,151,198,187,46,241,151,89,47,105,167,141,143,136,110,226,37,250,83,128,104,86,69,112,207,130,173,98,165,106,79,96,31,186,146,117,210,87,205,210,42,132,10,177,98,221,196,124,112,180,90,112,81,28,132,173,139,201,167,100,161,154,91,79,3,174,169,70,205,246,105,73,74,99,85,80,187,179,218,118,24,8,148,219,117,92,13,164,49,34,223,11,227,112,190,183,19,43,183,20,184,6,23,154,208,90,6,1,0,65,200,18,142,209,183,118,65,80,81,121,61,92,47,86,113,80,1,176,21,187,154,98,45,162,168,122,184,214,8,129,36,135,191,105,86,130,35,150,101,41,2,215,38,104,151,145,170,87,180,204,7,235,227,144,188,207,83,237,42,72,7,231,46,1,33,117,177,214,144,13,96,191,96,87,161,66,206,145,19,157,128,201,17,208,35,247,11,111,12,46,46,213,139,182,237,21,147,204,1,104,31,48,39,0,157,193,167,194,38,158,63,149,185,153,42,14,248,96,40,51,75,98,255,205,254,13,178,181,81,4,120,229,187,154,43,17,122,195,17,116,60,152,7,120,98,168,25,33,29,37,119,95,214,55,138,41,25,98,142,16,74,25,101,54,55,44,16,117,85,232,159,80,104,96,84,230,247,19,12,122,8,60,143,35,180,47,224,199,55,17,79,88,117,125,92,127,1,130,154,18,205,3,250,44,47,153,125,109,166,231,3,139,164,148,21,39,60,119,85,168,89,17,53,126,196,152,204,230,9,124,139,236,76,22,79,88,167,64,68,205,122,131,19,19,197,32,21,175,57,239,102,64,76,37,246,192,86,57,2,120,152,103,86,169,19,73,244,250,143,162,173,168,97,125,1,131,7,29,25,35,218,78,142,12,143,133,149,242,192,253,29,66,207,238,154,98,17,232,46,244,84,178,119,136,239,93,45,25,109,128,222,73,32,47,139,114,182,112,23,64,112,61,173,235,51,81,33,132,135,222,4,154,72,150,255,111,87,200,16,211,220,32,160,178,39,211,217,107,0,184,121,7,152,197,193,35,72,151,94,164,131,177,223,226,148,181,133,205,176,229,10,80,38,76,26,42,193,222,50,247,110,23,122,128,16,101,137,133,64,119,117,86,87,230,254,138,139,23,229,51,93,124,9,117,43,119,152,32,249,188,247,39,21,151,9,221,215,226,214,49,187,153,139,83,49,211,154,247,179,222,254,68,247,252,6,37,176,166,178,229,151,114,212,33,32,12,84,98,149,230,53,136,85,201,31,176,251,99,150,199,58,238,38,162,7,251,18,211,111,14,98,79,32,96,189,227,201,68,253,179,18,58,0,83,166,213,85,189,246,109,160,87,103,26,55,49,3,102,24,84,246,125,224,182,208,60,89,228,192,129,85,204,226,85,242,241,88,119,134,139,3,231,97,79,96,45,136,117,173,85,15,64,61,10,107,198,245,109,236,255,11,142,77,190,94,240,134,123,238,162,25,234,64,77,134,28,93,110,102,153,22,251,20,174,147,204,96,175,137,7,30,174,143,136,128,178,51,143,117,169,168,199,69,98,170,130,172,244,147,177,21,43,165,116,18,85,169,188,12,77,141,202,141,67,52,176,20,156,17,173,29,78,82,27,57,74,110,114,56,56,204,78,144,96,206,189,8,140,186,178,8,246,5,23,218,136,73,43,248,192,237,254,133,99,95,108,113,147,244,195,77,121,39,229,124,217,78,166,14,19,228,220,195,181,88,104,98,81,171,160,66,91,29,186,137,94,153,156,0,200,168,28,154,142,254,24,88,11,131,167,44,245,88,44,67,55,228,80,243,106,188,186,149,131,234,83,70,49,166,204,134,53,86,193,254,66,37,158,35,105,122,103,35,253,246,166,248,11,200,174,16,161,228,182,168,95,194,7,20,169,83,145,144,99,62,47,123,136,0,164,135,85,57,62,14,250,182,181,121,164,222,120,145,155,165,123,217,221,109,165,161,84,172,57,69,200,152,129,148,95,233,41,60,193,118,196,24,252,182,95,204,103,96,58,115,217,180,12,94,228,77,20,95,117,58,77,247,95,35,19,201,188,25,119,51,156,129,159,0,181,106,48,253,230,200,164,28,113,146,166,210,3,235,159,153,214,161,14,79,203,154,127,109,113,93,62,35,193,152,152,16,201,92,4,241,241,121,36,39,103,225,221,112,55,135,255,174,248,20,102,216,65,210,125,19,106,6,246,123,179,44,136,12,200,134,90,110,180,233,49,92,21,239,195,122,131,23,133,174,180,37,33,105,240,120,184,212,61,175,66,222,99,199,176,40,165,140,166,50,157,107,196,222,233,116,166,222,196,197,247,168,157,30,132,176,90,178,124,171,248,1,36,173,100,31,67,3,8,94,206,148,12,241,50,238,169,23,214,125,61,9,185,194,174,149,209,15,207,29,199,236,49,182,127,203,42,153,79,8,1,240,70,30,212,249,0,144,203,28,211,27,59,73,108,89,144,42,243,208,37,219,164,63,248,56,164,151,185,145,4,23,111,174,16,239,157,93,252,76,13,242,59,240,133,110,35,211,133,119,90,241,73,86,216,108,248,247,222,51,139,40,232,9,107,4,148,45,197,154,90,80,19,142,24,122,235,145,47,176,97,167,113,8,158,109,28,77,249,235,121,174,250,78,174,47,127,233,224,92,102,250,16,26,227,194,218,175,87,245,74,125,70,186,199,107,110,47,156,220,220,235,6,18,113,101,243,16,241,167,117,155,196,235,163,116,196,65,120,159,72,136,58,133,78,70,31,229,164,132,217,42,2,227,137,214,159,222,45,29,9,120,250,115,31,173,46,113,252,184,9,234,244,85,44,143,83,6,117,249,77,119,168,169,141,131,202,8,94,32,165,12,19,175,178,114,120,121,120,165,217,62,8,180,205,170,41,139,140,211,84,23,115,211,241,227,231,133,31,243,23,216,199,47,226,83,129,227,51,100,44,236,23,45,126,5,38,233,2,131,178,33,166,231,11,30,51,34,68,224,3,139,188,103,212,19,170,80,73,156,35,93,4,129,144,223,69,227,119,180,15,155,168,135,39,222,136,61,19,134,183,229,33,186,46,211,232,37,157,197,69,226,127,144,110,157,145,10,135,134,140,194,31,67,13,116,98,47,168,194,181,8,224,65,20,146,159,154,150,33,144,147,174,1,153,201,62,26,114,92,19,36,91,245,62,97,8,23,105,11,111,150,11,234,173,17,20,72,17,56,2,18,118,62,100,52,23,118,216,174,52,137,45,209,189,172,145,250,95,242,179,77,167,11,31,232,236,53,55,247,75,201,214,17,14,93,141,9,107,135,102,101,104,79,112,85,122,233,227,246,170,170,232,27,28,50,53,19,248,53,228,46,82,232,80,5,54,92,27,78,222,98,254,189,49,160,78,113,189,226,38,63,234,123,136,142,209,251,115,41,75,3,54,210,148,228,18,0,159,144,222,95,242,243,39,237,37,248,167,125,209,47,80,72,38,158,221,14,173,159,126,96,246,56,32,224,96,54,36,11,110,71,74,75,176,166,112,137,178,189,180,131,116,2,128,210,41,173,246,41,86,106,232,82,148,208,61,190,108,206,82,32,208,110,80,8,117,96,248,156,130,252,124,161,16,34,154,29,43,151,89,208,37,15,35,121,7,20,90,156,67,38,152,11,235,13,12,178,242,182,70,124,20,139,167,216,121,228,84,0,232,32,15,32,204,2,198,22,161,54,237,236,100,204,186,18,127,70,145,241,230,48,226,203,133,192,219,225,123,36,69,96,168,221,106,40,131,15,110,241,88,193,144,33,185,73,84,1,80,71,14,224,102,248,200,200,220,173,161,116,70,246,117,202,251,143,177,81,222,249,114,140,178,91,34,196,86,138,199,46,114,102,78,88,88,36,39,99,198,29,99,100,131,226,156,249,70,170,18,51,120,195,197,227,220,253,213,163,160,196,51,11,194,33,68,95,74,223,14,100,252,30,209,15,105,177,71,130,254,89,56,136,86,14,85,24,195,243,101,81,202,171,254,10,107,131,6,8,214,27,44,238,40,26,142,212,172,114,96,175,140,189,132,25,64,7,253,110,7,153,111,5,239,208,28,4,160,164,101,229,198,160,160,107,74,155,178,166,142,155,233,162,137,188,205,150,17,235,143,94,102,160,240,241,120,156,176,37,178,167,224,177,130,230,25,87,56,246,61,62,7,58,70,0,67,137,195,209,198,101,116,171,84,55,164,46,87,135,223,28,202,90,201,159,16,85,246,109,71,42,29,201,153,203,164,63,185,8,175,153,236,188,224,15,115,187,194,126,10,225,37,36,198,215,60,12,47,162,200,207,140,35,40,181,79,233,196,104,94,140,103,126,130,238,6,100,142,138,136,175,170,34,61,44,218,71,40,181,228,171,109,43,205,162,206,44,56,232,56,185,8,62,141,254,177,56,43,183,110,87,115,187,251,215,224,4,78,215,217,154,161,91,75,191,158,228,25,203,215,4,157,143,226,168,45,239,57,18,235,198,213,57,107,107,126,26,60,44,218,71,40,181,228,171,109,43,205,162,206,44,56,232,56,185,8,62,141,254,177,56,43,183,110,87,115,187,251,215,224,4,78,215,217,154,161,91,75,191,158,228,25,203,215,4,157,143,226,168,45,239,57,18,235,198,213,57,107,107,126,26,60,44,218,71,40,181,228,171,109,43,205,162,206,44,56,232,56,185,8,62,141,254,177,56,43,183,110,87,115,187,251,215,224,4,78,215,217,154,161,91,75,191,158,228,25,203,215,4,157,143,226,168,45,239,57,18,235,198,213,57,107,107,126,26,60,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,6,238,66,0,91,234,69,49,152,45,53,147,56,216,148,102,198,30,141,52,209,165,89,166,91,161,214,40,89,240,8,173,7,235,38,109,202,3,202,169,106,24,30,28,26,115,132,140,192,97,39,53,83,138,138,160,230,164,115,3,135,17,121,241,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,29,215,253,51,30,13,160,202,14,34,89,185,112,183,170,9,43,64,87,86,87,223,238,221,185,181,181,105,132,245,167,217,24,206,84,81,109,69,112,31,14,90,22,99,59,222,83,190,241,72,86,103,39,90,98,201,42,29,5,149,233,120,234,57,20,252,143,80,21,173,163,31,172,160,82,77,232,163,195,124,182,45,178,157,132,156,162,40,179,245,96,18,254,119,54,252,41,204,74,141,193,198,71,181,230,190,151,52,5,104,120,242,89,22,176,201,71,109,117,184,12,100,25,238,200,233,165,55,44,15,105,251,223,54,39,17,43,219,163,76,65,130,28,166,60,193,84,82,160,121,90,58,42,170,76,129,19,34,66,11,40,119,44,234,176,53,190,237,47,9,203,108,17,8,0,123,21,218,58,63,247,80,22,84,250,121,88,117,46,233,21,38,3,218,251,60,232,169,148,186,151,164,138,114,48,105,20,39,191,231,159,30,249,89,212,230,222,41,165,36,190,243,240,144,31,115,79,169,80,244,178,218,135,253,74,62,238,72,11,15,170,124,48,244,182,185,26,170,19,41,227,139,69,241,83,161,7,42,71,147,75,79,73,194,246,253,85,28,232,8,249,232,119,155,15,194,235,101,88,8,115,171,56,240,74,246,252,238,34,154,86,155,102,81,23,65,145,215,84,151,169,185,61,38,96,210,241,86,166,15,29,55,43,124,48,89,172,36,118,28,13,204,214,200,161,98,237,218,217,15,73,190,123,255,216,23,36,29,32,44,251,78,207,198,40,17,54,78,74,191,150,151,4,129,108,137,23,156,216,182,142,35,180,226,112,234,144,232,196,77,52,249,106,51,146,64,177,64,159,245,21,162,202,29,38,11,27,144,10,243,99,184,224,133,20,242,151,22,75,151,71,111,14,164,12,96,142,158,54,151,197,94,136,40,64,121,31,254,16,195,172,72,226,4,25,60,60,230,62,223,230,8,154,181,215,8,255,71,85,33,67,102,145,11,18,249,221,142,14,94,186,148,169,148,98,250,187,216,19,127,189,55,183,245,71,112,99,18,60,228,116,187,204,30,29,169,138,68,9,90,40,201,244,2,215,127,72,70,189,166,112,218,233,242,5,89,147,112,10,226,252,136,71,109,251,6,46,106,36,106,87,145,31,254,168,129,182,178,242,210,32,244,193,243,219,70,2,141,10,215,7,195,202,191,158,125,78,148,176,179,20,241,170,104,28,233,30,202,43,66,102,65,101,35,52,7,19,85,208,2,202,20,184,227,168,176,173,230,103,59,62,87,92,24,98,189,48,63,89,114,88,3,52,97,121,16,82,233,91,157,52,118,84,132,191,142,134,197,152,185,201,216,107,179,44,49,17,43,30,71,234,188,231,204,21,109,71,219,24,199,205,141,195,237,252,40,92,152,83,145,207,73,248,242,182,83,124,188,2,120,48,24,138,114,71,227,158,11,239,2,241,121,86,81,200,185,247,182,47,124,59,165,3,42,219,131,156,99,165,238,0,106,38,39,236,24,172,128,58,113,89,60,250,205,150,50,13,82,26,179,149,15,23,123,204,231,146,220,148,47,148,101,24,208,48,24,138,114,71,227,158,11,239,2,241,121,86,81,200,185,247,182,47,124,59,165,3,42,219,131,156,99,165,238,0,106,38,39,236,24,172,128,58,113,89,60,250,205,150,50,13,82,26,179,149,15,23,123,204,231,146,220,148,47,148,101,24,208,48,24,138,114,71,227,158,11,239,2,241,121,86,81,200,185,247,182,47,124,59,165,3,42,219,131,156,99,165,238,0,106,38,39,236,24,172,128,58,113,89,60,250,205,150,50,13,82,26,179,149,15,23,123,204,231,146,220,148,47,148,101,24,208,29,124,90,85,57,180,4,74,118,211,211,69,233,170,70,98,237,175,218,85,17,176,4,109,82,12,137,131,7,254,64,135,12,246,188,230,31,103,30,37,23,233,225,16,40,106,70,134,34,232,171,102,98,173,206,255,58,187,55,92,170,237,25,0,18,70,176,121,166,253,226,35,90,199,163,160,176,75,245,221,13,200,80,232,246,36,143,250,3,30,52,27,58,233,8,194,17,245,201,227,161,68,217,10,100,144,226,4,238,84,25,147,43,52,201,99,103,49,54,153,25,67,139,50,226,144,44,31,29,124,90,85,57,180,4,74,118,211,211,69,233,170,70,98,237,175,218,85,17,176,4,109,82,12,137,131,7,254,64,135,12,246,188,230,31,103,30,37,23,233,225,16,40,106,70,134,34,232,171,102,98,173,206,255,58,187,55,92,170,237,25,0,29,124,90,85,57,180,4,74,118,211,211,69,233,170,70,98,237,175,218,85,17,176,4,109,82,12,137,131,7,254,64,135,12,246,188,230,31,103,30,37,23,233,225,16,40,106,70,134,34,232,171,102,98,173,206,255,58,187,55,92,170,237,25,0,29,124,90,85,57,180,4,74,118,211,211,69,233,170,70,98,237,175,218,85,17,176,4,109,82,12,137,131,7,254,64,135,12,246,188,230,31,103,30,37,23,233,225,16,40,106,70,134,34,232,171,102,98,173,206,255,58,187,55,92,170,237,25,0,29,124,90,85,57,180,4,74,118,211,211,69,233,170,70,98,237,175,218,85,17,176,4,109,82,12,137,131,7,254,64,135,12,246,188,230,31,103,30,37,23,233,225,16,40,106,70,134,34,232,171,102,98,173,206,255,58,187,55,92,170,237,25,0,29,124,90,85,57,180,4,74,118,211,211,69,233,170,70,98,237,175,218,85,17,176,4,109,82,12,137,131,7,254,64,135,12,246,188,230,31,103,30,37,23,233,225,16,40,106,70,134,34,232,171,102,98,173,206,255,58,187,55,92,170,237,25,0,29,124,90,85,57,180,4,74,118,211,211,69,233,170,70,98,237,175,218,85,17,176,4,109,82,12,137,131,7,254,64,135,12,246,188,230,31,103,30,37,23,233,225,16,40,106,70,134,34,232,171,102,98,173,206,255,58,187,55,92,170,237,25,0,29,124,90,85,57,180,4,74,118,211,211,69,233,170,70,98,237,175,218,85,17,176,4,109,82,12,137,131,7,254,64,135,12,246,188,230,31,103,30,37,23,233,225,16,40,106,70,134,34,232,171,102,98,173,206,255,58,187,55,92,170,237,25,0,29,124,90,85,57,180,4,74,118,211,211,69,233,170,70,98,237,175,218,85,17,176,4,109,82,12,137,131,7,254,64,135,12,246,188,230,31,103,30,37,23,233,225,16,40,106,70,134,34,232,171,102,98,173,206,255,58,187,55,92,170,237,25,0,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,32,65,33,249,148,14,198,42,52,173,88,74,115,30,15,9,136,85,157,137,150,187,121,226,240,202,229,67,42,41,121,59,28,228,103,181,253,37,210,189,189,208,102,207,138,193,174,219,196,247,147,81,21,195,126,177,222,238,214,53,123,174,73,236,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,8,29,139,221,44,152,9,241,43,76,174,204,40,135,209,119,64,184,186,210,217,160,172,87,194,13,232,142,32,96,42,194,47,252,6,102,180,74,239,133,200,118,252,92,133,220,179,253,137,226,120,120,79,9,65,171,155,83,211,123,245,223,22,185,34,232,65,63,215,202,70,111,172,97,102,8,99,179,217,227,77,24,165,130,192,62,28,185,180,207,98,39,66,17,237,254,40,29,88,52,235,232,78,38,70,80,20,177,182,106,35,247,157,167,185,79,84,195,140,245,175,215,211,189,81,38,237,7,5,173,47,53,164,93,247,147,9,2,221,144,3,211,204,242,199,240,74,0,213,210,153,138,148,255,246,100,8,134,184,147,4,150,176,140,213,122,111,232,172,209,154,44,211,32,13,0,87,233,53,93,99,181,116,212,6,137,1,189,116,214,168,31,32,120,40,228,245,59,167,182,30,244,157,172,102,112,101,112,111,96,130,203,17,52,213,94,113,222,171,240,78,224,127,158,20,220,72,243,2,95,153,153,126,237,41,117,230,199,142,214,12,247,15,114,0,80,243,233,241,4,51,93,241,29,246,210,6,80,18,38,21,159,34,133,249,245,50,44,41,231,133,101,239,70,221,206,117,144,243,96,7,8,63,124,201,162,191,176,12,183,145,106,153,136,70,27,45,187,30,69,46,245,184,177,162,100,116,202,195,172,204,146,243,14,226,177,15,121,4,65,36,28,19,122,58,80,99,190,229,200,14,242,86,6,128,162,52,225,218,41,154,45,56,197,246,88,9,22,161,56,236,213,13,154,245,131,193,133,21,206,210,234,118,89,230,163,62,239,0,204,247,158,47,152,73,142,204,147,164,228,219,207,111,196,30,150,55,80,92,13,14,139,195,239,241,184,226,80,187,196,212,105,228,147,16,114,166,212,107,104,105,58,124,157,165,229,14,178,29,253,39,231,86,122,126,14,80,58,61,102,79,80,16,170,77,238,23,100,13,75,75,8,200,210,217,73,247,148,31,216,16,146,234,126,173,192,63,117,226,104,227,130,46,10,191,132,68,27,229,48,61,58,186,135,69,114,128,69,72,133,17,131,187,240,106,43,157,172,162,44,12,144,148,183,69,115,191,130,169,230,193,215,194,140,97,23,116,149,145,30,66,113,42,160,157,169,182,221,166,128,239,140,207,106,173,102,29,230,218,181,115,135,138,224,77,209,79,184,129,221,67,199,149,114,31,192,195,114,74,181,63,20,189,180,70,232,164,83,113,111,62,189,66,208,85,218,243,61,189,163,182,106,54,4,6,158,20,155,178,138,25,127,121,198,83,97,208,163,17,13,40,77,16,92,252,165,241,126,188,123,227,152,42,251,129,159,131,171,23,29,58,181,16,40,22,11,40,60,216,75,93,152,133,103,72,231,244,155,180,234,147,146,220,39,240,251,74,162,81,248,27,120,185,225,42,250,236,5,161,170,129,112,186,226,107,48,26,178,191,209,158,62,200,27,224,240,34,6,46,200,206,162,16,7,236,60,210,251,121,3,237,190,78,203,57,40,198,65,164,251,82,194,60,137,219,192,93,185,221,236,155,178,175,52,10,237,107,229,159,49,161,15,227,106,13,58,69,94,175,187,169,26,20,214,108,20,255,237,210,128,195,118,152,155,78,73,36,107,0,198,195,193,151,83,240,196,43,183,198,246,177,27,53,211,153,99,66,28,53,80,80,149,193,242,211,75,101,158,3,4,162,183,201,191,249,45,237,132,71,41,74,137,37,240,109,136,20,41,119,118,134,123,63,202,204,108,9,58,109,254,36,76,232,156,248,33,252,140,143,121,163,122,12,73,220,66,40,143,100,51,196,143,147,108,183,235,228,234,183,97,230,33,47,133,57,66,97,198,104,144,167,241,2,172,153,251,77,168,229,83,241,153,207,32,92,56,227,42,37,217,203,117,131,31,41,71,95,223,245,162,198,252,143,142,105,83,139,229,147,230,232,61,72,244,105,19,210,187,62,203,121,159,15,99,201,204,32,176,27,161,22,110,121,81,214,233,18,54,44,178,27,73,117,66,143,113,92,133,54,18,144,41,14,27,47,206,2,240,47,233,8,165,237,192,187,112,109,102,207,165,179,174,69,17,128,188,141,176,115,110,134,140,79,73,134,248,50,194,61,151,8,213,184,184,88,155,161,67,96,39,194,244,240,192,105,105,200,165,124,25,142,6,91,106,4,204,86,34,66,26,5,57,6,24,184,63,130,148,255,164,62,207,170,40,177,77,116,157,101,69,96,169,128,112,243,225,117,222,240,224,53,229,225,22,21,74,212,185,97,189,217,210,91,169,146,76,208,161,23,125,120,76,232,162,148,144,108,12,5,188,235,171,255,37,65,92,6,123,0,116,151,24,161,156,19,206,211,20,242,220,21,44,186,201,61,180,168,113,170,14,124,87,213,202,184,93,24,106,42,35,186,85,164,9,139,170,118,134,120,153,232,146,92,16,152,114,109,59,217,2,65,34,103,73,19,155,90,86,88,47,24,21,92,202,158,142,139,247,190,28,65,49,90,140,143,244,135,204,65,227,22,5,112,6,12,21,84,121,14,113,14,252,14,72,93,62,146,72,83,14,250,42,179,135,180,111,142,29,190,192,141,29,73,51,120,241,210,77,180,65,149,162,15,4,37,83,227,150,186,104,140,9,40,176,19,145,172,73,21,147,101,131,187,75,210,163,214,62,77,248,92,251,192,141,92,127,26,89,204,80,86,203,218,52,159,115,133,192,186,163,220,1,140,236,109,122,209,7,226,149,3,175,65,156,172,162,11,72,39,45,147,226,165,181,232,53,247,245,19,225,230,24,76,242,120,198,43,24,243,32,7,150,172,145,20,69,223,10,63,224,48,39,82,16,229,240,86,203,249,211,98,199,41,85,14,114,140,167,226,79,86,39,76,113,251,99,154,50,247,198,187,200,20,96,67,235,21,113,137,29,73,22,108,148,104,203,63,236,208,70,180,218,253,250,138,157,148,184,107,102,6,105,184,46,33,54,198,86,201,247,210,144,236,109,17,207,179,168,177,22,198,244,18,231,85,252,185,151,16,234,105,115,68,0,67,60,38,240,57,97,200,22,216,57,148,97,168,68,102,18,26,131,43,213,106,148,251,163,231,72,176,231,195,37,195,65,236,114,42,123,11,129,114,228,108,106,60,136,246,102,118,88,103,155,63,122,151,89,87,214,159,27,39,226,237,27,94,217,207,40,26,108,39,139,149,63,243,236,250,155,252,29,36,226,137,47,22,89,251,237,214,15,77,240,86,75,136,72,49,72,227,219,46,178,26,112,0,92,195,172,180,122,101,201,119,24,249,91,173,222,212,29,198,32,78,180,93,130,181,175,236,252,162,216,28,137,211,175,195,17,191,55,77,95,11,195,252,132,52,231,12,194,135,95,244,43,183,98,45,219,33,7,94,220,102,122,40,98,58,226,4,39,252,71,222,154,141,201,6,102,205,74,84,134,112,60,107,254,106,177,9,21,166,33,120,149,225,29,45,140,206,214,179,75,6,31,166,197,7,38,7,201,41,37,86,187,85,200,246,3,143,31,215,174,248,162,176,219,172,74,41,65,215,228,149,55,234,146,128,117,141,37,130,183,17,157,113,18,198,7,238,222,191,22,239,68,89,34,13,28,217,168,26,16,97,164,70,229,174,138,190,220,131,110,230,149,56,39,166,65,142,20,137,137,93,224,106,144,104,130,141,199,30,183,25,170,199,115,33,48,247,6,93,125,114,31,168,46,110,83,68,232,253,211,171,5,109,39,159,228,198,107,209,123,34,51,41,16,237,137,183,12,72,224,111,50,233,206,242,186,233,30,100,5,205,82,180,204,252,176,246,237,248,141,124,202,125,112,11,145,30,187,52,78,217,10,146,210,24,3,214,111,169,70,68,109,180,5,149,6,242,53,141,216,17,145,81,32,149,100,22,237,196,75,31,165,168,253,222,167,160,214,11,204,78,59,238,180,134,16,8,91,18,89,221,86,67,5,47,172,172,110,1,131,203,149,213,9,136,239,244,91,18,10,159,105,120,232,222,252,246,163,131,11,3,3,92,10,24,136,101,172,118,182,19,121,210,46,235,193,160,12,54,192,124,17,109,210,162,56,160,36,165,181,26,249,253,150,144,54,129,194,206,162,230,75,42,64,130,150,45,101,32,81,111,227,61,177,62,130,51,8,204,14,123,114,9,123,175,176,52,207,199,7,115,247,173,17,42,64,130,150,45,101,32,81,111,227,61,177,62,130,51,8,204,14,123,114,9,123,175,176,52,207,199,7,115,247,173,17,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,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,32,170,179,138,15,4,166,143,241,205,184,102,128,48,38,55,164,174,81,5,179,229,173,169,55,26,95,163,172,76,4,5,32,170,179,138,15,4,166,143,241,205,184,102,128,48,38,55,164,174,81,5,179,229,173,169,55,26,95,163,172,76,4,9,146,96,167,216,37,22,53,81,129,140,162,101,149,158,251,59,232,250,139,47,239,69,179,156,40,61,210,69,163,154,75,9,146,96,167,216,37,22,53,81,129,140,162,101,149,158,251,59,232,250,139,47,239,69,179,156,40,61,210,69,163,154,75,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,16,62,219,177,250,180,39,192,2,244,39,41,214,201,139,107,113,174,72,22,220,121,250,110,252,47,186,67,111,68,98,202,3,56,85,68,186,72,112,148,166,34,216,205,159,115,144,61,116,4,63,156,42,97,237,12,217,150,181,98,48,77,96,189,5,241,132,92,233,104,57,158,119,54,84,230,126,85,151,154,77,173,16,35,157,27,19,216,99,26,16,248,118,200,126,209,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,20,200,111,233,120,124,218,124,219,0,253,142,255,223,176,12,79,185,167,206,33,210,67,181,242,4,26,224,161,103,1,71,46,250,150,27,201,43,226,10,135,192,52,8,73,191,163,70,109,246,247,105,154,19,154,59,216,71,138,106,44,178,157,235,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,39,62,190,179,3,26,138,216,56,179,23,72,46,81,35,36,117,247,233,30,115,115,233,143,4,223,103,64,19,224,74,23,14,253,233,61,188,128,83,244,0,106,248,103,128,56,227,128,253,141,29,131,223,204,156,182,213,146,36,88,194,40,99,23,12,123,199,219,58,6,40,49,157,16,79,245,189,116,101,146,236,117,232,90,17,207,45,189,1,75,158,155,148,210,75,245,31,243,157,144,160,66,24,153,19,113,108,44,201,69,36,80,73,116,120,208,162,114,202,120,247,69,103,109,54,97,56,39,21,63,141,242,195,202,58,162,97,116,110,149,181,26,40,87,24,135,193,172,244,85,101,96,121,240,206,104,148,34,44,208,4,179,104,157,128,41,75,180,117,59,193,153,6,42,187,13,162,64,87,110,125,158,215,225,0,84,62,105,214,32,203,201,34,152,111,110,171,75,43,45,81,181,6,204,35,174,71,194,239,188,80,95,68,123,10,247,253,182,81,203,91,200,96,63,10,0,13,219,199,52,247,145,179,221,13,95,253,59,196,253,101,43,205,214,94,49,170,46,81,61,202,241,118,58,151,184,43,23,99,34,224,97,66,168,245,105,93,124,93,142,58,124,204,81,93,208,172,189,33,244,242,239,61,219,226,141,216,84,4,154,157,93,208,229,182,235,2,53,112,28,124,82,241,89,97,28,37,57,219,179,2,138,34,51,228,22,104,117,78,70,31,221,250,123,6,174,211,198,207,97,225,205,172,219,219,132,217,88,104,206,243,140,71,149,89,155,226,78,56,245,42,220,21,113,224,27,109,61,39,194,69,19,236,159,171,123,177,27,232,44,95,147,212,106,102,202,1,231,125,19,71,140,234,73,3,24,22,6,132,153,4,196,119,166,251,123,63,153,79,131,82,52,244,184,49,144,55,51,200,208,246,195,236,73,7,119,11,192,190,59,63,23,86,184,143,46,243,69,45,226,132,150,103,143,88,214,140,110,207,179,173,160,41,115,168,112,82,30,23,201,154,13,163,105,104,204,118,126,5,125,201,101,194,103,123,213,57,251,196,51,163,50,123,126,89,116,210,102,133,33,41,41,71,251,121,150,111,229,135,169,64,246,246,171,112,96,174,205,97,83,137,73,162,238,80,234,15,159,129,17,88,49,31,227,183,117,169,131,54,55,6,127,171,233,171,50,138,93,182,237,230,98,248,181,163,84,66,20,172,232,168,230,254,41,19,30,37,202,241,135,124,221,139,229,53,127,247,44,56,191,159,34,167,175,189,223,207,40,34,122,65,254,106,89,158,175,3,251,228,41,171,120,60,161,148,44,181,247,110,103,30,34,210,8,101,49,6,123,132,89,219,163,15,179,210,239,255,217,26,188,13,117,116,174,78,212,236,215,166,218,135,34,129,129,249,53,180,218,81,186,32,55,149,172,210,23,94,43,61,80,26,83,67,141,171,80,160,70,103,236,70,211,154,104,69,225,28,9,146,218,9,217,130,193,5,54,239,139,107,125,187,164,5,127,7,171,85,42,95,160,155,26,177,205,171,20,77,210,137,8,90,239,175,122,40,30,56,69,175,244,173,21,194,19,9,39,21,213,107,145,14,55,106,157,26,123,141,91,59,145,19,161,44,240,39,101,40,181,63,157,47,254,201,17,204,2,5,66,56,124,145,115,219,15,246,150,124,196,43,76,87,45,240,160,169,51,44,64,101,250,66,191,204,182,66,156,251,103,22,147,155,171,174,22,132,156,54,251,80,68,177,254,17,130,118,246,234,206,152,103,245,119,3,94,174,118,39,249,241,134,24,248,130,233,237,221,75,203,151,210,218,211,79,33,105,160,10,40,206,104,64,174,196,0,49,248,129,86,221,240,56,193,24,174,179,253,126,86,213,146,156,149,139,6,130,4,99,46,60,214,128,100,75,111,124,139,136,108,242,78,84,255,219,24,44,104,253,97,77,3,83,246,31,36,88,254,116,103,114,4,100,167,214,21,40,177,1,81,171,225,26,4,152,14,66,228,19,67,235,127,135,90,216,124,15,127,233,160,218,225,103,4,150,189,150,33,119,20,110,3,74,12,112,207,89,29,226,22,12,33,25,139,193,14,165,240,226,128,204,98,98,18,53,92,122,216,175,2,208,34,244,239,187,93,165,27,243,229,48,117,1,41,151,42,89,165,221,71,27,94,170,14,190,55,219,61,175,7,40,153,56,103,212,4,42,150,228,216,108,109,179,242,38,103,83,253,210,177,199,116,73,249,54,128,123,248,154,80,14,70,45,188,203,108,118,224,131,127,41,1,205,197,78,96,37,43,5,244,59,18,176,100,129,80,161,167,93,172,93,248,216,96,251,214,233,12,38,46,65,51,155,1,21,218,54,174,14,12,254,148,202,248,252,73,64,117,71,121,200,75,208,104,4,20,134,204,224,241,222,24,101,23,198,175,253,60,16,48,29,174,119,220,27,175,73,160,55,53,87,161,121,113,144,99,90,16,50,16,46,160,84,245,211,42,24,66,175,229,17,174,27,18,121,228,189,120,211,202,160,51,233,154,9,56,157,6,44,81,194,237,134,52,162,91,38,250,63,220,16,138,197,153,15,90,253,142,85,27,213,45,101,87,12,124,142,85,83,178,230,39,56,184,202,224,222,128,62,245,55,241,45,143,62,43,43,249,36,35,171,177,230,227,117,0,46,196,1,123,113,190,173,148,194,15,121,76,218,100,33,154,167,98,191,45,10,161,5,16,105,185,122,174,67,102,216,207,75,49,138,147,120,238,112,149,108,79,32,181,17,13,12,16,214,59,154,89,128,227,35,250,0,0,45,80,128,177,239,171,210,162,10,156,205,58,25,186,174,24,136,21,99,42,14,77,34,6,155,122,139,224,42,53,63,173,119,245,190,46,15,7,155,11,194,144,156,44,1,186,132,22,13,9,149,70,111,205,95,155,92,240,250,221,43,148,142,150,195,231,15,178,185,193,222,123,160,6,168,247,137,249,94,16,73,236,32,152,63,85,135,73,130,91,149,158,6,109,252,224,18,212,191,33,236,148,25,197,73,250,55,9,217,253,166,8,210,179,6,26,55,81,42,144,94,70,52,185,18,75,251,107,177,111,1,206,64,42,11,63,70,100,190,70,92,186,5,9,42,233,213,66,62,62,103,157,113,141,68,205,20,147,210,247,43,117,183,245,83,144,184,119,213,18,235,44,48,19,32,177,72,168,218,46,232,225,12,48,152,141,18,62,18,165,1,168,119,20,2,181,219,205,19,48,181,33,92,118,102,241,50,88,35,44,118,24,254,198,229,64,69,185,243,56,19,12,61,14,175,229,87,59,115,69,193,166,235,82,106,54,60,144,95,16,8,2,42,192,33,123,16,118,68,39,207,78,15,69,147,155,196,215,72,88,83,137,143,47,226,52,6,109,125,55,162,217,210,54,104,84,65,45,143,173,241,246,62,62,5,187,4,136,13,48,230,100,129,57,78,35,243,197,16,185,4,234,41,184,80,19,40,72,181,45,13,207,88,191,88,117,16,208,252,251,107,114,237,70,217,117,9,84,225,98,87,5,67,204,65,38,243,49,93,6,126,161,134,67,17,214,229,86,19,179,230,214,45,162,28,176,204,217,11,234,74,122,12,29,33,151,23,63,187,134,249,155,178,195,119,89,81,242,68,128,25,153,106,249,20,201,140,101,131,222,40,105,111,196,196,203,123,14,96,35,80,105,35,181,219,181,159,23,210,88,17,129,40,79,119,171,184,28,136,224,170,29,35,240,218,0,148,245,210,29,95,120,150,25,228,151,118,21,215,100,203,238,143,69,8,47,99,181,233,89,54,193,162,206,189,223,42,232,205,87,215,5,8,134,209,120,200,237,249,88,63,129,69,34,205,168,4,133,82,141,60,205,247,12,88,57,71,161,120,172,201,65,21,137,206,21,198,184,237,220,124,80,24,86,229,147,180,166,27,179,152,130,98,124,66,100,53,24,144,233,204,44,232,156,248,196,135,227,243,186,81,210,98,163,142,211,239,97,157,178,3,116,8,220,10,105,84,154,136,50,179,66,115,223,27,148,135,112,60,197,31,243,96,230,167,62,108,53,161,3,156,105,42,131,28,144,168,161,43,8,167,79,147,238,226,62,75,139,27,146,89,108,24,124,169,133,27,122,130,225,51,215,19,3,39,21,22,148,159,243,84,104,132,16,171,193,153,190,102,4,59,159,246,85,152,122,105,210,177,240,159,83,247,76,111,177,20,147,131,178,42,71,45,202,18,40,121,129,173,201,125,30,252,13,44,211,9,99,64,166,252,83,87,76,34,42,23,206,16,130,103,216,83,206,91,84,125,229,17,0,69,156,183,144,134,17,167,250,12,54,94,26,15,60,184,87,124,17,120,57,18,117,20,61,141,70,97,97,34,132,55,16,114,45,208,216,248,187,172,70,172,243,20,38,58,122,52,80,57,167,14,141,20,147,131,178,42,71,45,202,18,40,121,129,173,201,125,30,252,13,44,211,9,99,64,166,252,83,87,76,34,42,23,206,16,130,103,216,83,206,91,84,125,229,17,0,69,156,183,144,134,17,167,250,12,54,94,26,15,60,184,87,124,17,120,57,18,117,20,61,141,70,97,97,34,132,55,16,114,45,208,216,248,187,172,70,172,243,20,38,58,122,52,80,57,167,14,141,20,147,131,178,42,71,45,202,18,40,121,129,173,201,125,30,252,13,44,211,9,99,64,166,252,83,87,76,34,42,23,206,16,130,103,216,83,206,91,84,125,229,17,0,69,156,183,144,134,17,167,250,12,54,94,26,15,60,184,87,124,17,120,57,18,117,20,61,141,70,97,97,34,132,55,16,114,45,208,216,248,187,172,70,172,243,20,38,58,122,52,80,57,167,14,141,2,125,135,97,254,251,197,133,218,146,223,59,253,224,213,87,187,112,1,237,55,207,42,193,102,95,56,187,114,159,201,101,26,44,105,245,171,212,215,22,46,93,87,24,73,91,105,142,21,174,230,152,47,142,6,130,114,164,87,72,202,172,44,45,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,24,180,192,214,53,235,228,166,197,204,161,213,127,47,122,101,21,104,220,47,187,84,109,151,208,146,92,6,238,58,148,123,9,222,112,227,201,176,160,143,90,15,71,92,93,255,24,21,4,252,40,162,58,172,165,145,26,157,68,169,11,71,218,78,45,25,137,19,112,192,177,9,134,235,140,245,189,168,218,174,108,89,221,2,55,187,186,156,254,87,223,180,224,107,244,205,2,125,135,97,254,251,197,133,218,146,223,59,253,224,213,87,187,112,1,237,55,207,42,193,102,95,56,187,114,159,201,101,26,44,105,245,171,212,215,22,46,93,87,24,73,91,105,142,21,174,230,152,47,142,6,130,114,164,87,72,202,172,44,45,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,2,125,135,97,254,251,197,133,218,146,223,59,253,224,213,87,187,112,1,237,55,207,42,193,102,95,56,187,114,159,201,101,26,44,105,245,171,212,215,22,46,93,87,24,73,91,105,142,21,174,230,152,47,142,6,130,114,164,87,72,202,172,44,45,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,2,125,135,97,254,251,197,133,218,146,223,59,253,224,213,87,187,112,1,237,55,207,42,193,102,95,56,187,114,159,201,101,26,44,105,245,171,212,215,22,46,93,87,24,73,91,105,142,21,174,230,152,47,142,6,130,114,164,87,72,202,172,44,45,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,2,125,135,97,254,251,197,133,218,146,223,59,253,224,213,87,187,112,1,237,55,207,42,193,102,95,56,187,114,159,201,101,26,44,105,245,171,212,215,22,46,93,87,24,73,91,105,142,21,174,230,152,47,142,6,130,114,164,87,72,202,172,44,45,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,2,125,135,97,254,251,197,133,218,146,223,59,253,224,213,87,187,112,1,237,55,207,42,193,102,95,56,187,114,159,201,101,26,44,105,245,171,212,215,22,46,93,87,24,73,91,105,142,21,174,230,152,47,142,6,130,114,164,87,72,202,172,44,45,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,2,125,135,97,254,251,197,133,218,146,223,59,253,224,213,87,187,112,1,237,55,207,42,193,102,95,56,187,114,159,201,101,26,44,105,245,171,212,215,22,46,93,87,24,73,91,105,142,21,174,230,152,47,142,6,130,114,164,87,72,202,172,44,45,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,2,125,135,97,254,251,197,133,218,146,223,59,253,224,213,87,187,112,1,237,55,207,42,193,102,95,56,187,114,159,201,101,26,44,105,245,171,212,215,22,46,93,87,24,73,91,105,142,21,174,230,152,47,142,6,130,114,164,87,72,202,172,44,45,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,2,125,135,97,254,251,197,133,218,146,223,59,253,224,213,87,187,112,1,237,55,207,42,193,102,95,56,187,114,159,201,101,26,44,105,245,171,212,215,22,46,93,87,24,73,91,105,142,21,174,230,152,47,142,6,130,114,164,87,72,202,172,44,45,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,43,220,143,42,169,250,32,215,130,204,190,121,77,200,198,27,126,216,134,155,240,112,222,207,116,86,165,50,46,93,250,126,8,21,122,183,73,159,206,251,223,238,157,8,68,151,37,215,64,101,18,204,156,179,114,141,133,59,116,156,143,67,219,149,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,13,16,62,228,163,152,101,136,65,183,23,49,56,161,203,133,162,203,15,19,126,102,20,88,129,31,48,121,225,73,93,246,20,121,40,8,1,113,124,49,181,214,43,209,94,216,164,89,44,121,102,146,12,47,234,250,232,14,122,149,236,217,210,103,33,108,177,88,55,60,0,197,109,106,62,99,121,215,148,155,16,119,202,71,147,86,66,91,191,46,20,242,20,211,135,71,42,116,65,235,12,121,110,178,42,198,82,103,138,208,69,182,153,204,102,145,111,171,4,23,119,216,63,198,128,255,64,12,35,213,19,7,58,217,113,201,150,38,93,83,155,176,19,196,68,123,150,86,17,104,136,248,146,133,154,126,151,51,189,176,4,22,137,184,87,112,200,158,55,30,37,55,112,69,16,50,74,84,201,243,5,154,245,204,114,223,44,4,221,207,39,39,21,125,198,225,24,108,42,89,154,172,98,28,65,159,191,119,163,20,13,10,40,119,85,194,205,55,162,166,112,199,21,169],"hex_proof":"0x0f5d69f2d64921b61982923f6609877f29198f4d16297881901f1fcdfad5236d23038fb0d65a8ab68d9b51ee93b148d8723cd9db31b2cca13965312eb0cce36412bcbaee0ddd529b726cfaced8293a07250ba18271231da4b5467caf8778a2b02097c6bb2ef197592f69a78d8f886ee225fa538068564570cf82ad62a56a4f601fba9275d257cdd22a840ab162ddc47c70b45a70511c84ad8bc9a764a19a5b4f03aea946cdf669494a635550bbb3da76180894db755c0da43122df0be370beb7132bb714b806179ad05a06010041c8128ed1b776415051793d5c2f56715001b015bb9a622da2a87ab8d608812487bf6956822396652902d726689791aa57b4cc07ebe390bccf53ed2a4807e72e012175b1d6900d60bf6057a142ce91139d80c911d023f70b6f0c2e2ed58bb6ed1593cc01681f3027009dc1a7c2269e3f95b9992a0ef86028334b62ffcdfe0db2b5510478e5bb9a2b117ac311743c98077862a819211d25775fd6378a2919628e104a196536372c107555e89f50686054e6f7130c7a083c8f23b42fe0c737114f58757d5c7f01829a12cd03fa2c2f997d6da6e7038ba49415273c7755a85911357ec498cce6097c8bec4c164f58a74044cd7a831313c52015af39ef66404c25f6c056390278986756a91349f4fa8fa2ada8617d0183071d1923da4e8e0c8f8595f2c0fd1d42cfee9a6211e82ef454b27788ef5d2d196d80de49202f8b72b6701740703dadeb3351218487de049a4896ff6f57c810d3dc20a0b227d3d96b00b8790798c5c12348975ea483b1dfe294b585cdb0e50a50264c1a2ac1de32f76e177a80106589854077755657e6fe8a8b17e5335d7c09752b779820f9bcf727159709ddd7e2d631bb998b5331d39af7b3defe44f7fc0625b0a6b2e59772d421200c546295e6358855c91fb0fb6396c73aee26a207fb12d36f0e624f2060bde3c944fdb3123a0053a6d555bdf66da057671a373103661854f67de0b6d03c59e4c08155cce255f2f15877868b03e7614f602d8875ad550f403d0a6bc6f56decff0b8e4dbe5ef0867beea219ea404d861c5d6e669916fb14ae93cc60af89071eae8f8880b2338f75a9a8c74562aa82acf493b1152ba5741255a9bc0c4d8dca8d4334b0149c11ad1d4e521b394a6e723838cc4e9060cebd088cbab208f60517da88492bf8c0edfe85635f6c7193f4c34d7927e57cd94ea60e13e4dcc3b558686251aba0425b1dba895e999c00c8a81c9a8efe18580b83a72cf5582c4337e450f36abcba9583ea534631a6cc863556c1fe42259e23697a6723fdf6a6f80bc8ae10a1e4b6a85fc20714a9539190633e2f7b8800a48755393e0efab6b579a4de78919ba57bd9dd6da5a154ac3945c89881945fe9293cc176c418fcb65fcc67603a73d9b40c5ee44d145f753a4df75f2313c9bc1977339c819f00b56a30fde6c8a41c7192a6d203eb9f99d6a10e4fcb9a7f6d715d3e23c1989810c95c04f1f179242767e1dd703787ffaef81466d841d27d136a06f67bb32c880cc8865a6eb4e9315c15efc37a831785aeb4252169f078b8d43daf42de63c7b028a58ca6329d6bc4dee974a6dec4c5f7a89d1e84b05ab27cabf80124ad641f4303085ece940cf132eea917d67d3d09b9c2ae95d10fcf1dc7ec31b67fcb2a994f0801f0461ed4f90090cb1cd31b3b496c59902af3d025dba43ff838a497b99104176fae10ef9d5dfc4c0df23bf0856e23d385775af14956d86cf8f7de338b28e8096b04942dc59a5a50138e187aeb912fb061a771089e6d1c4df9eb79aefa4eae2f7fe9e05c66fa101ae3c2daaf57f54a7d46bac76b6e2f9cdcdceb06127165f310f1a7759bc4eba374c441789f48883a854e461fe5a484d92a02e389d69fde2d1d0978fa731fad2e71fcb809eaf4552c8f530675f94d77a8a98d83ca085e20a50c13afb272787978a5d93e08b4cdaa298b8cd3541773d3f1e3e7851ff317d8c72fe25381e333642cec172d7e0526e90283b221a6e70b1e332244e0038bbc67d413aa50499c235d048190df45e377b40f9ba88727de883d1386b7e521ba2ed3e8259dc545e27f906e9d910a87868cc21f430d74622fa8c2b508e04114929f9a96219093ae0199c93e1a725c13245bf53e610817690b6f960beaad11144811380212763e64341776d8ae34892dd1bdac91fa5ff2b34da70b1fe8ec3537f74bc9d6110e5d8d096b876665684f70557ae9e3f6aaaae81b1c323513f835e42e52e85005365c1b4ede62febd31a04e71bde2263fea7b888ed1fb73294b0336d294e412009f90de5ff2f327ed25f8a77dd12f5048269edd0ead9f7e60f63820e06036240b6e474a4bb0a67089b2bdb483740280d229adf629566ae85294d03dbe6cce5220d06e50087560f89c82fc7ca110229a1d2b9759d0250f237907145a9c4326980beb0d0cb2f2b6467c148ba7d879e45400e8200f20cc02c616a136edec64ccba127f4691f1e630e2cb85c0dbe17b244560a8dd6a28830f6ef158c19021b949540150470ee066f8c8c8dcada17446f675cafb8fb151def9728cb25b22c4568ac72e72664e5858242763c61d636483e29cf946aa123378c3c5e3dcfdd5a3a0c4330bc221445f4adf0e64fc1ed10f69b14782fe593888560e5518c3f36551caabfe0a6b830608d61b2cee281a8ed4ac7260af8cbd84194007fd6e07996f05efd01c04a0a465e5c6a0a06b4a9bb2a68e9be9a289bccd9611eb8f5e66a0f0f1789cb025b2a7e0b182e6195738f63d3e073a46004389c3d1c66574ab5437a42e5787df1cca5ac99f1055f66d472a1dc999cba43fb908af99ecbce00f73bbc27e0ae12524c6d73c0c2fa2c8cf8c2328b54fe9c4685e8c677e82ee06648e8a88afaa223d2cda4728b5e4ab6d2bcda2ce2c38e838b9083e8dfeb1382bb76e5773bbfbd7e0044ed7d99aa15b4bbf9ee419cbd7049d8fe2a82def3912ebc6d5396b6b7e1a3c2cda4728b5e4ab6d2bcda2ce2c38e838b9083e8dfeb1382bb76e5773bbfbd7e0044ed7d99aa15b4bbf9ee419cbd7049d8fe2a82def3912ebc6d5396b6b7e1a3c2cda4728b5e4ab6d2bcda2ce2c38e838b9083e8dfeb1382bb76e5773bbfbd7e0044ed7d99aa15b4bbf9ee419cbd7049d8fe2a82def3912ebc6d5396b6b7e1a3c1dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea3906ee42005bea4531982d359338d89466c61e8d34d1a559a65ba1d62859f008ad07eb266dca03caa96a181e1c1a73848cc0612735538a8aa0e6a47303871179f11dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea391dd7fd331e0da0ca0e2259b970b7aa092b40575657dfeeddb9b5b56984f5a7d918ce54516d45701f0e5a16633bde53bef1485667275a62c92a1d0595e978ea3914fc8f5015ada31faca0524de8a3c37cb62db29d849ca228b3f56012fe7736fc29cc4a8dc1c647b5e6be9734056878f25916b0c9476d75b80c6419eec8e9a5372c0f69fbdf3627112bdba34c41821ca63cc15452a0795a3a2aaa4c811322420b28772ceab035beed2f09cb6c1108007b15da3a3ff7501654fa7958752ee9152603dafb3ce8a994ba97a48a7230691427bfe79f1ef959d4e6de29a524bef3f0901f734fa950f4b2da87fd4a3eee480b0faa7c30f4b6b91aaa1329e38b45f153a1072a47934b4f49c2f6fd551ce808f9e8779b0fc2eb65580873ab38f04af6fcee229a569b6651174191d75497a9b93d2660d2f156a60f1d372b7c3059ac24761c0dccd6c8a162eddad90f49be7bffd817241d202cfb4ecfc62811364e4abf969704816c89179cd8b68e23b4e270ea90e8c44d34f96a339240b1409ff515a2ca1d260b1b900af363b8e08514f297164b97476f0ea40c608e9e3697c55e882840791ffe10c3ac48e204193c3ce63edfe6089ab5d708ff4755214366910b12f9dd8e0e5eba94a99462fabbd8137fbd37b7f5477063123ce474bbcc1e1da98a44095a28c9f402d77f4846bda670dae9f2055993700ae2fc88476dfb062e6a246a57911ffea881b6b2f2d220f4c1f3db46028d0ad707c3cabf9e7d4e94b0b314f1aa681ce91eca2b426641652334071355d002ca14b8e3a8b0ade6673b3e575c1862bd303f597258033461791052e95b9d34765484bf8e86c598b9c9d86bb32c31112b1e47eabce7cc156d47db18c7cd8dc3edfc285c985391cf49f8f2b6537cbc027830188a7247e39e0bef02f1795651c8b9f7b62f7c3ba5032adb839c63a5ee006a2627ec18ac803a71593cfacd96320d521ab3950f177bcce792dc942f946518d030188a7247e39e0bef02f1795651c8b9f7b62f7c3ba5032adb839c63a5ee006a2627ec18ac803a71593cfacd96320d521ab3950f177bcce792dc942f946518d030188a7247e39e0bef02f1795651c8b9f7b62f7c3ba5032adb839c63a5ee006a2627ec18ac803a71593cfacd96320d521ab3950f177bcce792dc942f946518d01d7c5a5539b4044a76d3d345e9aa4662edafda5511b0046d520c898307fe40870cf6bce61f671e2517e9e110286a468622e8ab6662adceff3abb375caaed19001246b079a6fde2235ac7a3a0b04bf5dd0dc850e8f6248ffa031e341b3ae908c211f5c9e3a144d90a6490e204ee5419932b34c9636731369919438b32e2902c1f1d7c5a5539b4044a76d3d345e9aa4662edafda5511b0046d520c898307fe40870cf6bce61f671e2517e9e110286a468622e8ab6662adceff3abb375caaed19001d7c5a5539b4044a76d3d345e9aa4662edafda5511b0046d520c898307fe40870cf6bce61f671e2517e9e110286a468622e8ab6662adceff3abb375caaed19001d7c5a5539b4044a76d3d345e9aa4662edafda5511b0046d520c898307fe40870cf6bce61f671e2517e9e110286a468622e8ab6662adceff3abb375caaed19001d7c5a5539b4044a76d3d345e9aa4662edafda5511b0046d520c898307fe40870cf6bce61f671e2517e9e110286a468622e8ab6662adceff3abb375caaed19001d7c5a5539b4044a76d3d345e9aa4662edafda5511b0046d520c898307fe40870cf6bce61f671e2517e9e110286a468622e8ab6662adceff3abb375caaed19001d7c5a5539b4044a76d3d345e9aa4662edafda5511b0046d520c898307fe40870cf6bce61f671e2517e9e110286a468622e8ab6662adceff3abb375caaed19001d7c5a5539b4044a76d3d345e9aa4662edafda5511b0046d520c898307fe40870cf6bce61f671e2517e9e110286a468622e8ab6662adceff3abb375caaed19001d7c5a5539b4044a76d3d345e9aa4662edafda5511b0046d520c898307fe40870cf6bce61f671e2517e9e110286a468622e8ab6662adceff3abb375caaed1900204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec204121f9940ec62a34ad584a731e0f0988559d8996bb79e2f0cae5432a29793b1ce467b5fd25d2bdbdd066cf8ac1aedbc4f7935115c37eb1deeed6357bae49ec081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b9081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b9081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b9081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b9081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b9081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b9081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b9081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b9081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b9081d8bdd2c9809f12b4caecc2887d17740b8bad2d9a0ac57c20de88e20602ac22ffc0666b44aef85c876fc5c85dcb3fd89e278784f0941ab9b53d37bf5df16b922e8413fd7ca466fac61660863b3d9e34d18a582c03e1cb9b4cf62274211edfe281d5834ebe84e26465014b1b66a23f79da7b94f54c38cf5afd7d3bd5126ed0705ad2f35a45df7930902dd9003d3ccf2c7f04a00d5d2998a94fff6640886b8930496b08cd57a6fe8acd19a2cd3200d0057e9355d63b574d4068901bd74d6a81f207828e4f53ba7b61ef49dac667065706f6082cb1134d55e71deabf04ee07f9e14dc48f3025f99997eed2975e6c78ed60cf70f720050f3e9f104335df11df6d206501226159f2285f9f5322c29e78565ef46ddce7590f36007083f7cc9a2bfb00cb7916a9988461b2dbb1e452ef5b8b1a26474cac3accc92f30ee2b10f790441241c137a3a5063bee5c80ef2560680a234e1da299a2d38c5f6580916a138ecd50d9af583c18515ced2ea7659e6a33eef00ccf79e2f98498ecc93a4e4dbcf6fc41e9637505c0d0e8bc3eff1b8e250bbc4d469e4931072a6d46b68693a7c9da5e50eb21dfd27e7567a7e0e503a3d664f5010aa4dee17640d4b4b08c8d2d949f7941fd81092ea7eadc03f75e268e3822e0abf84441be5303d3aba874572804548851183bbf06a2b9daca22c0c9094b74573bf82a9e6c1d7c28c61177495911e42712aa09da9b6dda680ef8ccf6aad661de6dab573878ae04dd14fb881dd43c795721fc0c3724ab53f14bdb446e8a453716f3ebd42d055daf33dbda3b66a3604069e149bb28a197f79c65361d0a3110d284d105cfca5f17ebc7be3982afb819f83ab171d3ab51028160b283cd84b5d98856748e7f49bb4ea9392dc27f0fb4aa251f81b78b9e12afaec05a1aa8170bae26b301ab2bfd19e3ec81be0f022062ec8cea21007ec3cd2fb7903edbe4ecb3928c641a4fb52c23c89dbc05db9ddec9bb2af340aed6be59f31a10fe36a0d3a455eafbba91a14d66c14ffedd280c376989b4e49246b00c6c3c19753f0c42bb7c6f6b11b35d39963421c35505095c1f2d34b659e0304a2b7c9bff92ded8447294a8925f06d8814297776867b3fcacc6c093a6dfe244ce89cf821fc8c8f79a37a0c49dc42288f6433c48f936cb7ebe4eab761e6212f85394261c66890a7f102ac99fb4da8e553f199cf205c38e32a25d9cb75831f29475fdff5a2c6fc8f8e69538be593e6e83d48f46913d2bb3ecb799f0f63c9cc20b01ba1166e7951d6e912362cb21b4975428f715c85361290290e1b2fce02f02fe908a5edc0bb706d66cfa5b3ae451180bc8db0736e868c4f4986f832c23d9708d5b8b8589ba1436027c2f4f0c06969c8a57c198e065b6a04cc5622421a05390618b83f8294ffa43ecfaa28b14d749d654560a98070f3e175def0e035e5e116154ad4b961bdd9d25ba9924cd0a1177d784ce8a294906c0c05bcebabff25415c067b00749718a19c13ced314f2dc152cbac93db4a871aa0e7c57d5cab85d186a2a23ba55a4098baa76867899e8925c1098726d3bd90241226749139b5a56582f18155cca9e8e8bf7be1c41315a8c8ff487cc41e3160570060c1554790e710efc0e485d3e9248530efa2ab387b46f8e1dbec08d1d493378f1d24db44195a20f042553e396ba688c0928b01391ac4915936583bb4bd2a3d63e4df85cfbc08d5c7f1a59cc5056cbda349f7385c0baa3dc018cec6d7ad107e29503af419caca20b48272d93e2a5b5e835f7f513e1e6184cf278c62b18f3200796ac911445df0a3fe030275210e5f056cbf9d362c729550e728ca7e24f56274c71fb639a32f7c6bbc8146043eb1571891d49166c9468cb3fecd046b4dafdfa8a9d94b86b660669b82e2136c656c9f7d290ec6d11cfb3a8b116c6f412e755fcb99710ea69734400433c26f03961c816d8399461a84466121a832bd56a94fba3e748b0e7c325c341ec722a7b0b8172e46c6a3c88f6667658679b3f7a975957d69f1b27e2ed1b5ed9cf281a6c278b953ff3ecfa9bfc1d24e2892f1659fbedd60f4df0564b88483148e3db2eb21a70005cc3acb47a65c97718f95badded41dc6204eb45d82b5afecfca2d81c89d3afc311bf374d5f0bc3fc8434e70cc2875ff42bb7622ddb21075edc667a28623ae20427fc47de9a8dc90666cd4a5486703c6bfe6ab10915a6217895e11d2d8cced6b34b061fa6c5072607c9292556bb55c8f6038f1fd7aef8a2b0dbac4a2941d7e49537ea9280758d2582b7119d7112c607eedebf16ef4459220d1cd9a81a1061a446e5ae8abedc836ee6953827a6418e1489895de06a9068828dc71eb719aac7732130f7065d7d721fa82e6e5344e8fdd3ab056d279fe4c66bd17b22332910ed89b70c48e06f32e9cef2bae91e6405cd52b4ccfcb0f6edf88d7cca7d700b911ebb344ed90a92d21803d66fa946446db4059506f2358dd811915120956416edc44b1fa5a8fddea7a0d60bcc4e3beeb48610085b1259dd5643052facac6e0183cb95d50988eff45b120a9f6978e8defcf6a3830b03035c0a188865ac76b61379d22eebc1a00c36c07c116dd2a238a024a5b51af9fd96903681c2cea2e64b2a4082962d6520516fe33db13e823308cc0e7b72097bafb034cfc70773f7ad112a4082962d6520516fe33db13e823308cc0e7b72097bafb034cfc70773f7ad110000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000520aab38a0f04a68ff1cdb86680302637a4ae5105b3e5ada9371a5fa3ac4c040520aab38a0f04a68ff1cdb86680302637a4ae5105b3e5ada9371a5fa3ac4c04099260a7d825163551818ca265959efb3be8fa8b2fef45b39c283dd245a39a4b099260a7d825163551818ca265959efb3be8fa8b2fef45b39c283dd245a39a4b000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000103edbb1fab427c002f42729d6c98b6b71ae4816dc79fa6efc2fba436f4462ca03385544ba487094a622d8cd9f73903d74043f9c2a61ed0cd996b562304d60bd05f1845ce968399e773654e67e55979a4dad10239d1b13d8631a10f876c87ed100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000014c86fe9787cda7cdb00fd8effdfb00c4fb9a7ce21d243b5f2041ae0a16701472efa961bc92be20a87c0340849bfa3466df6f7699a139a3bd8478a6a2cb29deb00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000273ebeb3031a8ad838b317482e51232475f7e91e7373e98f04df674013e04a170efde93dbc8053f4006af8678038e380fd8d1d83dfcc9cb6d5922458c22863170c7bc7db3a0628319d104ff5bd746592ec75e85a11cf2dbd014b9e9b94d24bf51ff39d90a042189913716c2cc9452450497478d0a272ca78f745676d36613827153f8df2c3ca3aa261746e95b51a28571887c1acf455656079f0ce6894222cd004b3689d80294bb4753bc199062abb0da240576e7d9ed7e100543e69d620cbc922986f6eab4b2b2d51b506cc23ae47c2efbc505f447b0af7fdb651cb5bc8603f0a000ddbc734f791b3dd0d5ffd3bc4fd652bcdd65e31aa2e513dcaf1763a97b82b176322e06142a8f5695d7c5d8e3a7ccc515dd0acbd21f4f2ef3ddbe28dd854049a9d5dd0e5b6eb0235701c7c52f159611c2539dbb3028a2233e41668754e461fddfa7b06aed3c6cf61e1cdacdbdb84d95868cef38c4795599be24e38f52adc1571e01b6d3d27c24513ec9fab7bb11be82c5f93d46a66ca01e77d13478cea4903181606849904c477a6fb7b3f994f835234f4b831903733c8d0f6c3ec4907770bc0be3b3f1756b88f2ef3452de28496678f58d68c6ecfb3ada02973a870521e17c99a0da36968cc767e057dc965c2677bd539fbc433a3327b7e5974d2668521292947fb79966fe587a940f6f6ab7060aecd61538949a2ee50ea0f9f811158311fe3b775a9833637067fabe9ab328a5db6ede662f8b5a3544214ace8a8e6fe29131e25caf1877cdd8be5357ff72c38bf9f22a7afbddfcf28227a41fe6a599eaf03fbe429ab783ca1942cb5f76e671e22d2086531067b8459dba30fb3d2efffd91abc0d7574ae4ed4ecd7a6da87228181f935b4da51ba203795acd2175e2b3d501a53438dab50a04667ec46d39a6845e11c0992da09d982c10536ef8b6b7dbba4057f07ab552a5fa09b1ab1cdab144dd289085aefaf7a281e3845aff4ad15c213092715d56b910e376a9d1a7b8d5b3b9113a12cf0276528b53f9d2ffec911cc020542387c9173db0ff6967cc42b4c572df0a0a9332c4065fa42bfccb6429cfb6716939babae16849c36fb5044b1fe118276f6eace9867f577035eae7627f9f18618f882e9eddd4bcb97d2dad34f2169a00a28ce6840aec40031f88156ddf038c118aeb3fd7e56d5929c958b068204632e3cd680644b6f7c8b886cf24e54ffdb182c68fd614d0353f61f2458fe7467720464a7d61528b10151abe11a04980e42e41343eb7f875ad87c0f7fe9a0dae1670496bd962177146e034a0c70cf591de2160c21198bc10ea5f0e280cc626212355c7ad8af02d022f4efbb5da51bf3e530750129972a59a5dd471b5eaa0ebe37db3daf0728993867d4042a96e4d86c6db3f2266753fdd2b1c77449f936807bf89a500e462dbccb6c76e0837f2901cdc54e60252b05f43b12b0648150a1a75dac5df8d860fbd6e90c262e41339b0115da36ae0e0cfe94caf8fc4940754779c84bd068041486cce0f1de186517c6affd3c10301dae77dc1baf49a0373557a1797190635a1032102ea054f5d32a1842afe511ae1b1279e4bd78d3caa033e99a09389d062c51c2ed8634a25b26fa3fdc108ac5990f5afd8e551bd52d65570c7c8e5553b2e62738b8cae0de803ef537f12d8f3e2b2bf92423abb1e6e375002ec4017b71bead94c20f794cda64219aa762bf2d0aa1051069b97aae4366d8cf4b318a9378ee70956c4f20b5110d0c10d63b9a5980e323fa00002d5080b1efabd2a20a9ccd3a19baae188815632a0e4d22069b7a8be02a353fad77f5be2e0f079b0bc2909c2c01ba84160d0995466fcd5f9b5cf0fadd2b948e96c3e70fb2b9c1de7ba006a8f789f95e1049ec20983f558749825b959e066dfce012d4bf21ec9419c549fa3709d9fda608d2b3061a37512a905e4634b9124bfb6bb16f01ce402a0b3f4664be465cba05092ae9d5423e3e679d718d44cd1493d2f72b75b7f55390b877d512eb2c301320b148a8da2ee8e10c30988d123e12a501a8771402b5dbcd1330b5215c7666f13258232c7618fec6e54045b9f338130c3d0eafe5573b7345c1a6eb526a363c905f1008022ac0217b10764427cf4e0f45939bc4d7485853898f2fe234066d7d37a2d9d2366854412d8fadf1f63e3e05bb04880d30e66481394e23f3c510b904ea29b850132848b52d0dcf58bf587510d0fcfb6b72ed46d9750954e162570543cc4126f3315d067ea1864311d6e55613b3e6d62da21cb0ccd90bea4a7a0c1d2197173fbb86f99bb2c3775951f2448019996af914c98c6583de28696fc4c4cb7b0e6023506923b5dbb59f17d2581181284f77abb81c88e0aa1d23f0da0094f5d21d5f789619e4977615d764cbee8f45082f63b5e95936c1a2cebddf2ae8cd57d7050886d178c8edf9583f814522cda80485528d3ccdf70c583947a178acc9411589ce15c6b8eddc7c501856e593b4a61bb39882627c4264351890e9cc2ce89cf8c487e3f3ba51d262a38ed3ef619db2037408dc0a69549a8832b34273df1b9487703cc51ff360e6a73e6c35a1039c692a831c90a8a12b08a74f93eee23e4b8b1b92596c187ca9851b7a82e133d71303271516949ff354688410abc199be66043b9ff655987a69d2b1f09f53f74c6fb1149383b22a472dca12287981adc97d1efc0d2cd3096340a6fc53574c222a17ce108267d853ce5b547de51100459cb7908611a7fa0c365e1a0f3cb8577c1178391275143d8d46616122843710722dd0d8f8bbac46acf314263a7a345039a70e8d149383b22a472dca12287981adc97d1efc0d2cd3096340a6fc53574c222a17ce108267d853ce5b547de51100459cb7908611a7fa0c365e1a0f3cb8577c1178391275143d8d46616122843710722dd0d8f8bbac46acf314263a7a345039a70e8d149383b22a472dca12287981adc97d1efc0d2cd3096340a6fc53574c222a17ce108267d853ce5b547de51100459cb7908611a7fa0c365e1a0f3cb8577c1178391275143d8d46616122843710722dd0d8f8bbac46acf314263a7a345039a70e8d027d8761fefbc585da92df3bfde0d557bb7001ed37cf2ac1665f38bb729fc9651a2c69f5abd4d7162e5d5718495b698e15aee6982f8e068272a45748caac2c2d216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d3874718b4c0d635ebe4a6c5cca1d57f2f7a651568dc2fbb546d97d0925c06ee3a947b09de70e3c9b0a08f5a0f475c5dff181504fc28a23aaca5911a9d44a90b47da4e2d19891370c0b10986eb8cf5bda8daae6c59dd0237bbba9cfe57dfb4e06bf4cd027d8761fefbc585da92df3bfde0d557bb7001ed37cf2ac1665f38bb729fc9651a2c69f5abd4d7162e5d5718495b698e15aee6982f8e068272a45748caac2c2d216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d38747027d8761fefbc585da92df3bfde0d557bb7001ed37cf2ac1665f38bb729fc9651a2c69f5abd4d7162e5d5718495b698e15aee6982f8e068272a45748caac2c2d216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d38747027d8761fefbc585da92df3bfde0d557bb7001ed37cf2ac1665f38bb729fc9651a2c69f5abd4d7162e5d5718495b698e15aee6982f8e068272a45748caac2c2d216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d38747027d8761fefbc585da92df3bfde0d557bb7001ed37cf2ac1665f38bb729fc9651a2c69f5abd4d7162e5d5718495b698e15aee6982f8e068272a45748caac2c2d216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d38747027d8761fefbc585da92df3bfde0d557bb7001ed37cf2ac1665f38bb729fc9651a2c69f5abd4d7162e5d5718495b698e15aee6982f8e068272a45748caac2c2d216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d38747027d8761fefbc585da92df3bfde0d557bb7001ed37cf2ac1665f38bb729fc9651a2c69f5abd4d7162e5d5718495b698e15aee6982f8e068272a45748caac2c2d216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d38747027d8761fefbc585da92df3bfde0d557bb7001ed37cf2ac1665f38bb729fc9651a2c69f5abd4d7162e5d5718495b698e15aee6982f8e068272a45748caac2c2d216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d38747027d8761fefbc585da92df3bfde0d557bb7001ed37cf2ac1665f38bb729fc9651a2c69f5abd4d7162e5d5718495b698e15aee6982f8e068272a45748caac2c2d216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472bdc8f2aa9fa20d782ccbe794dc8c61b7ed8869bf070decf7456a5322e5dfa7e08157ab7499fcefbdfee9d08449725d7406512cc9cb3728d853b749c8f43db95216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387470d103ee4a398658841b7173138a1cb85a2cb0f137e661458811f3079e1495df61479280801717c31b5d62bd15ed8a4592c7966920c2feafae80e7a95ecd9d267216cb158373c00c56d6a3e6379d7949b1077ca479356425bbf2e14f214d387472a7441eb0c796eb22ac652678ad045b699cc66916fab041777d83fc680ff400c23d513073ad971c996265d539bb013c4447b9656116888f892859a7e9733bdb0041689b85770c89e371e2537704510324a54c9f3059af5cc72df2c04ddcf2727157dc6e1186c2a599aac621c419fbf77a3140d0a287755c2cd37a2a670c715a9","transcript_type":"EVM","split":null,"pretty_public_inputs":{"rescaled_inputs":[],"inputs":[],"processed_inputs":[],"processed_params":[],"processed_outputs":[],"rescaled_outputs":[["0","0","0","0"]],"outputs":[["0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000000"]]},"timestamp":1756219308622,"commitment":"KZG","version":"source - no compatibility guaranteed"} |