TITLE("Design decisions and tradeoffs")
COMPRESSED
120,156,133,87,107,111,219,70,22,253,43,131,58,45,108,135,86,57,15,190,36,236,162,129,93,44,138,173,147,160,110,182,31,4,97,53,34,71,210,212,36,71,203,33,237,40,139,205,111,223,115,135,148,237,54,89,108,140,88,38,61,247,117,238,57,247,142,151,130,189,122,21,71,241,89,252,127,254,205,111,204,86,15,117,191,90,214,34,207,23,54,139,213,66,243,108,241,174,88,124,254,252,121,86,20,98,65,174,56,92,241,88,73,46,56,87,113,172,68,198,147,34,46,146,156,231,177,204,148,72,178,56,153,31,116,167,155,213,82,231,114,113,249,75,10,43,17,37,103,146,75,30,243,84,40,156,138,101,44,20,23,9,207,115,197,179,36,151,69,154,206,75,125,232,173,107,87,203,13,217,81,48,9,179,56,203,83,197,97,164,18,33,179,68,193,88,41,206,241,51,79,178,52,203,230,189,237,107,179,90,90,202,122,195,211,108,161,149,160,172,175,201,131,138,210,51,164,41,50,184,80,66,165,74,230,66,242,92,136,180,144,170,80,200,159,139,185,237,13,178,221,192,140,76,201,44,
65,96,149,40,46,1,140,202,18,137,99,25,62,85,92,112,129,232,121,156,36,8,108,62,158,208,34,160,200,46,69,56,145,37,116,58,87,57,151,89,46,148,72,5,18,136,51,84,75,209,147,121,101,124,9,59,41,248,162,71,74,139,235,31,146,5,135,113,22,101,103,34,46,98,145,102,5,2,34,89,20,46,139,130,203,28,1,21,79,98,46,231,165,171,80,236,70,36,177,12,17,115,244,35,133,231,128,77,146,114,36,44,100,142,144,25,151,18,223,19,149,103,115,111,168,35,189,235,86,203,203,31,206,227,89,60,19,73,114,65,230,5,204,115,169,164,84,105,161,120,44,17,6,62,20,225,149,198,232,41,79,68,62,223,104,143,152,189,34,112,3,170,156,8,133,6,200,60,145,8,157,226,27,154,139,2,37,176,17,133,202,165,204,227,121,89,107,239,95,0,116,73,69,114,30,113,126,150,17,174,137,20,170,32,112,164,0,192,34,77,10,14,132,147,84,197,98,222,153,127,13,182,51,141,105,1,177,5,71,22,167,246,76,124,68,50,35,31,69,196,5,24,153,164,105,76,
120,37,96,133,144,9,0,143,121,174,144,17,190,208,226,126,162,228,230,185,6,25,113,121,86,8,37,145,73,161,20,16,128,3,94,112,206,227,28,95,168,12,184,4,110,240,137,93,47,137,197,85,196,213,89,6,46,163,83,133,162,240,133,36,252,4,224,23,105,156,160,15,98,52,23,132,186,120,5,220,185,200,233,127,64,158,39,17,135,40,144,34,79,18,212,45,1,181,200,81,123,2,236,101,224,57,207,242,249,91,243,232,111,116,111,38,194,92,94,191,26,153,198,211,136,167,103,49,217,39,121,129,6,114,69,248,73,165,10,81,72,153,136,34,145,105,12,28,253,168,105,50,38,93,5,77,62,57,201,34,158,65,97,168,53,73,80,125,48,67,229,25,167,84,68,94,164,132,194,228,100,125,85,219,150,242,0,51,22,35,25,46,175,95,115,158,145,163,28,130,201,243,52,150,5,192,0,6,113,2,166,99,42,228,104,52,250,44,32,3,26,11,229,189,222,153,245,213,36,217,127,255,243,63,223,254,248,246,234,195,29,91,122,177,96,55,198,219,93,203,42,83,90,143,57,224,
153,110,43,214,119,186,130,133,219,110,253,119,171,165,143,23,22,58,88,108,164,92,188,139,23,236,77,207,250,189,97,141,35,162,68,236,209,48,223,119,174,221,213,71,182,213,15,174,195,163,238,109,201,144,249,189,109,119,204,109,217,135,245,235,245,107,54,165,226,103,236,167,45,107,93,191,167,223,154,218,155,136,217,158,53,250,222,248,233,164,62,28,60,243,166,222,174,175,74,215,246,26,24,84,236,188,119,59,131,200,29,123,180,253,158,249,163,71,159,201,251,172,214,199,144,247,204,54,53,219,218,218,248,139,240,172,107,239,88,51,148,123,36,134,195,29,235,29,171,157,174,152,109,217,207,182,29,62,178,243,223,7,223,179,210,53,160,42,213,161,59,20,103,27,36,66,89,255,230,186,106,10,134,98,217,223,111,126,100,36,75,188,195,47,214,87,135,206,149,198,123,215,93,204,216,221,30,14,42,182,25,108,93,121,96,2,111,182,57,212,65,76,120,223,160,4,224,131,248,120,219,185,7,51,158,156,98,89,106,192,102,216,1,211,202,204,190,2,249,245,251,15,108,175,61,217,
111,12,51,54,160,80,219,30,29,93,95,153,182,178,186,101,0,126,99,119,79,143,231,230,163,163,46,232,174,220,67,16,101,63,128,81,140,170,4,242,204,15,135,131,235,144,217,69,68,209,183,181,238,153,20,235,171,13,53,2,73,144,55,188,79,213,139,87,35,16,246,147,113,219,115,219,246,23,236,175,235,191,48,133,182,236,97,108,61,195,240,232,3,134,109,165,187,10,152,92,15,93,135,242,169,110,227,9,5,42,227,203,124,44,70,103,196,222,220,222,164,10,31,191,220,134,214,189,119,192,240,253,245,255,2,131,142,80,215,208,235,46,56,9,5,81,107,0,209,84,28,187,5,206,122,83,27,164,216,13,134,109,81,147,110,143,108,87,150,236,128,130,241,220,4,71,183,119,255,184,30,105,71,157,171,235,139,175,69,253,205,4,145,84,99,8,104,198,33,42,66,122,187,177,232,196,145,8,179,254,198,13,61,233,102,125,213,152,198,117,199,245,55,204,124,44,77,88,177,163,180,58,83,34,171,238,24,52,240,68,246,218,150,154,206,176,157,35,234,13,61,121,27,93,4,109,
120,226,210,145,29,58,224,238,131,250,76,215,161,28,144,199,67,81,163,104,77,215,216,22,83,11,250,250,117,143,126,60,181,228,208,233,93,19,36,9,200,93,61,132,72,235,43,196,233,144,222,193,116,214,180,165,161,243,99,43,95,116,19,172,174,70,41,181,173,59,146,94,81,188,70,7,13,40,220,185,13,212,211,34,7,182,39,194,211,57,24,151,116,182,39,162,118,166,182,104,192,169,255,51,246,6,130,140,192,38,104,238,212,1,63,242,234,193,118,253,160,235,169,104,188,171,107,200,55,156,220,118,198,124,50,16,46,162,111,204,150,112,255,19,204,168,208,161,207,13,171,208,102,234,14,52,215,122,139,20,15,132,142,127,4,196,200,29,140,116,109,11,234,161,135,214,123,156,5,8,213,120,3,155,24,117,56,226,91,139,121,54,148,216,220,207,122,209,117,13,66,134,214,247,251,206,61,190,108,43,116,50,54,242,156,26,3,86,54,128,183,51,218,227,227,203,243,35,84,143,218,127,81,4,2,87,150,142,92,76,13,172,109,99,251,145,23,1,143,128,104,3,250,132,1,182,
29,72,66,132,49,66,161,233,95,225,236,173,254,104,155,161,97,237,208,108,160,19,112,202,140,19,41,36,77,90,120,154,205,167,49,139,154,33,238,178,30,42,106,246,223,62,252,244,100,18,33,159,123,243,194,23,202,10,126,110,58,119,248,217,122,12,4,228,44,150,107,38,57,91,1,89,206,48,31,150,223,198,241,85,28,51,220,24,84,22,225,146,18,165,42,155,173,190,146,44,197,130,3,143,184,144,44,80,51,88,66,21,65,1,78,86,164,11,106,68,99,48,219,142,110,56,177,172,162,1,95,247,22,251,109,178,8,142,194,2,65,14,97,188,15,30,140,161,241,235,218,147,99,106,12,136,31,70,64,56,63,206,147,102,104,73,137,211,172,115,52,102,61,168,169,195,156,238,160,9,3,210,156,99,20,236,6,98,125,79,93,106,176,147,28,17,10,75,6,187,79,111,77,24,51,143,250,248,213,57,50,194,253,84,15,229,246,238,110,125,5,225,18,95,31,109,133,29,23,20,108,194,210,56,17,137,134,87,63,169,250,133,4,199,243,129,240,221,86,151,38,76,234,154,57,80,
173,129,154,200,170,211,7,91,129,230,15,166,118,7,234,228,232,188,166,2,48,86,48,40,117,219,159,194,156,102,64,8,133,18,166,97,16,118,40,78,216,113,135,210,170,62,241,166,195,8,196,42,156,212,60,99,239,218,48,159,2,118,24,31,109,21,177,235,189,110,192,34,184,247,184,16,180,68,172,105,121,79,101,0,138,177,252,218,185,251,245,119,91,99,234,8,43,151,28,117,97,46,233,105,217,81,207,74,99,31,194,84,175,236,22,88,135,209,69,117,98,239,17,154,221,4,186,100,244,137,27,206,45,209,99,236,58,69,222,13,184,148,2,46,51,30,155,202,64,140,42,220,132,192,31,221,185,129,38,222,56,117,13,187,253,245,217,104,62,89,189,104,236,59,17,174,68,129,91,96,73,52,82,77,255,145,200,161,136,231,25,82,226,231,137,56,225,166,129,219,7,198,243,80,107,218,186,180,65,75,19,22,68,255,232,104,19,55,52,243,70,71,227,72,210,27,218,17,112,116,146,23,46,36,247,35,105,9,124,15,188,159,28,173,34,122,119,68,15,33,5,224,99,117,141,29,
14,232,203,64,97,71,45,38,138,135,43,78,16,4,18,170,93,121,63,234,253,186,195,76,66,190,119,152,155,152,68,179,63,0,192,222,58,136,37,92,179,158,105,51,142,15,52,117,3,18,128,228,109,184,196,33,248,242,242,251,73,104,120,90,45,191,103,108,53,97,16,186,13,34,128,128,219,241,114,57,138,170,51,7,172,172,48,176,52,59,117,208,129,4,97,42,142,171,177,167,209,248,124,57,122,170,144,46,140,251,19,236,64,121,243,59,42,8,167,72,115,205,208,7,18,149,160,32,174,139,127,42,235,180,63,67,42,182,13,90,122,226,0,59,93,120,30,16,7,60,9,18,24,151,218,164,9,250,27,140,214,240,29,65,234,66,69,77,196,204,12,27,200,31,219,18,11,161,181,159,198,193,142,149,142,33,15,238,3,131,198,238,246,61,237,178,7,92,51,216,30,79,116,203,35,225,146,147,151,52,60,77,123,182,250,47,85,64,51,89,