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