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