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