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