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