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