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