-- Modifiable Feature Groups -- A line of the form -- Feature Group NN: -XX -YY -ZZ -- means that feature group number NN contains the features corresponding to the flags -XX, -YY, and -ZZ. -- The feature indicated by -XX, the first to be listed, is numbered zero and the default for the group. -- Subsequent features are number one, two, three, etc. (Thus, to uniquely identify a feature we must give a group number and a feature number.) -- Some lines have null in place of a flag, e.g., -- Feature Group NN: null -YY -ZZ -- Null means that there is no flag designating that feature, so to achieve it all we can do is omit -YY and -ZZ. Feature Group 61: -fno-align-functions -falign-functions Feature Group 148: -fno-align-jumps -falign-jumps Feature Group 101: -fno-align-labels -falign-labels Feature Group 74: -fno-argument-noalias -fargument-noalias Feature Group 156: -fno-argument-noalias-anything -fargument-noalias-anything Feature Group 136: -fno-argument-noalias-global -fargument-noalias-global Feature Group 78: null -fbounds-check Feature Group 123: -fno-branch-probabilities -fbranch-probabilities Feature Group 121: -fno-branch-target-load-optimize2 -fbranch-target-load-optimize2 Feature Group 83: -fno-branch-target-load-optimize -fbranch-target-load-optimize Feature Group 152: -fno-btr-bb-exclusive -fbtr-bb-exclusive Feature Group 9: -fno-caller-saves -fcaller-saves Feature Group 158: -fno-conserve-stack -fconserve-stack Feature Group 51: -fno-cprop-registers -fcprop-registers Feature Group 56: -fno-crossjumping -fcrossjumping Feature Group 15: -fno-cse-follow-jumps -fcse-follow-jumps Feature Group 122: -fno-cse-skip-blocks -fcse-skip-blocks Feature Group 43: -fno-cx-fortran-rules -fcx-fortran-rules Feature Group 67: -fno-cx-limited-range -fcx-limited-range Feature Group 154: -fno-data-sections -fdata-sections Feature Group 98: null -fdefault-real-8 Feature Group 73: -fno-defer-pop -fdefer-pop Feature Group 13: -fno-delayed-branch -fdelayed-branch Feature Group 65: -fno-delete-null-pointer-checks -fdelete-null-pointer-checks Feature Group 86: -fno-exceptions -fexceptions Feature Group 151: -fno-expensive-optimizations -fexpensive-optimizations Feature Group 29: -fno-finite-math-only -ffinite-math-only Feature Group 119: -fno-float-store -ffloat-store Feature Group 132: -fno-forward-propagate -fforward-propagate Feature Group 167: -fno-gcse -fgcse Feature Group 31: -fno-gcse-after-reload -fgcse-after-reload Feature Group 57: -fno-gcse-las -fgcse-las Feature Group 117: -fno-gcse-sm -fgcse-sm Feature Group 20: -fno-guess-branch-probability -fguess-branch-probability Feature Group 137: -fno-if-conversion2 -fif-conversion2 Feature Group 10: -fno-if-conversion -fif-conversion Feature Group 130: -fno-inline-functions -finline-functions Feature Group 63: -fno-inline-small-functions -finline-small-functions Feature Group 17: -fno-ipa-cp -fipa-cp Feature Group 129: -fno-ipa-cp-clone -fipa-cp-clone Feature Group 93: -fno-ipa-matrix-reorg -fipa-matrix-reorg Feature Group 33: -fno-ipa-pta -fipa-pta Feature Group 91: -fno-ipa-pure-const -fipa-pure-const Feature Group 155: -fno-ipa-reference -fipa-reference Feature Group 59: null -fipa-struct-reorg Feature Group 32: -fno-ipa-type-escape -fipa-type-escape Feature Group 141: -fno-merge-all-constants -fmerge-all-constants Feature Group 108: -fno-merge-constants -fmerge-constants Feature Group 54: -fmessage-length=80 -fmessage-length=180 Feature Group 72: -fno-modulo-sched -fmodulo-sched Feature Group 55: -falign-loops -fno-align-loops Feature Group 84: -fargument-alias -fno-argument-alias Feature Group 53: -fasynchronous-unwind-tables -fno-asynchronous-unwind-tables Feature Group 2: null -fno-backslash Feature Group 120: -fbranch-count-reg -fno-branch-count-reg Feature Group 166: -fcommon -fno-common Feature Group 126: -fdce -fno-dce Feature Group 95: -fdse -fno-dse Feature Group 94: -fearly-inlining -fno-early-inlining Feature Group 69: -fgcse-lm -fno-gcse-lm Feature Group 76: -finline-functions-called-once -fno-inline-functions-called-once Feature Group 41: null -fno-ira-share-save-slots Feature Group 115: -fivopts -fno-ivopts Feature Group 162: -fjump-tables -fno-jump-tables Feature Group 139: -fmath-errno -fno-math-errno Feature Group 75: -fmove-loop-invariants -fno-move-loop-invariants Feature Group 164: -fpeephole -fno-peephole Feature Group 19: -frename-registers -fno-rename-registers Feature Group 3: -fsched-interblock -fno-sched-interblock Feature Group 46: -fsched-spec -fno-sched-spec Feature Group 131: -fsched-stalled-insns-dep -fno-sched-stalled-insns-dep Feature Group 163: -fsigned-zeros -fno-signed-zeros Feature Group 44: -fsplit-ivs-in-unroller -fno-split-ivs-in-unroller Feature Group 140: -ftoplevel-reorder -fno-toplevel-reorder Feature Group 116: -ftrapping-math -fno-trapping-math Feature Group 107: -ftree-cselim -fno-tree-cselim Feature Group 1: -ftree-loop-im -fno-tree-loop-im Feature Group 34: -ftree-loop-ivcanon -fno-tree-loop-ivcanon Feature Group 114: -ftree-loop-optimize -fno-tree-loop-optimize Feature Group 96: -ftree-reassoc -fno-tree-reassoc Feature Group 60: -ftree-scev-cprop -fno-tree-scev-cprop Feature Group 103: -ftree-switch-conversion -fno-tree-switch-conversion Feature Group 88: -ftree-vect-loop-version -fno-tree-vect-loop-version Feature Group 127: -funit-at-a-time -fno-unit-at-a-time Feature Group 165: -fvar-tracking -fno-var-tracking Feature Group 38: -fvect-cost-model -fno-vect-cost-model Feature Group 102: -fweb -fno-web Feature Group 52: -fno-non-call-exceptions -fnon-call-exceptions Feature Group 135: -fno-omit-frame-pointer -fomit-frame-pointer Feature Group 12: -fno-optimize-register-move -foptimize-register-move Feature Group 11: -fno-optimize-sibling-calls -foptimize-sibling-calls Feature Group 112: -fno-pack-struct -fpack-struct Feature Group 42: -fno-peel-loops -fpeel-loops Feature Group 100: -fno-peephole2 -fpeephole2 Feature Group 40: -fno-predictive-commoning -fpredictive-commoning Feature Group 109: -fno-prefetch-loop-arrays -fprefetch-loop-arrays Feature Group 87: -fno-reg-struct-return -freg-struct-return Feature Group 7: -fno-regmove -fregmove Feature Group 125: -fno-reorder-blocks -freorder-blocks Feature Group 147: -fno-reorder-blocks-and-partition -freorder-blocks-and-partition Feature Group 28: -fno-reorder-functions -freorder-functions Feature Group 124: -fno-rerun-cse-after-loop -frerun-cse-after-loop Feature Group 82: -fno-reschedule-modulo-scheduled-loops -freschedule-modulo-scheduled-loops Feature Group 143: -fno-rounding-math -frounding-math Feature Group 71: -fno-rtl-abstract-sequences -frtl-abstract-sequences Feature Group 64: -fno-sched2-use-superblocks -fsched2-use-superblocks Feature Group 79: -fno-sched2-use-traces -fsched2-use-traces Feature Group 18: -fno-sched-spec-load -fsched-spec-load Feature Group 21: -fno-sched-spec-load-dangerous -fsched-spec-load-dangerous Feature Group 81: -fno-sched-stalled-insns -fsched-stalled-insns Feature Group 37: -fno-schedule-insns2 -fschedule-insns2 Feature Group 142: -fno-schedule-insns -fschedule-insns Feature Group 161: -fno-section-anchors -fsection-anchors Feature Group 68: -fno-sel-sched-pipelining -fsel-sched-pipelining Feature Group 92: -fno-sel-sched-pipelining-outer-loops -fsel-sched-pipelining-outer-loops Feature Group 36: -fno-sel-sched-reschedule-pipelined -fsel-sched-reschedule-pipelined Feature Group 128: -fno-selective-scheduling2 -fselective-scheduling2 Feature Group 39: -fno-selective-scheduling -fselective-scheduling Feature Group 45: -fno-signaling-nans -fsignaling-nans Feature Group 97: -fno-single-precision-constant -fsingle-precision-constant Feature Group 35: -fno-split-wide-types -fsplit-wide-types Feature Group 138: -fno-strict-aliasing -fstrict-aliasing Feature Group 27: -fno-thread-jumps -fthread-jumps Feature Group 144: -fno-trapv -ftrapv Feature Group 8: -fno-tree-builtin-call-dce -ftree-builtin-call-dce Feature Group 22: -fno-tree-ccp -ftree-ccp Feature Group 6: -fno-tree-ch -ftree-ch Feature Group 48: -fno-tree-copy-prop -ftree-copy-prop Feature Group 99: -fno-tree-copyrename -ftree-copyrename Feature Group 26: -fno-tree-dce -ftree-dce Feature Group 23: -fno-tree-dominator-opts -ftree-dominator-opts Feature Group 5: -fno-tree-dse -ftree-dse Feature Group 146: -fno-tree-fre -ftree-fre Feature Group 77: -fno-tree-loop-distribution -ftree-loop-distribution Feature Group 25: -fno-tree-loop-linear -ftree-loop-linear Feature Group 49: -fno-tree-lrs -ftree-lrs Feature Group 111: -fno-tree-pre -ftree-pre Feature Group 4: -fno-tree-salias -ftree-salias Feature Group 134: -fno-tree-sink -ftree-sink Feature Group 145: -fno-tree-sra -ftree-sra Feature Group 153: -fno-tree-store-ccp -ftree-store-ccp Feature Group 118: -fno-tree-ter -ftree-ter Feature Group 62: -fno-tree-vectorize -ftree-vectorize Feature Group 110: -fno-tree-vrp -ftree-vrp Feature Group 50: -fno-unroll-all-loops -funroll-all-loops Feature Group 150: -fno-unroll-loops -funroll-loops Feature Group 133: -fno-unsafe-loop-optimizations -funsafe-loop-optimizations Feature Group 80: -fno-unsafe-math-optimizations -funsafe-math-optimizations Feature Group 157: -fno-unswitch-loops -funswitch-loops Feature Group 105: -fno-unwind-tables -funwind-tables Feature Group 30: -fno-var-tracking-uninit -fvar-tracking-uninit Feature Group 70: -fno-variable-expansion-in-unroller -fvariable-expansion-in-unroller Feature Group 159: -fno-vpt -fvpt Feature Group 66: -fno-wrapv -fwrapv Feature Group 113: null -pedantic -- Unmodifiable Feature Groups -- The formatting here is the same as before. -- We needed to recognize these features to support the test cases from the bug database, even though it does not make sense to change them. -- Also, some of them participate in feature constraints. Feature Group 47: null -fopenmp Feature Group 16: null -fpic Feature Group 90: null -g Feature Group 24: null -m32 Feature Group 89: null -m64 Feature Group 160: null -nostdlib Feature Group 14: null -std=c++0x -- Bundle Feature Groups -- A flag bundle acts like a feature of its own, but also has implications for how flags are passed: -- Using a bundle changes the settings for feature groups that are not otherwise mentioned on the command line; see the next section. Feature Group 0: null -O1 -O2 -Os -O3 Feature Group 106: null -W Feature Group 58: null -Wall Feature Group 149: null -Wextra Feature Group 85: null -combine Feature Group 104: null -fPIC -- Bundle Meanings -- Each bundle is followed by the settings that it establishes (unless those settings are overridden by another flag). -- A pair (XX,YY) indicates feature YY within feature group XX. -- If a feature group is not mentioned on a bundle's line, the bundle does not affect it. -ffast-math (29,1) (67,1) (80,1) (139,1) (167,0) -Os (5,1) (6,1) (7,1) (8,1) (9,1) (10,1) (11,1) (12,1) (15,1) (17,1) (20,1) (22,1) (23,1) (26,1) (27,1) (28,1) (31,1) (35,1) (37,1) (48,1) (51,1) (55,1) (56,1) (57,1) (61,1) (63,1) (65,1) (69,1) (73,1) (76,1) (91,1) (99,1) (101,1) (108,1) (110,1) (111,1) (117,1) (118,1) (124,1) (125,1) (129,1) (130,1) (132,1) (134,1) (135,1) (137,1) (138,1) (145,1) (146,1) (147,1) (148,1) (151,1) (155,1) (167,1) (0,4) (1,0) (2,0) (3,0) (4,0) (13,0) (14,0) (16,0) (18,0) (19,0) (21,0) (24,0) (25,0) (29,0) (30,0) (32,0) (33,0) (34,0) (36,0) (38,0) (39,0) (40,0) (41,0) (42,0) (43,0) (44,0) (45,0) (46,0) (47,0) (49,0) (50,0) (52,0) (53,0) (54,0) (58,0) (59,0) (60,0) (62,0) (64,0) (66,0) (67,0) (68,0) (70,0) (71,0) (72,0) (74,0) (75,0) (77,0) (78,0) (79,0) (80,0) (81,0) (82,0) (83,0) (84,0) (85,0) (86,0) (87,0) (88,0) (89,0) (90,0) (92,0) (93,0) (94,0) (95,0) (96,0) (97,0) (98,0) (100,0) (102,0) (103,0) (104,0) (105,0) (106,0) (107,0) (109,0) (112,0) (113,0) (114,0) (115,0) (116,0) (119,0) (120,0) (121,0) (122,0) (123,0) (126,0) (127,0) (128,0) (131,0) (133,0) (136,0) (139,0) (140,0) (141,0) (142,0) (143,0) (144,0) (149,0) (150,0) (152,0) (153,0) (154,0) (156,0) (157,0) (158,0) (159,0) (160,0) (161,0) (162,0) (163,0) (164,0) (165,0) (166,0) -O1 (5,1) (6,1) (10,1) (20,1) (22,1) (23,1) (26,1) (35,1) (48,1) (51,1) (73,1) (91,1) (99,1) (108,1) (118,1) (134,1) (135,1) (137,1) (145,1) (146,1) (155,1) (0,1) (1,0) (2,0) (3,0) (4,0) (7,0) (8,0) (9,0) (11,0) (12,0) (13,0) (14,0) (15,0) (16,0) (17,0) (18,0) (19,0) (21,0) (24,0) (25,0) (27,0) (28,0) (29,0) (30,0) (31,0) (32,0) (33,0) (34,0) (36,0) (37,0) (38,0) (39,0) (40,0) (41,0) (42,0) (43,0) (44,0) (45,0) (46,0) (47,0) (49,0) (50,0) (52,0) (53,0) (54,0) (55,0) (56,0) (57,0) (58,0) (59,0) (60,0) (61,0) (62,0) (63,0) (64,0) (65,0) (66,0) (67,0) (68,0) (69,0) (70,0) (71,0) (72,0) (74,0) (75,0) (76,0) (77,0) (78,0) (79,0) (80,0) (81,0) (82,0) (83,0) (84,0) (85,0) (86,0) (87,0) (88,0) (89,0) (90,0) (92,0) (93,0) (94,0) (95,0) (96,0) (97,0) (98,0) (100,0) (101,0) (102,0) (103,0) (104,0) (105,0) (106,0) (107,0) (109,0) (110,0) (111,0) (112,0) (113,0) (114,0) (115,0) (116,0) (117,0) (119,0) (120,0) (121,0) (122,0) (123,0) (124,0) (125,0) (126,0) (127,0) (128,0) (129,0) (130,0) (131,0) (132,0) (133,0) (136,0) (138,0) (139,0) (140,0) (141,0) (142,0) (143,0) (144,0) (147,0) (148,0) (149,0) (150,0) (151,0) (152,0) (153,0) (154,0) (156,0) (157,0) (158,0) (159,0) (160,0) (161,0) (162,0) (163,0) (164,0) (165,0) (166,0) (167,0) -O2 (5,1) (6,1) (7,1) (8,1) (9,1) (10,1) (11,1) (12,1) (15,1) (17,1) (20,1) (22,1) (23,1) (26,1) (27,1) (28,1) (31,1) (35,1) (37,1) (48,1) (51,1) (55,1) (56,1) (57,1) (61,1) (63,1) (65,1) (69,1) (73,1) (91,1) (99,1) (101,1) (108,1) (110,1) (111,1) (117,1) (118,1) (124,1) (125,1) (129,1) (132,1) (134,1) (135,1) (137,1) (138,1) (145,1) (146,1) (147,1) (148,1) (151,1) (155,1) (167,1) (0,2) (1,0) (2,0) (3,0) (4,0) (13,0) (14,0) (16,0) (18,0) (19,0) (21,0) (24,0) (25,0) (29,0) (30,0) (32,0) (33,0) (34,0) (36,0) (38,0) (39,0) (40,0) (41,0) (42,0) (43,0) (44,0) (45,0) (46,0) (47,0) (49,0) (50,0) (52,0) (53,0) (54,0) (58,0) (59,0) (60,0) (62,0) (64,0) (66,0) (67,0) (68,0) (70,0) (71,0) (72,0) (74,0) (75,0) (76,0) (77,0) (78,0) (79,0) (80,0) (81,0) (82,0) (83,0) (84,0) (85,0) (86,0) (87,0) (88,0) (89,0) (90,0) (92,0) (93,0) (94,0) (95,0) (96,0) (97,0) (98,0) (100,0) (102,0) (103,0) (104,0) (105,0) (106,0) (107,0) (109,0) (112,0) (113,0) (114,0) (115,0) (116,0) (119,0) (120,0) (121,0) (122,0) (123,0) (126,0) (127,0) (128,0) (130,0) (131,0) (133,0) (136,0) (139,0) (140,0) (141,0) (142,0) (143,0) (144,0) (149,0) (150,0) (152,0) (153,0) (154,0) (156,0) (157,0) (158,0) (159,0) (160,0) (161,0) (162,0) (163,0) (164,0) (165,0) (166,0) -O3 (5,1) (6,1) (7,1) (8,1) (9,1) (10,1) (11,1) (12,1) (15,1) (17,1) (20,1) (22,1) (23,1) (26,1) (27,1) (28,1) (31,1) (35,1) (37,1) (40,1) (48,1) (51,1) (55,1) (56,1) (57,1) (61,1) (62,1) (63,1) (65,1) (69,1) (73,1) (76,1) (91,1) (99,1) (101,1) (108,1) (110,1) (111,1) (117,1) (118,1) (124,1) (125,1) (129,1) (130,1) (132,1) (134,1) (135,1) (137,1) (138,1) (145,1) (146,1) (147,1) (148,1) (151,1) (155,1) (157,1) (167,1) (0,3) (1,0) (2,0) (3,0) (4,0) (13,0) (14,0) (16,0) (18,0) (19,0) (21,0) (24,0) (25,0) (29,0) (30,0) (32,0) (33,0) (34,0) (36,0) (38,0) (39,0) (41,0) (42,0) (43,0) (44,0) (45,0) (46,0) (47,0) (49,0) (50,0) (52,0) (53,0) (54,0) (58,0) (59,0) (60,0) (64,0) (66,0) (67,0) (68,0) (70,0) (71,0) (72,0) (74,0) (75,0) (77,0) (78,0) (79,0) (80,0) (81,0) (82,0) (83,0) (84,0) (85,0) (86,0) (87,0) (88,0) (89,0) (90,0) (92,0) (93,0) (94,0) (95,0) (96,0) (97,0) (98,0) (100,0) (102,0) (103,0) (104,0) (105,0) (106,0) (107,0) (109,0) (112,0) (113,0) (114,0) (115,0) (116,0) (119,0) (120,0) (121,0) (122,0) (123,0) (126,0) (127,0) (128,0) (131,0) (133,0) (136,0) (139,0) (140,0) (141,0) (142,0) (143,0) (144,0) (149,0) (150,0) (152,0) (153,0) (154,0) (156,0) (158,0) (159,0) (160,0) (161,0) (162,0) (163,0) (164,0) (165,0) (166,0) -- Constraints -- We use the same (XX,YY) notation as above, except here we mean a boolean that is true if feature group XX is set to its YYth feature. -- The logic symbols may not show up properly if your editor doesn't have Unicode support. They are -- ¬ for negation of an (XX,YY) atom, -- ∨ for disjunction within the clauses, and -- ∧ for conjunction of the clauses. -- The entire formula evaluates to true if and only if the configuration is valid. [ ¬(18,1) ∨ (142,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(21,1) ∨ (142,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(36,1) ∨ (39,1) ∨ (128,1) ] ∧ [ ¬(68,1) ∨ (39,1) ∨ (128,1) ] ∧ [ ¬(79,1) ∨ (142,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(92,1) ∨ (39,1) ∨ (128,1) ] ∧ [ ¬(37,1) ∨ (142,1) ] ∧ [ ¬(1,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(3,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(4,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(5,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(6,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(7,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(8,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(9,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(10,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(11,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(12,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(13,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(15,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(17,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(18,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(19,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(20,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(21,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(22,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(23,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(25,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(26,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(27,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(28,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(31,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(32,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(33,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(34,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(35,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(36,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(37,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(38,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(39,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(40,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(41,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(42,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(44,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(46,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(48,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(49,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(50,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(51,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(53,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(56,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(57,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(59,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(60,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(62,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(63,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(64,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(65,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(68,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(69,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(70,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(71,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(72,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(73,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(75,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(76,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(77,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(79,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(81,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(82,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(83,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(87,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(88,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(91,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(92,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(93,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(94,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(95,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(96,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(99,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(100,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(101,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(102,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(103,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(107,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(108,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(109,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(110,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(111,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(112,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(114,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(115,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(117,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(118,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(120,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(121,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(122,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(123,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(124,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(125,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(126,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(128,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(129,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(130,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(131,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(132,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(133,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(134,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(137,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(138,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(140,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(141,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(142,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(143,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(145,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(146,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(147,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(148,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(150,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(151,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(152,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(153,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(155,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(157,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(158,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(161,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(162,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(163,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(164,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ] ∧ [ ¬(167,0) ∨ (0,1) ∨ (0,2) ∨ (0,3) ]