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