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