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