2list_of_ids(id0). 3list_of_ids(id1). 4list_of_ids(id2). 5list_of_ids(id3). 6list_of_ids(id4). 7list_of_ids(id5). 8list_of_ids(id6). 9list_of_ids(id7). 10list_of_ids(id8). 11list_of_ids(id9). 12 13 14id_pair(id0, id1). 15 16id_pair(id0, id2). 17id_pair(id0, id3). 18id_pair(id0, id4). 19id_pair(id0, id5). 20id_pair(id0, id6). 21 22id_pair(id0, id7). 23id_pair(id0, id8). 24id_pair(id0, id9). 25 26id_pair(id1, id2). 27 28id_pair(id1, id3). 29id_pair(id1, id4). 30id_pair(id1, id5). 31id_pair(id1, id6). 32id_pair(id1, id7). 33id_pair(id1, id8). 34id_pair(id1, id9). 35id_pair(id2, id3). 36id_pair(id2, id4). 37id_pair(id2, id5). 38id_pair(id2, id6). 39id_pair(id2, id7). 40id_pair(id2, id8). 41id_pair(id2, id9). 42id_pair(id3, id4). 43id_pair(id3, id5). 44id_pair(id3, id6). 45id_pair(id3, id7). 46id_pair(id3, id8). 47id_pair(id3, id9). 48 49id_pair(id4, id5). 50 51id_pair(id4, id6). 52id_pair(id4, id7). 53id_pair(id4, id8). 54id_pair(id4, id9). 55id_pair(id5, id6). 56id_pair(id5, id7). 57id_pair(id5, id8). 58id_pair(id5, id9). 59id_pair(id6, id7). 60id_pair(id6, id8). 61id_pair(id6, id9). 62id_pair(id7, id8). 63id_pair(id7, id9). 64id_pair(id8, id9). 65 66 67 68symmetric_id_pair(id1, id0). 69 70symmetric_id_pair(id2, id0). 71 72symmetric_id_pair(id2, id1). 73 74symmetric_id_pair(id3, id0). 75symmetric_id_pair(id3, id1). 76symmetric_id_pair(id3, id2). 77symmetric_id_pair(id4, id0). 78symmetric_id_pair(id4, id1). 79symmetric_id_pair(id4, id2). 80symmetric_id_pair(id4, id3). 81symmetric_id_pair(id5, id0). 82symmetric_id_pair(id5, id1). 83symmetric_id_pair(id5, id2). 84symmetric_id_pair(id5, id3). 85 86symmetric_id_pair(id5, id4). 87 88symmetric_id_pair(id6, id0). 89 90symmetric_id_pair(id6, id1). 91symmetric_id_pair(id6, id2). 92symmetric_id_pair(id6, id3). 93symmetric_id_pair(id6, id4). 94symmetric_id_pair(id6, id5). 95symmetric_id_pair(id7, id0). 96symmetric_id_pair(id7, id1). 97symmetric_id_pair(id7, id2). 98symmetric_id_pair(id7, id3). 99symmetric_id_pair(id7, id4). 100symmetric_id_pair(id7, id5). 101 102symmetric_id_pair(id7, id6). 103 104symmetric_id_pair(id8, id0). 105symmetric_id_pair(id8, id1). 106symmetric_id_pair(id8, id2). 107symmetric_id_pair(id8, id3). 108symmetric_id_pair(id8, id4). 109symmetric_id_pair(id8, id5). 110 111symmetric_id_pair(id8, id6). 112symmetric_id_pair(id8, id7). 113 114symmetric_id_pair(id9, id0). 115symmetric_id_pair(id9, id1). 116symmetric_id_pair(id9, id2). 117symmetric_id_pair(id9, id3). 118symmetric_id_pair(id9, id4). 119symmetric_id_pair(id9, id5). 120 121symmetric_id_pair(id9, id6). 122symmetric_id_pair(id9, id7). 123symmetric_id_pair(id9, id8)