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