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