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