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