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