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