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