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