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