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