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