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