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