Super Mario Construct

Super Mario Construct is a fan-made level editor that allows users to create and play custom Mario levels. I used Super Mario Construct to visualize the level layouts in this proof and to create an interactive demo featured in my video.

Demo Level

I also built a playable level based on the example formula:

\[\phi = (x_1 \vee x_3 \vee \neg x_4) \wedge (\neg x_2 \vee x_3 \vee \neg x_5)\]

If you want to try playing the level, follow these steps:

  1. Navigate to Super Mario Construct.
  2. Click on Play level.
  3. Copy and paste the following level code into the text box and press Play. 
    {"ver":"v8.beta28.3","style":1,"name":"(x1 OR x3 OR NOTx4) AND (NOTx2 OR x3 OR x5)","authors":"Eric Khiu","start":{"map":"Start","p1":{"X":0,"Y":8}},"maps":{"Start":{"size":"30,15","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,16,11,E[2]","1":"b2,8,8,C[i1]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"360x-1,0,18x1,2,10x-1,3,18x4,5,10x-1,6,18x7,8,10x-1"},"Tiles 2":{"dat":"t,,0,0"}},"editL":"Tiles 1","bgc":"198,255,255","music":"0","pal":0,"destinations":{},"entryways":{"to x1 entrance":"1,Tiles 1,16.5,10.5,x1 entrance,x1"}},"c1":{"size":"35,20","bgc":"198,255,255","editL":"Objects","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,3,16,E[2]","1":"pi1,5,16,E[2]","2":"pi1,8,16,E[2]","3":"pi1,10,16,E[2]","4":"pi1,13,16,E[2]","5":"pi1,15,16,E[2]","6":"pi4,33,15,E[2]","7":"pi2,1,5,E[2]","8":"b2,9,7,C[it1]","9":"b17,9,8","10":"o63,3.5,11.5,2","11":"o63,8.5,11.5,2","12":"o63,13.5,11.5,2","13":"e27,20,16,E[6,,100]","14":"e27,21,16,E[6,,100]","15":"e27,22,16,E[6,,100]","16":"e27,23,16,E[6,,100]","17":"e27,24,16,E[6,,100]","18":"e27,25,16,E[6,,100]","19":"e27,26,16,E[6,,100]","20":"e27,27,16,E[6,,100]","21":"e27,28,16,E[6,,100]","22":"e27,29,16,E[6,,100]","23":"e27,29,12,,,36,E[6,,100]","24":"e27,28,12,,,36,E[6,,100]","25":"e27,27,12,,,36,E[6,,100]","26":"e27,26,12,,,36,E[6,,100]","27":"e27,25,12,,,36,E[6,,100]","28":"e27,24,12,,,36,E[6,,100]","29":"e27,23,12,,,36,E[6,,100]","30":"e27,22,12,,,36,E[6,,100]","31":"e27,21,12,,,36,E[6,,100]","32":"e27,20,12,,,36,E[6,,100]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"595x-1,0,33x1,2,3,33x4,5,6,33x7,8","1_Blocks":"6x-1,3x6,3x-1,6,28x-1,6,4x-1,2x6,28x-1,6,5x-1,6,28x-1,6,5x-1,6,28x-1,3x6,2x-1,3x6,21x-1,10,34x-1,10,16x-1,10,16x-1,4x10,14x-1,10,16x-1,4x10,14x-1,10,16x-1,4x10,14x-1,10,16x-1,19x10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,10,105x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"x1-T-c1":"2,Tiles 1,3.5,15.5","x3-T-c1":"2,Tiles 1,8.5,15.5","x4-F-c1":"2,Objects,13.5,15.5","c1-entrance":"6,Objects,1.5,5.5"},"entryways":{"to x1-T-x2":"1,Tiles 1,5.5,15.5,x1-T-x2,x2","to c2 entrance":"3,Objects,32.5,15.5,c2-entrance,c2","to x4-F-x5":"1,Objects,15.5,15.5,x4-F-x5,x5","to x3-T-c2":"1,Objects,10.5,15.5,x3-T-c2,c2"}},"c2":{"size":"35,20","bgc":"198,255,255","editL":"Objects","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,3,16,E[2]","1":"pi1,5,16,E[2]","2":"pi1,8,16,E[2]","3":"pi1,10,16,E[2]","4":"pi1,13,16,E[2]","5":"pi1,15,16,E[2]","6":"pi4,33,15,E[2]","7":"pi2,1,5,E[2]","8":"b2,9,7,C[it1]","9":"o62,8.5,11.5,2","10":"o62,3.5,11.5,2","11":"b16,9,8","12":"o62,13.5,11.5,2","13":"e27,29,16,E[6,,100]","14":"e27,28,16,E[6,,100]","15":"e27,27,16,E[6,,100]","16":"e27,26,16,E[6,,100]","17":"e27,25,16,E[6,,100]","18":"e27,24,16,E[6,,100]","19":"e27,23,16,E[6,,100]","20":"e27,22,16,E[6,,100]","21":"e27,21,16,E[6,,100]","22":"e27,20,16,E[6,,100]","23":"e27,29,12,,,36,E[6,,100]","24":"e27,28,12,,,36,E[6,,100]","25":"e27,27,12,,,36,E[6,,100]","26":"e27,26,12,,,36,E[6,,100]","27":"e27,25,12,,,36,E[6,,100]","28":"e27,24,12,,,36,E[6,,100]","29":"e27,23,12,,,36,E[6,,100]","30":"e27,22,12,,,36,E[6,,100]","31":"e27,21,12,,,36,E[6,,100]","32":"e27,20,12,,,36,E[6,,100]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"595x-1,0,33x1,2,3,33x4,5,6,33x7,8","1_Blocks":"6x-1,3x6,2x-1,3x6,27x-1,6,6x-1,6,27x-1,6,4x-1,3x6,27x-1,6,4x-1,6,29x-1,3x6,2x-1,3x6,21x-1,10,34x-1,10,16x-1,10,16x-1,4x10,14x-1,10,16x-1,4x10,14x-1,10,16x-1,4x10,14x-1,10,16x-1,19x10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,10,105x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"x2-F-c2":"2,Objects,3.5,15.5","x3-T-c2":"2,Objects,8.5,15.5","x5-F-c2":"2,Objects,13.5,15.5","c2-entrance":"6,Objects,1.5,5.5"},"entryways":{"to x2-F-x3":"1,Objects,5.5,15.5,x2-F-x3,x3","to end entrance":"3,Objects,32.5,15.5,end entrance,End","x5-F-c2 to c1 entrance":"1,Objects,15.5,15.5,c1-entrance,c1","to x3-T-x4":"1,Objects,10.5,15.5,x3-T-x4,x4"}},"x1":{"size":"26,23","bgc":"198,255,255","editL":"Tiles 1","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,2,19,E[2]","1":"pi1,12,19,E[2]","2":"pi2,1,8,E[2]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"520x-1,0,14x1,2,10x-1,3,14x4,5,10x-1,6,14x7,8,10x-1","1_Blocks":"54x-1,6,3x-1,6,5x-1,6,16x-1,6,-1,6,5x-1,2x6,17x-1,6,7x-1,6,16x-1,6,-1,6,6x-1,6,15x-1,6,3x-1,6,4x-1,3x6,12x-1,16x10,10x-1,10,14x-1,10,10x-1,10,14x-1,10,10x-1,5x10,6x-1,5x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,2x-1,8x10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,88x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"x1 entrance":"6,Objects,1.5,8.5"},"entryways":{"to x1-T-c1":"1,Objects,2.5,18.5,x1-T-c1,c1","to x1-F-x2":"1,Tiles 1,12.5,18.5,x1-F-x2,x2"}},"x2":{"size":"26,23","bgc":"198,255,255","editL":"Tiles 1","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi2,1,8,E[2]","1":"pi4,14,8,E[2]","2":"pi1,2,19,E[2]","3":"pi1,12,19,E[2]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"520x-1,0,14x1,2,10x-1,3,14x4,5,10x-1,6,14x7,8,10x-1","1_Blocks":"54x-1,6,3x-1,6,3x-1,4x6,15x-1,6,-1,6,7x-1,6,16x-1,6,5x-1,4x6,15x-1,6,-1,6,4x-1,6,17x-1,6,3x-1,6,3x-1,4x6,12x-1,16x10,10x-1,10,14x-1,10,10x-1,10,14x-1,10,10x-1,5x10,6x-1,5x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,2x-1,8x10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,88x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"x1-F-x2":"7,Objects,13.5,8.5","x1-T-x2":"6,Tiles 1,1.5,8.5"},"entryways":{"to x2-T-x3":"1,Objects,2.5,18.5,x2-T-x3,x3","to x2-F-c2":"1,Objects,12.5,18.5,x2-F-c2,c2"}},"x3":{"size":"26,23","bgc":"198,255,255","editL":"Tiles 1","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,2,19,E[2]","1":"pi2,1,8,E[2]","2":"pi4,14,8,E[2]","3":"pi1,12,19,E[2]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"520x-1,0,14x1,2,10x-1,3,14x4,5,10x-1,6,14x7,8,10x-1","1_Blocks":"55x-1,6,3x-1,6,2x-1,3x6,17x-1,6,-1,6,5x-1,6,18x-1,6,4x-1,3x6,17x-1,6,-1,6,5x-1,6,16x-1,6,3x-1,6,2x-1,3x6,13x-1,16x10,10x-1,10,14x-1,10,10x-1,10,14x-1,10,10x-1,5x10,6x-1,5x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,2x-1,8x10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,88x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"x2-T-x3":"6,Objects,1.5,8.5","x2-F-x3":"7,Objects,13.5,8.5"},"entryways":{"to x3-T-c1":"1,Objects,2.5,18.5,x3-T-c1,c1","to x3-F-x4":"1,Objects,12.5,18.5,x3-F-x4,x4"}},"x4":{"size":"26,23","bgc":"198,255,255","editL":"Tiles 1","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,2,19,E[2]","1":"pi1,12,19,E[2]","2":"pi2,1,8,E[2]","3":"pi4,14,8,E[2]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"520x-1,0,14x1,2,10x-1,3,14x4,5,10x-1,6,14x7,8,10x-1","1_Blocks":"54x-1,6,3x-1,6,3x-1,2x6,17x-1,6,-1,6,3x-1,6,-1,6,18x-1,6,3x-1,6,2x-1,6,17x-1,6,-1,6,2x-1,5x6,15x-1,6,3x-1,6,4x-1,6,14x-1,16x10,10x-1,10,14x-1,10,10x-1,10,14x-1,10,10x-1,5x10,6x-1,5x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,2x-1,8x10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,88x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"x3-T-x4":"6,Objects,1.5,8.5","x3-F-x4":"7,Objects,13.5,8.5"},"entryways":{"to x4-F-c1":"1,Objects,12.5,18.5,x4-F-c1,c1","to x4-T-c5":"1,Tiles 1,2.5,18.5,x4-T-x5,x5"}},"x5":{"size":"26,23","bgc":"198,255,255","editL":"Objects","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,12,19,E[2]","1":"pi2,1,8,E[2]","2":"pi4,14,8,E[2]","3":"pi1,2,19,E[2]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"520x-1,0,14x1,2,10x-1,3,14x4,5,10x-1,6,14x7,8,10x-1","1_Blocks":"55x-1,6,3x-1,6,2x-1,3x6,17x-1,6,-1,6,3x-1,6,20x-1,6,4x-1,3x6,17x-1,6,-1,6,5x-1,6,16x-1,6,3x-1,6,2x-1,3x6,13x-1,16x10,10x-1,10,14x-1,10,10x-1,10,14x-1,10,10x-1,5x10,6x-1,5x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,2x-1,8x10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,88x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"x4-F-x5":"7,Objects,13.5,8.5","x4-T-x5":"6,Objects,1.5,8.5"},"entryways":{"x5-T to c1 entrance":"1,Objects,2.5,18.5,c1-entrance,c1","to x5-F-c2":"1,Objects,12.5,18.5,x5-F-c2,c2"}},"End":{"size":"36,16","bgc":"198,255,255","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi2,0,11,E[2]","1":"o15,14,12,E[15,1,26,,1]","2":"b3,11,9","3":"b3,23,12","4":"b3,22,12","5":"b3,20,12","6":"b3,20,11","7":"b3,21,11","8":"b3,23,11","9":"b3,22,11","10":"b3,21,10","11":"b3,22,10","12":"b3,21,12"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"468x-1,0,25x1,10x-1,3,24x4,5,10x-1,6,24x7,8,10x-1","1_Blocks":"324x-1,11x10,-1,10,35x-1,10,35x-1,10,35x-1,10,131x-1"},"Tiles 2":{"dat":"t,,0,0"}},"editL":"Tiles 1","music":"0","pal":0,"destinations":{"end entrance":"6,Tiles 1,0.5,11.5"},"entryways":{}}},"desc":"This is a SMB Level coresponds to 3CNF (x1 OR x3 OR NOTx4) AND (NOTx2 OR x3 OR NOTx5).\n\n3SAT to SMB Reduction: The level is passable iff the 3CNF is satisfiable. For each variable, use the True exit on the left if it is assigned True, use the False exit on the right otherwise. ","switchPal":"1,2,3"}
  4. Enjoy the level!

Remarks

  • It is strongly recommended that you find a satisfiable assignment (if any) for $\phi$ before starting the level. This will help you determine the correct path through the variable gadgets and ensure you can activate the necessary Palace Switches in the clause gadgets. (Of course, feel free to try playing the level with an unsatisfiable assignment and see what happens!)
  • Upon reaching a “variable gadget” (X1, X2, X3, X4, X5), use the left exit if you assign that variable with true, use the right exit if you assign that variable with false.
  • Upon reaching a “clause gadget” (C1, C2) from the bottom entrances, toggle the palace switch. Be careful to not re-toggle any switch if you reenter the clause gadget, otherwise the block will turn back to solid.
  • Upon reaching a “clause gadget” from the left entrance, try to get a star from the item blocks to transform into invincible Mario to get through the firebars.

Unsatisfiable Formula

I also made another level for the formula

\[(x_1 \vee x_1 \vee x_1) \wedge (\neg x_1 \vee \neg x_1 \vee \neg x_1)\]

which is unsatisfiable.

{"ver":"v8.beta28.3","style":1,"name":"(x1 OR x1 or x1) AND (NOTx1 OR NOTx1 OR NOTx1)","authors":"Eric Khiu","start":{"map":"Start","p1":{"X":0,"Y":8}},"maps":{"Start":{"size":"30,15","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,16,11,E[2]","1":"b2,8,8,C[i1]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"360x-1,0,18x1,2,10x-1,3,18x4,5,10x-1,6,18x7,8,10x-1"},"Tiles 2":{"dat":"t,,0,0"}},"editL":"Tiles 1","bgc":"198,255,255","music":"0","pal":0,"destinations":{},"entryways":{"to x1 entrance":"1,Tiles 1,16.5,10.5,x1 entrance,x1"}},"c1":{"size":"35,20","bgc":"198,255,255","editL":"Objects","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,3,16,E[2]","1":"pi1,5,16,E[2]","2":"pi1,8,16,E[2]","3":"pi1,10,16,E[2]","4":"pi1,13,16,E[2]","5":"pi1,15,16,E[2]","6":"pi4,33,15,E[2]","7":"pi2,1,5,E[2]","8":"b2,9,7,C[it1]","9":"b17,9,8","10":"o63,3.5,11.5,2","11":"o63,8.5,11.5,2","12":"o63,13.5,11.5,2","13":"e27,20,16,E[6,,100]","14":"e27,21,16,E[6,,100]","15":"e27,22,16,E[6,,100]","16":"e27,23,16,E[6,,100]","17":"e27,24,16,E[6,,100]","18":"e27,25,16,E[6,,100]","19":"e27,26,16,E[6,,100]","20":"e27,27,16,E[6,,100]","21":"e27,28,16,E[6,,100]","22":"e27,29,16,E[6,,100]","23":"e27,29,12,,,36,E[6,,100]","24":"e27,28,12,,,36,E[6,,100]","25":"e27,27,12,,,36,E[6,,100]","26":"e27,26,12,,,36,E[6,,100]","27":"e27,25,12,,,36,E[6,,100]","28":"e27,24,12,,,36,E[6,,100]","29":"e27,23,12,,,36,E[6,,100]","30":"e27,22,12,,,36,E[6,,100]","31":"e27,21,12,,,36,E[6,,100]","32":"e27,20,12,,,36,E[6,,100]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"595x-1,0,33x1,2,3,33x4,5,6,33x7,8","1_Blocks":"6x-1,3x6,3x-1,6,28x-1,6,4x-1,2x6,28x-1,6,5x-1,6,28x-1,6,5x-1,6,28x-1,3x6,2x-1,3x6,21x-1,10,34x-1,10,16x-1,10,16x-1,4x10,14x-1,10,16x-1,4x10,14x-1,10,16x-1,4x10,14x-1,10,16x-1,19x10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,10,105x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"x1-T-c1":"2,Tiles 1,3.5,15.5","c1-entrance":"6,Objects,1.5,5.5"},"entryways":{"to c2 entrance":"3,Objects,32.5,15.5,c2-entrance,c2"}},"c2":{"size":"35,20","bgc":"198,255,255","editL":"Objects","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,3,16,E[2]","1":"pi1,5,16,E[2]","2":"pi1,8,16,E[2]","3":"pi1,10,16,E[2]","4":"pi1,13,16,E[2]","5":"pi1,15,16,E[2]","6":"pi4,33,15,E[2]","7":"pi2,1,5,E[2]","8":"b2,9,7,C[it1]","9":"o62,8.5,11.5,2","10":"o62,3.5,11.5,2","11":"b16,9,8","12":"o62,13.5,11.5,2","13":"e27,29,16,E[6,,100]","14":"e27,28,16,E[6,,100]","15":"e27,27,16,E[6,,100]","16":"e27,26,16,E[6,,100]","17":"e27,25,16,E[6,,100]","18":"e27,24,16,E[6,,100]","19":"e27,23,16,E[6,,100]","20":"e27,22,16,E[6,,100]","21":"e27,21,16,E[6,,100]","22":"e27,20,16,E[6,,100]","23":"e27,29,12,,,36,E[6,,100]","24":"e27,28,12,,,36,E[6,,100]","25":"e27,27,12,,,36,E[6,,100]","26":"e27,26,12,,,36,E[6,,100]","27":"e27,25,12,,,36,E[6,,100]","28":"e27,24,12,,,36,E[6,,100]","29":"e27,23,12,,,36,E[6,,100]","30":"e27,22,12,,,36,E[6,,100]","31":"e27,21,12,,,36,E[6,,100]","32":"e27,20,12,,,36,E[6,,100]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"595x-1,0,33x1,2,3,33x4,5,6,33x7,8","1_Blocks":"6x-1,3x6,2x-1,3x6,27x-1,6,6x-1,6,27x-1,6,4x-1,3x6,27x-1,6,4x-1,6,29x-1,3x6,2x-1,3x6,21x-1,10,34x-1,10,16x-1,10,16x-1,4x10,14x-1,10,16x-1,4x10,14x-1,10,16x-1,4x10,14x-1,10,16x-1,19x10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,4x10,4x-1,10,4x-1,10,4x-1,10,16x-1,10,105x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"c2-entrance":"6,Objects,1.5,5.5","x1-F-c2":"2,Objects,3.5,15.5"},"entryways":{"to end entrance":"3,Objects,32.5,15.5,end entrance,End","x5-F-c2 to c1 entrance":"1,Objects,5.5,15.5,c1-entrance,c1"}},"x1":{"size":"26,23","bgc":"198,255,255","editL":"Objects","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi1,2,19,E[2]","1":"pi1,12,19,E[2]","2":"pi2,1,8,E[2]"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"520x-1,0,14x1,2,10x-1,3,14x4,5,10x-1,6,14x7,8,10x-1","1_Blocks":"54x-1,6,3x-1,6,5x-1,6,16x-1,6,-1,6,5x-1,2x6,17x-1,6,7x-1,6,16x-1,6,-1,6,6x-1,6,15x-1,6,3x-1,6,4x-1,3x6,12x-1,16x10,10x-1,10,14x-1,10,10x-1,10,14x-1,10,10x-1,5x10,6x-1,5x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,12x-1,2x10,10x-1,2x10,2x-1,8x10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,10x-1,2x10,2x-1,10,6x-1,10,2x-1,2x10,88x-1"},"Tiles 2":{"dat":"t,,0,0"}},"music":"0","pal":0,"destinations":{"x1 entrance":"6,Objects,1.5,8.5"},"entryways":{"to x1-T-c1":"1,Objects,2.5,18.5,x1-T-c1,c1","to x1-F-c1":"1,Objects,12.5,18.5,x1-F-c2,c2"}},"End":{"size":"36,16","bgc":"198,255,255","layers":{"Objects":{"dat":"o,,0,0","objects":{"0":"pi2,0,11,E[2]","1":"o15,14,12,E[15,1,26,,1]","2":"b3,11,9","3":"b3,23,12","4":"b3,22,12","5":"b3,20,12","6":"b3,20,11","7":"b3,21,11","8":"b3,23,11","9":"b3,22,11","10":"b3,21,10","11":"b3,22,10","12":"b3,21,12"}},"Tiles 1":{"dat":"t,,0,0","1_DesertTemple":"468x-1,0,25x1,10x-1,3,24x4,5,10x-1,6,24x7,8,10x-1","1_Blocks":"324x-1,11x10,-1,10,35x-1,10,35x-1,10,35x-1,10,131x-1"},"Tiles 2":{"dat":"t,,0,0"}},"editL":"Tiles 1","music":"0","pal":0,"destinations":{"end entrance":"6,Tiles 1,0.5,11.5"},"entryways":{}}},"desc":"This is a SMB Level coresponds to 3CNF (x1 OR x3 OR NOTx4) AND (NOTx2 OR x3 OR NOTx5).\n\n3SAT to SMB Reduction: The level is passable iff the 3CNF is satisfiable. For each variable, use the True exit on the left if it is assigned True, use the False exit on the right otherwise. ","switchPal":"1,2,3"}