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