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