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