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