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