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