goldeval.py

# -*- coding: utf-8 -*-
gold1990map = {0:9,1:15,2:3,3:6,4:13,5:17,6:19}

gold = {}

#1989: article 9(de)/10(fr)
gold[9] = [   ([0], [0, 1]),
    ([1], [2]),
    ([2], [3]),
    ([3], [4]),
    ([4], [5, 6, 7]),
    ([5], [8]),
    ([6, 7], [9, 10]),
    ([8], [11]),
    ([9], [12]),
    ([10], [13, 14]),
    ([11], [15]),
    ([12], [16]),
    ([13], [17]),
    ([14], [18]),
    ([15], [19]),
    ([18, 19], [20]),
    ([20], [21]),
    ([21], [22]),
    ([22], [23]),
    ([23], [24]),
    ([24], [25, 26]),
    ([25], [27]),
    ([26], [28]),
    ([27], [29]),
    ([28, 29], [30]),
    ([30], [31]),
    ([31], [32]),
    ([32], [33]),
    ([33], [34]),
    ([34, 35], [35]),
    ([36], [36]),
    ([37], [37, 38]),
    ([38], [39]),
    ([39, 40], [40]),
    ([41], [41]),
    ([42, 43], [42]),
    ([44], [43]),
    ([45], [44]),
    ([46], [45]),
    ([47], [46]),
    ([48], [47]),
    ([49], [48]),
    ([50], [49]),
    ([51], [50, 55]),
    ([52], [56]),
    ([], [51]),
    ([], [52]),
    ([], [53]),
    ([], [54]),
    ([53], [57]),
    ([54], [58]),
    ([55, 56], [59]),
    ([57], [60]),
    ([58], [61]),
    ([59], [62]),
    ([60], [63]),
    ([61], [64]),
    ([62], [65]),
    ([63], [66]),
    ([64, 65, 66], [67]),
    ([67, 68, 69], [68]),
    ([70], [69]),
    ([71], [70]),
    ([72, 73], [71, 72]),
    ([74], [73]),
    ([75, 76, 77], [74]),
    ([78], [75]),
    ([79, 80], [76]),
    ([81], [77]),
    ([82], [78]),
    ([83, 84], [79]),
    ([85], [80]),
    ([86, 87], [81, 82]),
    ([88], [83]),
    ([89, 90], [84]),
    ([91, 92, 93], [85]),
    ([94], [86]),
    ([95], [87, 88]),
    ([96], [89]),
    ([97], [90]),
    ([98], [91]),
    ([99], [92, 93]),
    ([100], [94, 95]),
    ([101], [96, 97]),
    ([102], [98, 99]),
    ([103, 104], [100, 101]),
    ([105], [102]),
    ([], [103]),
    ([], [104]),
    ([], [105]),
    ([], [106]),
    ([], [107]),
    ([], [108]),
    ([], [109]),
    ([], [110]),
    ([], [111]),
    ([], [112]),
    ([], [113]),
    ([], [114]),
    ([], [115]),
    ([106], []),
    ([107], [117, 118]),
    ([108], [119]),
    ([109], [120]),
    ([110], [121]),
    ([111], [123]),
    ([112], [122]),
    ([113], [124]),
    ([114], [125]),
    ([115], [126]),
    ([116], [127]),
    ([117], [128, 129, 130, 131]),
    ([118], [132, 133]),
    ([119], [134, 135, 136, 137]),
    ([120], [138]),
    ([121], [139]),
    ([122], [142, 143]),
    ([123, 124, 125], [144]),
    ([126], [145]),
    ([127, 128], [146]),
    ([129], [147]),
    ([130], [148]),
    ([131], [149]),
    ([132], [150]),
    ([133], [151]),
    ([134], [152]),
    ([135], [153]),
    ([136], [154])]

#1989: article 15(de)/16(fr)
gold[15] = [   ([], [0]),
    ([0], [1]),
    ([1], [2]),
    ([2], [3]),
    ([3], [4]),
    ([4, 5], [5]),
    ([6], [6]),
    ([7], [7]),
    ([8], [8]),
    ([9], [9]),
    ([10], [12]),
    ([11, 12], [13]),
    ([13], [14]),
    ([14, 15], [15]),
    ([16], []),
    ([17], [10]),
    ([18], [11]),
    ([19], [16]),
    ([20], [17]),
    ([21], [18]),
    ([22], [19]),
    ([23, 24, 25], [20]),
    ([26], [21]),
    ([27], [22]),
    ([28], [23]),
    ([29], [24]),
    ([30], [25]),
    ([31], [26]),
    ([32], [27]),
    ([33, 34], [28]),
    ([35], [29]),
    ([36], [30]),
    ([37], [31]),
    ([38], [32]),
    ([39], [33]),
    ([40], [34]),
    ([41, 42], [35]),
    ([43, 44], [36]),
    ([45], [37]),
    ([46, 47], [38]),
    ([48], [39]),
    ([49], [40]),
    ([50], [41]),
    ([51], [42]),
    ([52], [43]),
    ([53], [44]),
    ([54], [45]),
    ([55], [46]),
    ([56, 57], [47]),
    ([58], [48]),
    ([], [49]),
    ([59], [50]),
    ([60], [51]),
    ([61], [52]),
    ([62], [53]),
    ([63], [54, 55]),
    ([64, 65], [56]),
    ([66, 67], [57]),
    ([68], [58]),
    ([69], [59]),
    ([70], [60]),
    ([71, 72], [61]),
    ([73], [62]),
    ([74], [63]),
    ([75, 77], [64]),
    ([76], []),
    ([78], [65]),
    ([79], [66]),
    ([80], [67]),
    ([81], [68]),
    ([], [69]),
    ([], [70]),
    ([82, 83], [71]),
    ([84], [72]),
    ([85], [73]),
    ([86], [74]),
    ([87], [75]),
    ([88], [76]),
    ([89, 90], [77]),
    ([91], [78]),
    ([92], [79]),
    ([93], [80]),
    ([94], [81]),
    ([95], [82]),
    ([96], [83]),
    ([97], [84]),
    ([98, 99], [85, 86]),
    ([100], [87]),
    ([101], [88]),
    ([102, 103], [89]),
    ([104], [90]),
    ([105], [91]),
    ([106], [92]),
    ([107], [93]),
    ([108], [94]),
    ([109], [95]),
    ([110, 111], [96]),
    ([112], [97]),
    ([113], [98]),
    ([114], [99]),
    ([115], [100]),
    ([116], [101]),
    ([117], [102]),
    ([118], [103]),
    ([119], [104]),
    ([120, 121], [105]),
    ([122], [106]),
    ([123], [107]),
    ([124], [108]),
    ([125, 126], [109]),
    ([127], [110]),
    ([128], [111]),
    ([129], [112]),
    ([130], [113]),
    ([131], [114]),
    ([132], [115]),
    ([133], [116]),
    ([134], [117]),
    ([135], [118]),
    ([136], [119]),
    ([137], [120]),
    ([138], [121]),
    ([139], [122]),
    ([140], [123]),
    ([141], [124]),
    ([142], [125]),
    ([143], [126]),
    ([144], [127]),
    ([145], [128]),
    ([146, 147], [129]),
    ([148], [130]),
    ([149], [131]),
    ([150], [132]),
    ([151], [133]),
    ([152], [134]),
    ([153], [135]),
    ([154], [136]),
    ([155, 156], [137]),
    ([157], [138]),
    ([158], [139]),
    ([159], [140]),
    ([160], [141]),
    ([161], [142]),
    ([162, 163, 164], [143]),
    ([165], [144]),
    ([166], [145]),
    ([167], [146]),
    ([168], [147]),
    ([169], [148]),
    ([170], [149]),
    ([171], [150]),
    ([172], [151]),
    ([173], [152]),
    ([174], [153]),
    ([175], [154]),
    ([176], [155]),
    ([177, 178], [156]),
    ([179], [157]),
    ([180], [158]),
    ([181, 182], [159]),
    ([183], [160]),
    ([184], [161]),
    ([185], [162]),
    ([186], [163]),
    ([187, 188], [164]),
    ([189], [165]),
    ([190], [166, 167]),
    ([191], [168]),
    ([192], [169]),
    ([193], [170]),
    ([194], [171]),
    ([195], [172]),
    ([196], [173]),
    ([197], [174]),
    ([198, 199], [175]),
    ([200], [176]),
    ([201], [177]),
    ([202, 203], [178]),
    ([204], [179]),
    ([205], [180]),
    ([206], [181]),
    ([207], [182, 183]),
    ([208, 209], [184]),
    ([210, 211], [185]),
    ([212], [186]),
    ([213], [187]),
    ([214], [188]),
    ([215, 216], [189]),
    ([217], [190]),
    ([218, 219], [191]),
    ([220], [192]),
    ([221, 222], [193]),
    ([223], [194]),
    ([224], [195]),
    ([225], [196]),
    ([226], [197]),
    ([227, 218], [198]),
    ([229, 230, 231], [199]),
    ([232], [200]),
    ([233], [201]),
    ([234], [202]),
    ([235, 236], [203]),
    ([237, 238], [204]),
    ([239, 240], [205]),
    ([241], [206]),
    ([242], [207]),
    ([243, 244], [208]),
    ([], [209]),
    ([245], [210]),
    ([246, 247], [211]),
    ([248], [212]),
    ([249, 250], [213]),
    ([251], [214]),
    ([252], [215]),
    ([253], [216]),
    ([254], [217]),
    ([255], [218]),
    ([256, 257], [219]),
    ([258, 259], [220]),
    ([260], [221]),
    ([261], [222]),
    ([262], [223]),
    ([263], [224]),
    ([264], [225]),
    ([265], [226, 229, 230]),
    ([], [227]),
    ([], [228]),
    ([266], [231]),
    ([267], [232]),
    ([268], [233]),
    ([269], [234]),
    ([270], [235]),
    ([271], [236]),
    ([272, 273, 274], [237]),
    ([275], [238]),
    ([276], [239, 240]),
    ([277], [241]),
    ([278], [242]),
    ([279], [243]),
    ([], [244]),
    ([280], [245]),
    ([281], [246]),
    ([282], [247]),
    ([283], [248]),
    ([284], [249]),
    ([285], [250]),
    ([286], [251]),
    ([287], [252]),
    ([288], [253, 254]),
    ([289], [255]),
    ([290], [256]),
    ([291], [257]),
    ([292], [258]),
    ([], [259]),
    ([], [260]),
    ([], [261]),
    ([], [262]),
    ([], [263]),
    ([], [264]),
    ([], [265]),
    ([], [266]),
    ([], [267]),
    ([], [268]),
    ([], [269]),
    ([], [270]),
    ([], [271]),
    ([], [272]),
    ([], [273])]

#1990: article 3
gold[3] = [   ([0], [0, 1, 2]),
    ([1], [3]),
    ([2, 3, 4], [4]),
    ([], [5]),
    ([5], [6]),
    ([6], [7]),
    ([7], [8]),
    ([8], [9]),
    ([9], [10]),
    ([10], [11]),
    ([11], [12]),
    ([12], [13, 14]),
    ([13], [15]),
    ([14], [16]),
    ([15], [17]),
    ([16], [18]),
    ([17], [19]),
    ([18], [20]),
    ([19], [21]),
    ([20], [22, 23]),
    ([21], [24]),
    ([22], [25]),
    ([23, 24], [26]),
    ([25], [27]),
    ([26], [28]),
    ([27], [29]),
    ([28], [30]),
    ([29, 31], [31]),
    ([30], []),
    ([32], [32]),
    ([33], [33, 34]),
    ([34], [35]),
    ([35], [36]),
    ([36], [37]),
    ([37], [38, 39]),
    ([38], [40]),
    ([39], [41]),
    ([40], [42]),
    ([41], [43]),
    ([42], [44]),
    ([43], [45]),
    ([44], [46]),
    ([45], [47]),
    ([46], [48]),
    ([47], [49, 50, 51]),
    ([48], [52]),
    ([49], [53]),
    ([50], [54]),
    ([51, 52], [55, 56]),
    ([53], [57]),
    ([54], [58]),
    ([55], [59]),
    ([56], [60]),
    ([57], [61]),
    ([58], [62]),
    ([59], [63]),
    ([60], [64]),
    ([61, 62], [65]),
    ([63], [66]),
    ([64], [67]),
    ([65], [68]),
    ([66], [69]),
    ([67], [70]),
    ([68], [71]),
    ([69], [72]),
    ([70], [73]),
    ([71], [74]),
    ([72], [75]),
    ([73], [76]),
    ([74], [77]),
    ([75], [78]),
    ([76, 77], [79, 80]),
    ([78], [81]),
    ([79], [82]),
    ([80], [83]),
    ([81], [84]),
    ([82], [85]),
    ([83], [86]),
    ([84], [87]),
    ([85], [88]),
    ([86], [89]),
    ([87], [90]),
    ([88], [91]),
    ([89], [92, 93]),
    ([90], [94]),
    ([91], [95]),
    ([92], [96]),
    ([93, 94], [97, 98]),
    ([], [99])]

#1990: article 6
gold[6] = [   ([0], [0]),
    ([1], [1]),
    ([2], [2]),
    ([3], [3]),
    ([4, 7], [4, 5]),
    ([5], [13]),
    ([6], [14]),
    ([8], [6]),
    ([9], [7, 8, 9]),
    ([10, 11], [10]),
    ([12], [11]),
    ([13], [12, 15]),
    ([14], [16, 17]),
    ([15], [18]),
    ([16, 17], [19]),
    ([18], [20]),
    ([19], [21]),
    ([20], [22]),
    ([21], [23]),
    ([22], [24]),
    ([23], [25]),
    ([24], [26]),
    ([25], [27]),
    ([26], [28]),
    ([27], [29]),
    ([28], [30]),
    ([29], [31]),
    ([30], [32, 33]),
    ([31, 32], [34]),
    ([33], [35]),
    ([34], []),
    ([35], [36]),
    ([36], [37]),
    ([37], [38]),
    ([38], [39]),
    ([39], [40, 41]),
    ([40], [42]),
    ([41], [43]),
    ([42, 43], [44]),
    ([44], [45]),
    ([45], [46]),
    ([46], [47]),
    ([47], [48]),
    ([48], [49]),
    ([49], [50]),
    ([50], [51]),
    ([51], [52]),
    ([52], [53]),
    ([53], [54]),
    ([54], [55]),
    ([55], [56]),
    ([56], [57]),
    ([57], [58, 59]),
    ([58], [60]),
    ([59], [61]),
    ([60], [62]),
    ([61], [63]),
    ([62], [64]),
    ([63], [65]),
    ([64], [66]),
    ([65], [67]),
    ([66], [68]),
    ([67, 68], [69]),
    ([69], [70]),
    ([70], [71]),
    ([71], [72]),
    ([72], [73, 74]),
    ([73], [75]),
    ([74], [76]),
    ([75], [77]),
    ([76], [78]),
    ([77], [79]),
    ([78], [80]),
    ([79], [81]),
    ([80], [82]),
    ([81], [83]),
    ([82], [84]),
    ([83], [85]),
    ([84], [86]),
    ([85], [87]),
    ([86], [88]),
    ([87], [89]),
    ([88], [90, 91]),
    ([89], [92]),
    ([90], [93]),
    ([91], [94]),
    ([92], [95]),
    ([93], [96]),
    ([94], [97]),
    ([95], [98]),
    ([96], [99]),
    ([97], [100]),
    ([98], [101]),
    ([99], [102]),
    ([100], [103]),
    ([101], [104]),
    ([102], [105]),
    ([103, 104], [106]),
    ([105], [107, 108]),
    ([106], [109]),
    ([], [110]),
    ([], [111])]

#1990: article 13
gold[13] = [   ([0], [0]),
    ([1], [1]),
    ([2], [2]),
    ([3], [3]),
    ([4], [4]),
    ([5], [5]),
    ([6], [6]),
    ([7], [7]),
    ([8], [8]),
    ([9, 10], [9]),
    ([11], [10]),
    ([12], [11, 12]),
    ([13, 14], [13]),
    ([15], [14]),
    ([], [15]),
    ([16], [16]),
    ([17], [17, 18]),
    ([18], [19, 20]),
    ([19], [21]),
    ([20], [22]),
    ([21], [23]),
    ([22], [24]),
    ([23, 24], [25]),
    ([25], [26]),
    ([26], [27, 28]),
    ([27], [29]),
    ([28], [30]),
    ([29], [31]),
    ([30], [32]),
    ([31], [33, 34]),
    ([32], [35]),
    ([33], [36]),
    ([34], [37]),
    ([35], [38]),
    ([], [39])]

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

#1990: article 19
gold[19] = [   ([0, 1], [0, 1]),
    ([2], [2]),
    ([3], [3]),
    ([4, 5], [4, 5, 6]),
    ([6], []),
    ([7], [7]),
    ([8], [8]),
    ([9], [9]),
    ([10], [10]),
    ([11, 12], [11]),
    ([13], [12]),
    ([14], [13]),
    ([15], [14]),
    ([16], [15]),
    ([17], [16]),
    ([18], [17]),
    ([19], [18]),
    ([20], [19, 20]),
    ([21], [21, 22, 23]),
    ([22], [24, 25, 26]),
    ([23], [27]),
    ([24], [28]),
    ([25], [29]),
    ([26], [30]),
    ([27], [31]),
    ([28], [32]),
    ([29], [33]),
    ([30], [34]),
    ([31], [35]),
    ([32], [36]),
    ([33], [37]),
    ([34], [38]),
    ([35], [40]),
    ([36], [41]),
    ([37], [42]),
    ([38], [43]),
    ([39], [44]),
    ([40], [45]),
    ([41], [46]),
    ([42], [47]),
    ([43], [48]),
    ([44], [49]),
    ([45, 46], [50]),
    ([47], [51]),
    ([48], [52]),
    ([49], [53]),
    ([50], [54]),
    ([51], [55]),
    ([52], [56]),
    ([53], [57]),
    ([54], [58]),
    ([55], [59]),
    ([56], [60]),
    ([57], [61]),
    ([58], [62]),
    ([59], [63]),
    ([60], [64]),
    ([61], [65]),
    ([62], [66]),
    ([63], [67]),
    ([64, 65], [68]),
    ([66], [69, 70]),
    ([67], [71]),
    ([68], [72]),
    ([69], [73]),
    ([70], [74]),
    ([71], [75]),
    ([72, 73], [76]),
    ([74], [77]),
    ([75], [78]),
    ([76], [79]),
    ([77], [80]),
    ([78], [81]),
    ([79], [82]),
    ([80], [83]),
    ([81], [84]),
    ([82], [85]),
    ([83], [86]),
    ([84], [87]),
    ([85], [88]),
    ([86], [89]),
    ([87], [90]),
    ([88], [91]),
    ([89], [92]),
    ([90], [93]),
    ([91], [94]),
    ([92], [95]),
    ([93], [96]),
    ([94], [97]),
    ([95], [98]),
    ([96, 97], [99]),
    ([98, 102], [100]),
    ([104], [101]),
    ([105], [102]),
    ([106], [103]),
    ([107], [104, 109]),
    ([99], [105]),
    ([100], [106]),
    ([101], [107, 108]),
    ([108], [110]),
    ([109], [111]),
    ([110], [112]),
    ([111], []),
    ([112], [113]),
    ([113], [114]),
    ([114, 115], [115]),
    ([116], [116]),
    ([117], [117]),
    ([118], [118]),
    ([119], [119]),
    ([120], [120]),
    ([121, 122], [121]),
    ([123, 124], [122]),
    ([125], [123]),
    ([126], [124]),
    ([127, 130], [125]),
    ([131], [126]),
    ([132], [127, 128]),
    ([133], [129]),
    ([134], [130, 132]),
    ([128, 129], [131]),
    ([135, 136], [133]),
    ([137], [134]),
    ([138], [135]),
    ([139], [136]),
    ([140, 141], [137, 138]),
    ([142, 146, 147], [139, 140]),
    ([148], [141]),
    ([149], [142, 144]),
    ([150, 151, 152], [145, 146]),
    ([143], []),
    ([144], []),
    ([145], []),
    ([153], [147]),
    ([154], [148]),
    ([155], [149, 150]),
    ([156], [151]),
    ([157], [152, 153]),
    ([158], [154]),
    ([159], [155]),
    ([160], [156]),
    ([161], [157]),
    ([], [158]),
    ([162], [159]),
    ([163], [160]),
    ([164], [161]),
    ([165], [162]),
    ([166], [163, 164]),
    ([167], [165]),
    ([168], [166, 167]),
    ([169], [168]),
    ([170], [169]),
    ([171], [170, 171]),
    ([172], [172]),
    ([173], [173]),
    ([174], [174, 175]),
    ([175], [176]),
    ([176], [177]),
    ([177], [178]),
    ([178], [179]),
    ([179], [180]),
    ([180], [181]),
    ([181], [182]),
    ([182], [183]),
    ([183], [184]),
    ([184], [185, 186]),
    ([185], [187]),
    ([186, 187], [188]),
    ([188], [189]),
    ([189], [190, 191]),
    ([190], [192, 193]),
    ([191], [194]),
    ([192], [195]),
    ([193], [196]),
    ([194, 195], [197]),
    ([196], [198])]