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