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