Graph forms
for C4 [ 512, 355 ] = PL(ATD[16,4]#ATD[32,2])
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 355 ] =
PL(ATD[16,4]#ATD[32,2]).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {256, 280}, {256, 297}, {256, 400}, {256, 438}, {40, 296}, {248,
504}, {88, 344}, {106, 362}, {207, 463}, {53, 308}, {157, 412}, {164, 421},
{200, 457}, {220, 477}, {45, 303}, {152, 410}, {149, 407}, {125, 383}, {68,
326}, {101, 359}, {28, 287}, {46, 301}, {47, 300}, {174, 429}, {212, 471}, {3,
263}, {46, 298}, {87, 339}, {93, 345}, {104, 364}, {235, 495}, {92, 345}, {246,
499}, {213, 464}, {66, 324}, {167, 417}, {241, 503}, {2, 261}, {149, 402}, {113,
374}, {203, 460}, {226, 485}, {31, 279}, {156, 404}, {150, 414}, {122, 370},
{102, 366}, {219, 467}, {240, 504}, {220, 469}, {25, 275}, {119, 381}, {222,
468}, {233, 483}, {240, 506}, {20, 287}, {147, 408}, {47, 292}, {98, 361}, {75,
327}, {191, 435}, {38, 299}, {126, 371}, {204, 449}, {41, 295}, {95, 337}, {97,
367}, {108, 354}, {162, 428}, {100, 363}, {147, 387}, {5, 276}, {16, 257}, {65,
336}, {217, 456}, {235, 506}, {74, 344}, {93, 335}, {241, 483}, {81, 322}, {231,
500}, {83, 327}, {154, 398}, {205, 473}, {217, 461}, {18, 263}, {133, 400}, {50,
295}, {72, 349}, {176, 421}, {19, 261}, {163, 437}, {166, 432}, {170, 444},
{212, 450}, {43, 316}, {242, 485}, {15, 279}, {113, 361}, {237, 501}, {38, 319},
{108, 373}, {208, 457}, {234, 499}, {50, 296}, {14, 277}, {160, 443}, {33, 314},
{171, 432}, {197, 478}, {54, 298}, {9, 276}, {139, 406}, {134, 411}, {120, 357},
{117, 360}, {18, 271}, {38, 315}, {175, 434}, {189, 416}, {233, 503}, {33, 318},
{211, 460}, {14, 302}, {158, 446}, {62, 286}, {99, 323}, {10, 299}, {29, 316},
{181, 404}, {226, 451}, {143, 429}, {194, 480}, {225, 451}, {106, 329}, {167,
388}, {184, 411}, {76, 360}, {153, 445}, {124, 344}, {207, 491}, {145, 436},
{35, 261}, {89, 383}, {191, 409}, {237, 459}, {180, 403}, {183, 400}, {193,
486}, {222, 505}, {23, 319}, {51, 283}, {59, 275}, {64, 360}, {91, 371}, {173,
389}, {178, 410}, {204, 484}, {13, 292}, {246, 479}, {130, 427}, {128, 425},
{42, 259}, {31, 309}, {133, 431}, {96, 330}, {71, 364}, {98, 329}, {23, 315},
{36, 264}, {164, 392}, {9, 292}, {112, 349}, {15, 290}, {26, 311}, {43, 262},
{196, 489}, {33, 271}, {130, 428}, {96, 334}, {88, 375}, {123, 340}, {107, 324},
{183, 408}, {206, 481}, {225, 462}, {158, 430}, {182, 390}, {216, 488}, {70,
375}, {249, 456}, {193, 496}, {26, 296}, {100, 342}, {105, 347}, {180, 390},
{219, 489}, {223, 493}, {46, 285}, {105, 346}, {176, 387}, {242, 449}, {26,
302}, {64, 372}, {9, 316}, {137, 444}, {90, 367}, {190, 395}, {230, 467}, {55,
257}, {160, 406}, {138, 444}, {67, 373}, {199, 497}, {34, 277}, {144, 423}, {82,
357}, {105, 350}, {191, 392}, {192, 503}, {215, 495}, {14, 311}, {29, 292},
{222, 487}, {15, 309}, {137, 435}, {50, 264}, {229, 479}, {231, 477}, {4, 319},
{134, 445}, {43, 272}, {75, 368}, {93, 358}, {107, 336}, {109, 342}, {27, 295},
{194, 511}, {4, 314}, {139, 437}, {121, 327}, {56, 263}, {254, 449}, {132, 443},
{114, 333}, {77, 269}, {103, 295}, {168, 488}, {218, 410}, {238, 430}, {148,
469}, {225, 416}, {135, 453}, {249, 443}, {142, 460}, {5, 326}, {245, 438},
{153, 474}, {28, 351}, {63, 380}, {101, 294}, {179, 496}, {215, 404}, {21, 337},
{157, 473}, {60, 377}, {125, 312}, {31, 345}, {252, 442}, {247, 433}, {134,
448}, {86, 272}, {203, 397}, {209, 406}, {8, 320}, {130, 458}, {27, 339}, {80,
280}, {209, 409}, {77, 260}, {248, 433}, {180, 509}, {236, 421}, {95, 277},
{233, 419}, {3, 328}, {49, 378}, {99, 296}, {232, 419}, {78, 258}, {116, 312},
{81, 285}, {177, 509}, {126, 307}, {163, 494}, {231, 426}, {69, 267}, {120,
310}, {85, 283}, {108, 290}, {221, 403}, {9, 326}, {127, 304}, {123, 308}, {39,
360}, {45, 354}, {89, 278}, {21, 325}, {112, 288}, {31, 335}, {53, 357}, {60,
364}, {86, 262}, {194, 402}, {238, 446}, {3, 338}, {187, 490}, {195, 402}, {205,
412}, {40, 378}, {151, 453}, {169, 507}, {188, 494}, {224, 434}, {232, 442},
{17, 322}, {114, 289}, {111, 316}, {189, 494}, {1, 341}, {11, 351}, {41, 381},
{58, 366}, {75, 287}, {179, 487}, {7, 338}, {152, 461}, {44, 377}, {52, 353},
{55, 354}, {89, 268}, {183, 482}, {71, 273}, {102, 304}, {2, 341}, {169, 510},
{65, 281}, {135, 479}, {123, 291}, {227, 443}, {104, 305}, {255, 422}, {153,
448}, {195, 410}, {223, 390}, {112, 299}, {253, 422}, {146, 457}, {173, 497},
{200, 405}, {255, 418}, {216, 389}, {138, 468}, {145, 463}, {143, 465}, {171,
501}, {244, 426}, {62, 353}, {253, 418}, {132, 475}, {92, 259}, {201, 406},
{217, 390}, {26, 378}, {79, 303}, {94, 318}, {164, 452}, {171, 459}, {210, 434},
{36, 325}, {190, 479}, {196, 421}, {236, 397}, {66, 288}, {80, 306}, {86, 308},
{182, 468}, {65, 290}, {248, 411}, {142, 493}, {211, 432}, {20, 368}, {44, 328},
{94, 314}, {96, 260}, {188, 472}, {212, 432}, {236, 392}, {62, 347}, {245, 400},
{159, 506}, {110, 267}, {178, 471}, {221, 440}, {53, 339}, {122, 284}, {70,
288}, {188, 474}, {44, 331}, {179, 468}, {189, 474}, {205, 426}, {210, 437},
{229, 386}, {25, 369}, {96, 264}, {225, 393}, {241, 409}, {36, 334}, {149, 511},
{140, 486}, {166, 460}, {99, 264}, {226, 393}, {109, 257}, {247, 411}, {159,
499}, {230, 394}, {32, 333}, {70, 299}, {76, 289}, {99, 270}, {46, 320}, {54,
344}, {56, 342}, {27, 372}, {250, 405}, {178, 450}, {124, 269}, {251, 394},
{147, 482}, {107, 281}, {2, 369}, {8, 379}, {34, 337}, {173, 478}, {189, 462},
{141, 505}, {154, 494}, {237, 409}, {30, 363}, {61, 328}, {52, 322}, {156, 490},
{146, 484}, {129, 503}, {116, 258}, {54, 320}, {63, 329}, {218, 428}, {220,
426}, {51, 324}, {60, 331}, {105, 286}, {195, 436}, {197, 434}, {240, 391}, {49,
329}, {165, 477}, {213, 428}, {241, 392}, {41, 339}, {161, 475}, {187, 449},
{42, 337}, {166, 477}, {182, 461}, {207, 436}, {81, 301}, {172, 464}, {201,
437}, {12, 369}, {145, 492}, {82, 300}, {152, 486}, {115, 269}, {111, 273}, {4,
379}, {253, 386}, {248, 391}, {158, 481}, {49, 334}, {95, 288}, {178, 461}, {15,
399}, {118, 502}, {169, 297}, {172, 300}, {177, 305}, {56, 441}, {117, 500},
{211, 338}, {219, 346}, {12, 398}, {252, 382}, {247, 373}, {38, 420}, {53, 439},
{206, 332}, {104, 491}, {181, 310}, {224, 355}, {66, 454}, {86, 466}, {14, 395},
{156, 281}, {150, 275}, {119, 498}, {7, 385}, {250, 380}, {131, 261}, {10, 396},
{39, 417}, {209, 343}, {211, 341}, {219, 349}, {13, 394}, {89, 465}, {250, 370},
{67, 458}, {215, 350}, {6, 396}, {149, 287}, {13, 391}, {18, 408}, {77, 455},
{203, 321}, {11, 384}, {254, 373}, {28, 407}, {29, 401}, {169, 293}, {198, 330},
{184, 309}, {227, 366}, {1, 399}, {144, 286}, {132, 266}, {47, 416}, {73, 454},
{182, 313}, {188, 307}, {206, 321}, {13, 413}, {132, 276}, {17, 385}, {83, 451},
{97, 497}, {185, 297}, {228, 372}, {121, 488}, {162, 307}, {197, 340}, {199,
342}, {22, 388}, {37, 439}, {69, 471}, {110, 508}, {175, 317}, {201, 347}, {209,
323}, {24, 395}, {254, 365}, {161, 306}, {142, 285}, {116, 487}, {196, 343},
{216, 331}, {228, 375}, {30, 394}, {114, 486}, {48, 420}, {91, 463}, {100, 496},
{164, 304}, {90, 463}, {151, 258}, {104, 509}, {24, 398}, {148, 258}, {232,
382}, {10, 413}, {249, 366}, {247, 352}, {177, 294}, {48, 424}, {113, 489}, {63,
423}, {74, 466}, {212, 332}, {29, 388}, {30, 391}, {23, 397}, {6, 413}, {157,
262}, {40, 435}, {52, 431}, {194, 345}, {203, 336}, {155, 263}, {185, 293},
{191, 291}, {150, 267}, {113, 495}, {254, 352}, {250, 356}, {168, 310}, {196,
346}, {243, 365}, {22, 393}, {141, 274}, {131, 284}, {34, 445}, {76, 467}, {242,
365}, {2, 418}, {144, 304}, {56, 408}, {73, 489}, {174, 270}, {7, 422}, {253,
348}, {114, 467}, {80, 498}, {102, 452}, {187, 281}, {1, 418}, {208, 371}, {231,
324}, {91, 511}, {92, 504}, {198, 354}, {207, 363}, {3, 422}, {147, 310}, {90,
511}, {73, 495}, {126, 472}, {98, 452}, {172, 266}, {12, 427}, {141, 298}, {43,
396}, {84, 499}, {170, 269}, {192, 359}, {118, 478}, {199, 367}, {54, 415},
{123, 466}, {69, 492}, {78, 487}, {186, 275}, {5, 431}, {160, 266}, {157, 311},
{137, 291}, {193, 363}, {214, 380}, {167, 268}, {190, 277}, {238, 325}, {37,
393}, {125, 465}, {39, 395}, {48, 412}, {57, 405}, {59, 407}, {220, 368}, {101,
456}, {148, 313}, {127, 466}, {107, 454}, {163, 270}, {242, 351}, {10, 420},
{159, 305}, {151, 313}, {150, 312}, {19, 445}, {84, 506}, {87, 505}, {180, 282},
{185, 279}, {201, 359}, {177, 286}, {197, 362}, {61, 397}, {119, 455}, {130,
307}, {167, 278}, {186, 267}, {210, 355}, {25, 427}, {136, 314}, {47, 413}, {90,
488}, {103, 469}, {202, 376}, {214, 356}, {138, 313}, {186, 265}, {115, 455},
{175, 283}, {176, 260}, {213, 353}, {215, 355}, {221, 361}, {245, 321}, {27,
430}, {161, 276}, {72, 509}, {206, 379}, {235, 350}, {85, 483}, {144, 294},
{102, 464}, {208, 358}, {22, 417}, {136, 319}, {71, 496}, {57, 385}, {155, 291},
{110, 471}, {161, 280}, {229, 348}, {245, 332}, {79, 501}, {129, 315}, {200,
370}, {237, 343}, {239, 341}, {79, 500}, {87, 492}, {103, 476}, {218, 353},
{221, 358}, {230, 349}, {69, 505}, {129, 317}, {92, 480}, {236, 336}, {97, 476},
{116, 457}, {170, 279}, {226, 351}, {239, 338}, {193, 383}, {78, 497}, {146,
301}, {139, 308}, {129, 318}, {32, 480}, {127, 447}, {124, 444}, {185, 377},
{190, 382}, {218, 282}, {55, 502}, {58, 507}, {110, 431}, {122, 440}, {143,
333}, {198, 260}, {223, 285}, {238, 300}, {21, 470}, {24, 475}, {58, 510}, {55,
498}, {118, 435}, {57, 508}, {91, 414}, {175, 362}, {217, 284}, {223, 282}, {6,
448}, {68, 386}, {199, 257}, {35, 484}, {133, 322}, {128, 327}, {120, 447},
{115, 436}, {51, 500}, {163, 356}, {168, 367}, {135, 335}, {233, 289}, {73,
384}, {232, 289}, {68, 398}, {228, 302}, {239, 293}, {78, 389}, {162, 361}, {83,
415}, {11, 454}, {106, 423}, {227, 302}, {24, 470}, {252, 306}, {128, 334},
{119, 441}, {35, 493}, {44, 482}, {65, 399}, {77, 387}, {93, 403}, {22, 473},
{155, 340}, {142, 321}, {79, 384}, {83, 412}, {94, 401}, {224, 303}, {51, 483},
{81, 385}, {214, 262}, {17, 448}, {145, 320}, {64, 401}, {165, 372}, {42, 504},
{251, 297}, {136, 346}, {165, 375}, {112, 419}, {155, 328}, {170, 377}, {117,
417}, {162, 374}, {16, 453}, {152, 333}, {124, 425}, {111, 442}, {74, 415}, {97,
439}, {136, 350}, {181, 355}, {12, 475}, {140, 347}, {122, 429}, {60, 491}, {61,
490}, {183, 352}, {186, 365}, {234, 317}, {45, 501}, {151, 335}, {127, 423},
{174, 374}, {202, 274}, {18, 459}, {252, 293}, {19, 458}, {195, 282}, {94, 388},
{134, 348}, {98, 440}, {108, 438}, {21, 462}, {25, 450}, {45, 502}, {72, 403},
{34, 510}, {154, 326}, {109, 433}, {210, 270}, {243, 303}, {76, 401}, {100,
441}, {165, 376}, {239, 306}, {166, 376}, {61, 482}, {179, 364}, {205, 274},
{213, 266}, {87, 439}, {246, 278}, {126, 414}, {4, 485}, {146, 371}, {115, 402},
{204, 301}, {208, 305}, {214, 311}, {16, 498}, {75, 425}, {168, 330}, {111,
396}, {251, 280}, {160, 323}, {125, 414}, {8, 492}, {148, 368}, {184, 348},
{198, 290}, {32, 453}, {249, 284}, {158, 379}, {153, 380}, {133, 352}, {63,
474}, {230, 259}, {62, 472}, {121, 415}, {88, 446}, {192, 294}, {244, 274},
{171, 332}, {246, 273}, {176, 343}, {235, 268}, {67, 427}, {35, 458}, {80, 441},
{172, 325}, {11, 481}, {17, 507}, {33, 459}, {36, 462}, {58, 464}, {66, 424},
{72, 419}, {140, 359}, {52, 472}, {8, 485}, {19, 510}, {82, 447}, {85, 440},
{174, 323}, {216, 309}, {41, 455}, {139, 357}, {50, 476}, {59, 469}, {64, 430},
{109, 386}, {224, 271}, {16, 480}, {20, 484}, {84, 420}, {101, 405}, {103, 407},
{200, 312}, {32, 465}, {131, 370}, {39, 470}, {57, 456}, {88, 425}, {202, 315},
{234, 283}, {82, 416}, {131, 369}, {48, 451}, {140, 383}, {184, 331}, {227,
272}, {137, 381}, {202, 318}, {222, 298}, {228, 272}, {229, 273}, {30, 491},
{141, 376}, {117, 384}, {49, 452}, {67, 438}, {68, 433}, {74, 447}, {40, 478},
{255, 265}, {156, 362}, {1, 502}, {138, 381}, {95, 424}, {70, 446}, {251, 259},
{85, 429}, {5, 508}, {159, 358}, {143, 374}, {135, 382}, {118, 399}, {20, 493},
{37, 476}, {59, 450}, {173, 340}, {128, 378}, {243, 265}, {7, 508}, {120, 387},
{37, 473}, {121, 389}, {42, 470}, {84, 424}, {234, 278}, {240, 268}, {243, 271},
{6, 507}, {23, 490}, {28, 481}, {71, 442}, {192, 317}, {244, 265}, {106, 404},
{154, 356}, {181, 330}, {187, 512}, {204, 512}, {244, 512}, {255, 512} }>;
(II) A more general form is to represent the graph as the orbit of {256, 280}
under the group generated by the following permutations:
a: (1, 2, 131, 122, 85, 51, 231, 220, 148, 151, 135, 190, 14, 26, 40, 118)(3,
67, 57, 162, 192, 73, 202, 28, 222, 194, 71, 42, 43, 36, 123, 198)(4, 8, 145,
207, 30, 13, 47, 82, 120, 147, 183, 133, 52, 62, 105, 136)(5, 213, 144, 215, 33,
206, 46, 91, 193, 230, 10, 225, 53, 77, 44, 247)(6, 189, 139, 176, 61, 254, 110,
218, 177, 235, 94, 158, 54, 90, 100, 251)(7, 130, 101, 113, 129, 11, 141, 149,
179, 92, 111, 21, 86, 96, 155, 108)(9, 172, 127, 181, 18, 245, 81, 126, 140,
219, 38, 226, 87, 115, 60, 248)(12, 249, 98, 175, 79, 166, 20, 116, 32, 232, 95,
157, 50, 137, 15, 253)(16, 252, 34, 214, 99, 191, 65, 255, 25, 217, 221, 234,
117, 165, 75, 78)(17, 188, 201, 196, 23, 242, 69, 195, 104, 240, 29, 238, 74,
168, 56, 256)(19, 250, 174, 241, 107, 244, 59, 182, 93, 246, 39, 228, 128, 173,
55, 239)(22, 27, 124, 216, 109, 161, 58, 63, 210, 237, 203, 204, 150, 152, 72,
84)(24, 227, 49, 197, 45, 211, 35, 200, 143, 233, 66, 205, 103, 138, 31,
229)(37, 41, 170, 184, 68, 132, 102, 106, 224, 171, 142, 146, 125, 114, 112,
48)(64, 88, 121, 199, 80, 169, 153, 163, 209, 236, 187, 186, 178, 180, 159,
167)(70, 83, 97, 119, 185, 134, 154, 160, 164, 156, 243, 212, 223, 208, 89,
76)(257, 306, 510, 380, 270, 409, 336, 512, 275, 461, 403, 499, 417, 372, 425,
389)(258, 453, 382, 277, 311, 296, 435, 399, 418, 369, 284, 440, 283, 500, 477,
368)(259, 396, 462, 308, 260, 328, 373, 508, 428, 294, 495, 318, 481, 298, 511,
496)(261, 370, 429, 483, 324, 426, 469, 313, 335, 479, 395, 302, 378, 478, 502,
341)(262, 264, 291, 290, 422, 427, 456, 361, 317, 384, 376, 287, 487, 480, 442,
337)(263, 438, 385, 307, 359, 489, 315, 351, 505, 402, 364, 504, 316, 325, 466,
330)(265, 450, 390, 358, 278, 360, 375, 327, 497, 498, 293, 445, 356, 323, 392,
281)(266, 304, 404, 271, 332, 285, 371, 383, 467, 299, 451, 439, 455, 377, 411,
326)(267, 410, 509, 506, 388, 430, 344, 488, 342, 280, 507, 474, 437, 343, 397,
449)(268, 401, 446, 415, 367, 441, 297, 448, 494, 406, 421, 490, 365, 471, 282,
305)(269, 331, 433, 276, 464, 423, 355, 459, 321, 301, 414, 486, 349, 420, 393,
339)(272, 334, 340, 354, 338, 458, 405, 374, 503, 454, 274, 407, 468, 345, 273,
470)(279, 348, 398, 443, 452, 362, 303, 432, 493, 457, 465, 289, 288, 412, 476,
381)(286, 350, 314, 379, 320, 463, 363, 394, 413, 416, 357, 387, 482, 352, 431,
353)(292, 300, 447, 310, 408, 400, 322, 472, 347, 346, 319, 485, 492, 436, 491,
391)(295, 444, 309, 386, 475, 366, 329, 434, 501, 460, 484, 312, 333, 419, 424,
473) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (1, 3)(2, 7)(4, 11)(5, 12)(6, 34)(8, 28)(9, 24)(10, 95)(13, 42)(14, 43)(15,
44)(16, 100)(17, 19)(18, 45)(20, 46)(21, 47)(23, 107)(25, 110)(26, 86)(29,
39)(30, 92)(31, 60)(32, 193)(33, 79)(35, 81)(36, 82)(38, 66)(40, 123)(49,
127)(50, 53)(51, 129)(52, 130)(54, 75)(55, 56)(57, 131)(59, 69)(61, 65)(62,
162)(67, 133)(71, 135)(73, 136)(74, 128)(85, 192)(87, 103)(93, 104)(94, 117)(96,
120)(98, 144)(99, 139)(101, 122)(105, 113)(108, 183)(111, 190)(118, 155)(140,
143)(141, 220)(145, 149)(147, 198)(148, 222)(151, 179)(174, 201)(177, 221)(194,
207)(202, 231)(257, 342)(258, 487)(259, 394)(260, 387)(261, 385)(262, 311)(263,
502)(264, 357)(267, 275)(270, 437)(271, 303)(272, 302)(273, 479)(274, 426)(276,
475)(277, 396)(279, 377)(281, 490)(283, 317)(284, 456)(285, 493)(286, 361)(287,
320)(288, 299)(290, 482)(291, 435)(292, 470)(294, 440)(295, 339)(296, 308)(298,
368)(300, 325)(301, 484)(304, 452)(305, 358)(307, 472)(309, 331)(310, 330)(313,
468)(314, 384)(315, 324)(316, 395)(318, 500)(319, 454)(322, 458)(323, 406)(326,
398)(327, 415)(328, 399)(329, 423)(333, 486)(334, 447)(335, 364)(336, 397)(337,
413)(338, 341)(340, 478)(344, 425)(345, 491)(346, 489)(347, 374)(350, 495)(351,
485)(352, 373)(353, 428)(354, 408)(359, 429)(360, 401)(363, 480)(369, 508)(370,
405)(376, 477)(378, 466)(379, 481)(382, 442)(383, 465)(388, 417)(391, 504)(400,
438)(402, 436)(403, 509)(407, 492)(416, 462)(418, 422)(420, 424)(427, 431)(439,
476)(441, 498)(445, 448)(450, 471)(453, 496)(459, 501)(463, 511)(469, 505)(483,
503)(507, 510)
c: (1, 5, 21, 74, 148, 193, 113, 23)(2, 9, 36, 54, 151, 140, 73, 61)(3, 12, 47,
128, 222, 32, 105, 107)(4, 15, 57, 39, 120, 20, 71, 174)(6, 26, 87, 194, 177,
51, 18, 67)(7, 24, 82, 75, 179, 143, 136, 65)(8, 31, 101, 117, 147, 35, 111,
99)(10, 40, 69, 92, 144, 231, 56, 130)(11, 44, 131, 29, 96, 46, 135, 201)(13,
49, 141, 16, 62, 66, 155, 25)(14, 53, 149, 104, 85, 33, 108, 17)(19, 43, 50,
145, 93, 192, 79, 183)(22, 77, 146, 232, 210, 206, 184, 249)(27, 90, 180, 234,
237, 254, 169, 214)(28, 60, 122, 94, 198, 81, 190, 139)(30, 98, 202, 55, 52, 95,
123, 59)(34, 86, 103, 207, 221, 129, 45, 133)(37, 115, 208, 233, 224, 245, 134,
227)(38, 118, 110, 42, 127, 220, 100, 162)(41, 91, 72, 175, 171, 247, 58,
157)(48, 137, 150, 230, 106, 166, 109, 213)(63, 165, 199, 218, 84, 191, 186,
251)(64, 168, 223, 246, 209, 242, 185, 250)(68, 172, 83, 138, 125, 219, 156,
211)(70, 173, 178, 240, 164, 244, 80, 188)(76, 181, 142, 229, 160, 226, 170,
200)(78, 152, 235, 236, 255, 161, 189, 88)(89, 196, 187, 239, 154, 238, 121,
182)(97, 195, 159, 241, 243, 256, 153, 228)(102, 205, 119, 126, 112, 197, 212,
248)(114, 215, 203, 253, 132, 225, 124, 116)(158, 216, 217, 167, 176, 204, 252,
163)(257, 353, 424, 291, 275, 394, 329, 376)(258, 486, 495, 397, 418, 276, 462,
344)(259, 423, 477, 342, 428, 420, 435, 267)(260, 301, 382, 437, 481, 331, 284,
388)(261, 316, 264, 320, 335, 359, 384, 482)(262, 295, 463, 403, 317, 501, 352,
510)(263, 427, 413, 378, 505, 480, 286, 324)(265, 280, 474, 375, 497, 410, 506,
392)(266, 451, 444, 312, 467, 404, 460, 386)(268, 421, 512, 306, 494, 446, 389,
461)(269, 457, 289, 355, 321, 348, 443, 393)(270, 379, 309, 456, 417, 387, 484,
442)(271, 438, 448, 302, 439, 402, 305, 483)(272, 476, 436, 358, 503, 303, 400,
445)(273, 323, 485, 279, 405, 360, 310, 493)(274, 498, 472, 288, 340, 450, 391,
452)(277, 308, 407, 491, 440, 318, 354, 322)(278, 343, 449, 293, 356, 430, 488,
390)(281, 338, 398, 300, 327, 468, 465, 346)(282, 499, 409, 365, 297, 380, 372,
367)(283, 459, 373, 507, 311, 339, 511, 509)(285, 479, 406, 351, 377, 370, 401,
330)(287, 364, 429, 314, 290, 385, 395, 357)(292, 334, 298, 453, 347, 454, 328,
369)(294, 500, 408, 458, 396, 296, 492, 345)(299, 478, 471, 504, 304, 426, 441,
307)(313, 383, 489, 490, 341, 326, 325, 415)(315, 502, 431, 337, 466, 469, 363,
361)(319, 399, 508, 470, 447, 368, 496, 374)(332, 411, 366, 473, 455, 371, 419,
434)(333, 350, 336, 422, 475, 416, 425, 487)(349, 362, 432, 433, 464, 412, 381,
414)
d: (2, 118)(3, 108)(4, 30)(5, 176)(6, 215)(7, 198)(8, 207)(9, 196)(10, 235)(11,
71)(12, 191)(13, 136)(14, 85)(15, 255)(16, 166)(17, 181)(18, 256)(19, 197)(20,
78)(21, 192)(22, 72)(23, 248)(24, 241)(25, 137)(26, 122)(27, 152)(28, 179)(29,
219)(31, 244)(32, 165)(33, 251)(34, 175)(35, 173)(36, 101)(37, 180)(38, 240)(39,
233)(40, 131)(41, 178)(42, 129)(43, 113)(44, 254)(45, 239)(46, 90)(47, 105)(48,
159)(49, 250)(50, 217)(51, 190)(52, 120)(53, 218)(54, 91)(55, 211)(56, 245)(57,
96)(58, 210)(59, 138)(60, 242)(61, 247)(62, 82)(64, 114)(65, 253)(66, 246)(67,
155)(68, 236)(69, 115)(70, 89)(73, 111)(74, 126)(75, 116)(77, 110)(79, 252)(80,
171)(81, 168)(83, 208)(86, 162)(87, 195)(88, 125)(92, 202)(93, 205)(94, 230)(95,
234)(97, 223)(98, 214)(99, 249)(100, 206)(102, 163)(103, 182)(104, 226)(106,
153)(107, 229)(109, 203)(112, 167)(117, 232)(119, 212)(121, 146)(123, 130)(124,
150)(127, 188)(128, 200)(132, 209)(133, 147)(134, 156)(135, 231)(139, 213)(140,
238)(141, 194)(142, 199)(143, 228)(144, 189)(149, 222)(151, 220)(154, 164)(157,
221)(158, 193)(161, 237)(169, 224)(170, 186)(172, 201)(174, 227)(177, 225)(184,
187)(185, 243)(204, 216)(257, 460)(258, 368)(259, 318)(260, 508)(261, 478)(262,
361)(263, 438)(264, 456)(265, 279)(266, 406)(267, 269)(268, 299)(270, 366)(271,
297)(272, 374)(273, 454)(274, 345)(275, 444)(276, 343)(277, 283)(278, 288)(280,
459)(281, 348)(282, 439)(284, 296)(285, 367)(286, 416)(287, 487)(289, 360)(290,
422)(291, 427)(292, 346)(293, 303)(294, 462)(295, 461)(298, 511)(300, 347)(301,
488)(302, 429)(304, 494)(305, 451)(306, 501)(307, 466)(308, 428)(309, 512)(310,
322)(311, 440)(312, 425)(313, 469)(314, 394)(315, 504)(316, 489)(317, 337)(319,
391)(320, 463)(321, 342)(323, 443)(324, 479)(325, 359)(326, 421)(327, 457)(328,
373)(329, 380)(330, 385)(331, 449)(332, 441)(333, 372)(334, 405)(335, 426)(336,
386)(338, 354)(339, 410)(340, 458)(341, 502)(344, 414)(349, 388)(350, 413)(351,
364)(352, 482)(353, 357)(355, 507)(356, 452)(358, 412)(362, 445)(363, 379)(365,
377)(369, 435)(370, 378)(371, 415)(375, 465)(376, 480)(381, 450)(382, 500)(383,
446)(384, 442)(387, 431)(389, 484)(390, 476)(392, 398)(393, 509)(395, 483)(396,
495)(397, 433)(399, 418)(400, 408)(401, 467)(402, 505)(403, 473)(404, 448)(407,
468)(409, 475)(411, 490)(417, 419)(420, 506)(423, 474)(424, 499)(430, 486)(432,
498)(434, 510)(436, 492)(437, 464)(447, 472)(453, 477)(455, 471)(470, 503)(481,
496)(485, 491)(493, 497)
e: (5, 17)(6, 9)(10, 29)(12, 19)(15, 55)(16, 31)(18, 61)(20, 59)(22, 48)(23,
33)(24, 34)(25, 35)(27, 88)(32, 93)(37, 83)(38, 94)(39, 95)(41, 124)(44, 56)(45,
65)(46, 69)(49, 99)(50, 128)(53, 74)(54, 87)(58, 132)(60, 100)(63, 163)(64,
70)(66, 117)(68, 134)(72, 114)(75, 103)(76, 112)(79, 107)(80, 185)(81, 110)(84,
167)(89, 159)(97, 121)(98, 174)(102, 160)(104, 193)(106, 210)(109, 184)(119,
170)(125, 208)(127, 139)(140, 177)(142, 212)(143, 221)(144, 201)(146, 150)(152,
180)(153, 154)(156, 224)(161, 169)(164, 209)(171, 203)(178, 223)(186, 204)(187,
243)(199, 216)(236, 237)(257, 309)(261, 369)(263, 328)(264, 334)(265, 512)(266,
464)(267, 301)(268, 506)(269, 455)(270, 329)(271, 490)(275, 484)(276, 507)(277,
395)(278, 499)(279, 498)(280, 297)(281, 303)(282, 410)(285, 471)(286, 347)(287,
407)(288, 360)(289, 419)(290, 354)(292, 413)(293, 306)(294, 359)(295, 425)(296,
378)(298, 505)(299, 401)(304, 406)(305, 383)(308, 466)(312, 457)(314, 319)(315,
318)(316, 396)(320, 492)(321, 332)(322, 431)(323, 452)(324, 500)(326, 448)(327,
476)(331, 342)(333, 403)(335, 453)(336, 501)(337, 470)(339, 344)(343, 421)(345,
480)(348, 386)(349, 467)(355, 404)(356, 380)(357, 447)(358, 465)(361, 374)(362,
434)(363, 491)(364, 496)(365, 449)(366, 443)(367, 488)(368, 469)(371, 414)(372,
375)(377, 441)(381, 444)(384, 454)(385, 508)(388, 420)(389, 497)(390, 461)(392,
409)(393, 451)(397, 459)(398, 445)(399, 502)(408, 482)(411, 433)(412, 473)(415,
439)(417, 424)(423, 437)(427, 458)(429, 440)(430, 446)(432, 460)(450, 493)(474,
494)(475, 510)(486, 509)
f: (22, 64)(27, 37)(41, 97)(48, 70)(58, 153)(63, 102)(68, 161)(72, 159)(76,
167)(77, 168)(78, 138)(80, 109)(83, 88)(84, 112)(89, 114)(90, 115)(91, 195)(106,
164)(116, 182)(119, 199)(121, 124)(125, 152)(126, 218)(132, 154)(134, 169)(137,
173)(142, 204)(146, 223)(150, 178)(156, 236)(157, 228)(158, 226)(160, 163)(165,
205)(166, 244)(170, 216)(171, 243)(172, 189)(175, 241)(176, 181)(180, 208)(184,
185)(186, 212)(187, 203)(188, 213)(191, 197)(196, 215)(200, 217)(206, 242)(209,
210)(211, 255)(214, 227)(219, 235)(224, 237)(225, 238)(229, 252)(230, 240)(232,
246)(233, 234)(239, 253)(245, 254)(247, 256)(248, 251)(249, 250)(257, 498)(258,
313)(259, 504)(260, 330)(262, 272)(265, 432)(266, 494)(267, 471)(268, 467)(269,
488)(270, 323)(271, 459)(273, 442)(274, 376)(275, 450)(276, 326)(278, 289)(279,
309)(280, 433)(281, 336)(282, 371)(283, 483)(284, 370)(285, 301)(288, 424)(291,
340)(293, 348)(295, 476)(297, 411)(299, 420)(300, 416)(302, 311)(303, 501)(304,
423)(305, 509)(306, 386)(307, 428)(310, 387)(312, 461)(317, 503)(321, 449)(325,
462)(327, 425)(329, 452)(331, 377)(332, 365)(333, 465)(338, 422)(339, 439)(341,
418)(342, 441)(343, 355)(344, 415)(346, 350)(349, 506)(351, 481)(352, 400)(353,
472)(356, 443)(358, 403)(360, 417)(362, 392)(366, 380)(367, 455)(372, 473)(373,
438)(375, 412)(379, 485)(381, 497)(382, 479)(383, 486)(388, 401)(389, 444)(390,
457)(391, 394)(393, 430)(397, 490)(398, 475)(402, 511)(404, 421)(405, 456)(406,
437)(409, 434)(410, 414)(419, 499)(426, 477)(435, 478)(436, 463)(445, 510)(446,
451)(448, 507)(460, 512)(464, 474)(468, 487)(484, 493)(489, 495)
C4[ 512, 355 ]
512
-1 341 418 399 502
-2 341 418 369 261
-3 422 338 328 263
-4 319 485 379 314
-5 276 431 508 326
-6 396 507 413 448
-7 385 508 422 338
-8 320 485 379 492
-9 276 292 326 316
-10 396 299 420 413
-11 454 481 351 384
-12 398 475 369 427
-13 292 391 413 394
-14 277 311 302 395
-15 309 399 279 290
-16 453 498 257 480
-17 385 507 322 448
-18 408 271 459 263
-19 510 445 458 261
-20 484 287 368 493
-21 462 325 337 470
-22 473 388 393 417
-23 319 397 490 315
-24 398 475 470 395
-25 275 369 427 450
-26 311 378 302 296
-27 430 295 339 372
-28 407 287 481 351
-29 388 401 292 316
-30 363 391 491 394
-31 309 279 345 335
-32 453 333 465 480
-33 314 271 459 318
-34 277 510 445 337
-35 484 458 261 493
-36 264 462 334 325
-37 473 476 393 439
-38 319 299 420 315
-39 360 470 395 417
-40 378 478 435 296
-41 455 381 295 339
-42 259 337 470 504
-43 396 272 316 262
-44 331 377 328 482
-45 354 303 501 502
-46 298 320 301 285
-47 300 292 413 416
-48 451 420 412 424
-49 452 334 378 329
-50 264 476 295 296
-51 324 500 283 483
-52 353 431 322 472
-53 308 357 339 439
-54 298 320 344 415
-55 354 498 257 502
-56 342 408 441 263
-57 385 508 456 405
-58 507 464 366 510
-59 275 407 469 450
-60 331 364 377 491
-61 397 490 328 482
-62 286 353 347 472
-63 474 423 380 329
-64 430 401 360 372
-65 399 290 281 336
-66 288 454 324 424
-67 458 427 438 373
-68 386 398 433 326
-69 267 492 471 505
-70 375 288 299 446
-71 364 496 442 273
-72 419 509 403 349
-73 495 454 489 384
-74 344 466 447 415
-75 287 368 425 327
-76 289 401 467 360
-77 387 455 269 260
-78 497 487 389 258
-79 500 303 501 384
-80 441 498 280 306
-81 385 322 301 285
-82 300 357 447 416
-83 451 412 327 415
-84 506 420 499 424
-85 429 440 283 483
-86 308 466 272 262
-87 492 339 439 505
-88 375 344 446 425
-89 278 465 268 383
-90 463 367 488 511
-91 463 511 414 371
-92 345 259 480 504
-93 345 335 358 403
-94 388 401 314 318
-95 277 288 424 337
-96 264 330 334 260
-97 497 476 367 439
-98 440 452 361 329
-99 264 323 270 296
-100 363 342 441 496
-101 456 359 294 405
-102 452 464 366 304
-103 407 476 469 295
-104 364 509 491 305
-105 286 346 347 350
-106 423 404 329 362
-107 454 324 281 336
-108 354 290 438 373
-109 342 386 257 433
-110 431 508 267 471
-111 396 442 316 273
-112 419 288 299 349
-113 374 495 489 361
-114 486 289 333 467
-115 455 269 402 436
-116 487 312 258 457
-117 500 360 384 417
-118 399 478 435 502
-119 441 498 455 381
-120 310 387 357 447
-121 389 488 327 415
-122 429 440 370 284
-123 308 466 291 340
-124 344 444 269 425
-125 465 312 414 383
-126 414 371 307 472
-127 466 423 304 447
-128 334 378 425 327
-129 315 503 317 318
-130 458 427 307 428
-131 369 370 261 284
-132 276 266 475 443
-133 352 431 322 400
-134 411 445 348 448
-135 453 335 479 382
-136 319 346 314 350
-137 444 291 435 381
-138 444 313 468 381
-139 308 357 437 406
-140 486 347 359 383
-141 298 376 274 505
-142 321 460 493 285
-143 374 429 333 465
-144 286 423 304 294
-145 320 463 436 492
-146 484 301 457 371
-147 408 310 387 482
-148 258 313 368 469
-149 407 287 511 402
-150 275 267 312 414
-151 453 258 313 335
-152 486 333 410 461
-153 474 445 380 448
-154 398 356 326 494
-155 291 328 263 340
-156 281 490 404 362
-157 473 311 412 262
-158 430 379 446 481
-159 506 499 358 305
-160 266 443 323 406
-161 276 475 280 306
-162 374 361 307 428
-163 356 270 437 494
-164 452 421 304 392
-165 375 376 477 372
-166 376 432 477 460
-167 278 388 268 417
-168 330 310 367 488
-169 297 507 510 293
-170 377 279 444 269
-171 332 432 501 459
-172 266 464 300 325
-173 497 389 478 340
-174 374 429 323 270
-175 434 283 317 362
-176 343 387 421 260
-177 286 509 294 305
-178 410 471 450 461
-179 364 496 487 468
-180 509 390 282 403
-181 330 310 355 404
-182 313 390 468 461
-183 352 408 400 482
-184 309 331 411 348
-185 297 377 279 293
-186 275 265 365 267
-187 281 490 512 449
-188 474 307 472 494
-189 462 474 416 494
-190 277 479 382 395
-191 409 291 435 392
-192 359 294 503 317
-193 363 496 486 383
-194 345 511 402 480
-195 410 402 282 436
-196 343 421 346 489
-197 434 478 340 362
-198 330 354 290 260
-199 342 497 257 367
-200 312 457 370 405
-201 347 359 437 406
-202 376 315 274 318
-203 397 321 336 460
-204 484 301 512 449
-205 473 412 426 274
-206 321 332 379 481
-207 363 463 436 491
-208 358 457 305 371
-209 343 409 323 406
-210 355 434 270 437
-211 341 432 338 460
-212 332 432 471 450
-213 353 266 464 428
-214 311 356 380 262
-215 495 355 404 350
-216 309 331 389 488
-217 390 456 284 461
-218 353 410 282 428
-219 346 467 489 349
-220 477 368 469 426
-221 440 358 403 361
-222 298 487 468 505
-223 390 282 493 285
-224 355 434 303 271
-225 451 462 393 416
-226 451 485 393 351
-227 366 443 302 272
-228 375 302 272 372
-229 386 479 348 273
-230 467 259 349 394
-231 477 324 500 426
-232 419 442 289 382
-233 419 289 503 483
-234 278 499 283 317
-235 495 506 268 350
-236 397 421 336 392
-237 343 409 501 459
-238 430 300 325 446
-239 341 293 338 306
-240 506 268 391 504
-241 409 392 503 483
-242 485 365 449 351
-243 265 365 303 271
-244 265 512 426 274
-245 321 332 400 438
-246 278 499 479 273
-247 352 411 433 373
-248 411 433 391 504
-249 366 443 456 284
-250 356 380 370 405
-251 297 280 259 394
-252 442 293 382 306
-253 418 386 422 348
-254 352 365 449 373
-255 418 265 422 512
-256 297 400 280 438
-257 55 199 16 109
-258 78 148 116 151
-259 92 42 251 230
-260 77 176 198 96
-261 2 35 19 131
-262 157 214 86 43
-263 56 155 3 18
-264 99 36 50 96
-265 243 244 255 186
-266 132 213 160 172
-267 110 69 150 186
-268 89 167 235 240
-269 77 124 115 170
-270 99 210 163 174
-271 33 243 224 18
-272 227 228 86 43
-273 111 246 71 229
-274 244 202 205 141
-275 25 59 150 186
-276 132 5 161 9
-277 34 14 190 95
-278 89 167 234 246
-279 15 170 31 185
-280 80 256 161 251
-281 187 156 107 65
-282 223 180 195 218
-283 234 51 85 175
-284 122 249 217 131
-285 46 223 81 142
-286 144 177 105 62
-287 28 149 20 75
-288 66 112 70 95
-289 232 233 114 76
-290 198 15 108 65
-291 155 123 191 137
-292 13 47 29 9
-293 169 239 185 252
-294 144 177 101 192
-295 103 27 50 41
-296 99 26 50 40
-297 256 169 185 251
-298 46 222 141 54
-299 112 70 38 10
-300 47 82 172 238
-301 46 146 81 204
-302 14 26 227 228
-303 45 243 79 224
-304 144 102 127 164
-305 177 104 159 208
-306 80 161 239 252
-307 188 126 162 130
-308 123 139 53 86
-309 15 216 184 31
-310 168 147 181 120
-311 14 157 26 214
-312 200 125 116 150
-313 148 138 182 151
-314 33 4 136 94
-315 23 202 38 129
-316 111 29 9 43
-317 234 192 129 175
-318 33 202 94 129
-319 23 4 136 38
-320 46 145 8 54
-321 245 203 206 142
-322 133 81 17 52
-323 99 209 160 174
-324 66 231 51 107
-325 36 172 238 21
-326 154 68 5 9
-327 121 83 128 75
-328 44 155 3 61
-329 49 106 63 98
-330 198 168 181 96
-331 44 60 216 184
-332 212 245 171 206
-333 143 114 152 32
-334 36 49 128 96
-335 135 93 151 31
-336 203 236 107 65
-337 34 95 42 21
-338 211 3 7 239
-339 27 41 53 87
-340 155 123 173 197
-341 1 2 211 239
-342 56 100 199 109
-343 176 209 237 196
-344 88 124 74 54
-345 92 93 194 31
-346 136 105 196 219
-347 201 105 62 140
-348 253 134 184 229
-349 112 72 219 230
-350 136 235 105 215
-351 11 242 28 226
-352 133 254 247 183
-353 213 62 52 218
-354 55 198 45 108
-355 210 224 181 215
-356 154 214 250 163
-357 82 139 53 120
-358 221 93 159 208
-359 101 201 192 140
-360 39 117 64 76
-361 221 113 162 98
-362 156 106 175 197
-363 100 193 30 207
-364 179 60 71 104
-365 242 243 254 186
-366 58 102 227 249
-367 199 90 168 97
-368 220 148 20 75
-369 12 2 25 131
-370 122 200 250 131
-371 91 146 126 208
-372 165 27 228 64
-373 67 254 247 108
-374 143 113 162 174
-375 88 165 70 228
-376 165 166 202 141
-377 44 60 170 185
-378 26 49 40 128
-379 4 158 8 206
-380 214 63 250 153
-381 137 138 41 119
-382 232 135 190 252
-383 89 125 193 140
-384 11 79 73 117
-385 57 81 17 7
-386 253 68 229 109
-387 77 176 147 120
-388 22 167 94 29
-389 121 78 216 173
-390 223 180 182 217
-391 13 248 30 240
-392 191 236 164 241
-393 22 37 225 226
-394 13 30 251 230
-395 24 14 190 39
-396 111 6 10 43
-397 23 203 236 61
-398 154 12 24 68
-399 1 15 118 65
-400 133 245 256 183
-401 94 29 64 76
-402 115 149 194 195
-403 221 180 93 72
-404 156 181 215 106
-405 57 101 200 250
-406 209 201 160 139
-407 59 103 28 149
-408 56 147 18 183
-409 209 191 237 241
-410 178 195 152 218
-411 134 247 248 184
-412 157 48 83 205
-413 13 47 6 10
-414 91 125 126 150
-415 121 83 74 54
-416 189 47 82 225
-417 22 167 39 117
-418 253 1 2 255
-419 232 112 233 72
-420 48 38 84 10
-421 176 236 196 164
-422 253 255 3 7
-423 144 127 106 63
-424 66 48 84 95
-425 88 124 128 75
-426 220 231 244 205
-427 12 67 25 130
-428 213 162 130 218
-429 143 122 85 174
-430 158 27 238 64
-431 110 133 5 52
-432 166 211 212 171
-433 68 247 248 109
-434 210 224 175 197
-435 191 137 40 118
-436 145 115 195 207
-437 210 201 139 163
-438 67 245 256 108
-439 37 53 97 87
-440 122 221 85 98
-441 56 100 80 119
-442 111 232 71 252
-443 132 160 227 249
-444 124 137 170 138
-445 34 134 19 153
-446 88 70 158 238
-447 82 127 74 120
-448 134 6 17 153
-449 187 242 254 204
-450 178 25 212 59
-451 48 225 83 226
-452 102 49 98 164
-453 135 16 151 32
-454 11 66 73 107
-455 77 115 41 119
-456 57 101 249 217
-457 200 146 116 208
-458 67 35 19 130
-459 33 171 237 18
-460 166 211 203 142
-461 178 182 217 152
-462 189 36 225 21
-463 90 145 91 207
-464 58 102 213 172
-465 143 89 125 32
-466 123 127 74 86
-467 114 76 219 230
-468 222 179 138 182
-469 220 59 103 148
-470 24 39 42 21
-471 110 178 69 212
-472 188 126 62 52
-473 22 157 37 205
-474 188 189 63 153
-475 132 12 24 161
-476 37 103 50 97
-477 165 220 231 166
-478 40 118 173 197
-479 135 190 246 229
-480 92 16 194 32
-481 11 158 28 206
-482 44 147 61 183
-483 233 51 85 241
-484 35 146 204 20
-485 242 4 226 8
-486 114 193 140 152
-487 78 222 179 116
-488 121 90 168 216
-489 113 73 196 219
-490 187 23 156 61
-491 60 104 30 207
-492 145 69 8 87
-493 35 223 20 142
-494 154 188 189 163
-495 113 235 215 73
-496 100 179 71 193
-497 78 199 173 97
-498 55 80 16 119
-499 234 246 159 84
-500 231 79 51 117
-501 45 79 171 237
-502 55 1 45 118
-503 233 192 129 241
-504 92 248 42 240
-505 222 69 141 87
-506 235 159 84 240
-507 58 169 6 17
-508 110 57 5 7
-509 177 180 104 72
-510 34 58 169 19
-511 90 91 149 194
-512 187 244 255 204
0