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