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