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