{ "model_record_sha256": "82d443dd1040f319d15b940280fc7fe84f0d6fdfef0977ecea136c070964465d", "source_sha256": "569b4c857240025d4e051817e9cb12d963bdbbd34a76f590ea93c782d567fff7", "sampling": [ { "budget": 1, "rows": [ { "id": "pages", "answers": [ null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 74, "output_tokens": 4, "invalid": 1, "capped": 0 }, { "id": "color", "answers": [ null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 95, "output_tokens": 25, "invalid": 1, "capped": 0 }, { "id": "packs", "answers": [ null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 84, "output_tokens": 2, "invalid": 1, "capped": 0 }, { "id": "discount", "answers": [ null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 88, "output_tokens": 4, "invalid": 1, "capped": 0 }, { "id": "queue", "answers": [ null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 97, "output_tokens": 3, "invalid": 1, "capped": 0 }, { "id": "mixture", "answers": [ null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 85, "output_tokens": 2, "invalid": 1, "capped": 0 }, { "id": "rate", "answers": [ null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 95, "output_tokens": 3, "invalid": 1, "capped": 0 }, { "id": "cycles", "answers": [ null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 80, "output_tokens": 5, "invalid": 1, "capped": 0 } ] }, { "budget": 2, "rows": [ { "id": "pages", "answers": [ null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 148, "output_tokens": 7, "invalid": 2, "capped": 0 }, { "id": "color", "answers": [ null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 190, "output_tokens": 28, "invalid": 2, "capped": 0 }, { "id": "packs", "answers": [ null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 168, "output_tokens": 4, "invalid": 2, "capped": 0 }, { "id": "discount", "answers": [ null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 176, "output_tokens": 10, "invalid": 2, "capped": 0 }, { "id": "queue", "answers": [ null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 194, "output_tokens": 6, "invalid": 2, "capped": 0 }, { "id": "mixture", "answers": [ null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 170, "output_tokens": 11, "invalid": 2, "capped": 0 }, { "id": "rate", "answers": [ null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 190, "output_tokens": 6, "invalid": 2, "capped": 0 }, { "id": "cycles", "answers": [ null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 160, "output_tokens": 9, "invalid": 2, "capped": 0 } ] }, { "budget": 4, "rows": [ { "id": "pages", "answers": [ null, null, null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 296, "output_tokens": 13, "invalid": 4, "capped": 0 }, { "id": "color", "answers": [ null, null, null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 380, "output_tokens": 51, "invalid": 4, "capped": 0 }, { "id": "packs", "answers": [ null, null, null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 336, "output_tokens": 149, "invalid": 4, "capped": 0 }, { "id": "discount", "answers": [ null, null, null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 352, "output_tokens": 18, "invalid": 4, "capped": 0 }, { "id": "queue", "answers": [ null, null, null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 388, "output_tokens": 12, "invalid": 4, "capped": 0 }, { "id": "mixture", "answers": [ null, null, null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 340, "output_tokens": 27, "invalid": 4, "capped": 0 }, { "id": "rate", "answers": [ null, null, null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 380, "output_tokens": 205, "invalid": 4, "capped": 1 }, { "id": "cycles", "answers": [ null, null, null, null ], "voted": null, "correct": false, "oracle": false, "input_tokens": 320, "output_tokens": 15, "invalid": 4, "capped": 0 } ] } ], "searches": [ { "numbers": [ 1, 2, 3, 4 ], "width": 1, "success": true, "expression": "(1*(2*(3*4)))", "expanded": 3, "generated": 60, "trace": [ { "depth": 1, "unique": 30, "kept": 1, "values": [ [ "1", "2", "12" ] ] }, { "depth": 2, "unique": 15, "kept": 1, "values": [ [ "1", "24" ] ] }, { "depth": 3, "unique": 5, "kept": 1, "values": [ [ "24" ] ] } ] }, { "numbers": [ 2, 3, 4, 5 ], "width": 1, "success": false, "expression": null, "expanded": 3, "generated": 60, "trace": [ { "depth": 1, "unique": 35, "kept": 1, "values": [ [ "2", "3", "20" ] ] }, { "depth": 2, "unique": 18, "kept": 1, "values": [ [ "2", "23" ] ] }, { "depth": 3, "unique": 6, "kept": 1, "values": [ [ "25" ] ] } ] }, { "numbers": [ 3, 3, 8, 8 ], "width": 1, "success": false, "expression": null, "expanded": 3, "generated": 60, "trace": [ { "depth": 1, "unique": 14, "kept": 1, "values": [ [ "3", "8", "24" ] ] }, { "depth": 2, "unique": 18, "kept": 1, "values": [ [ "-5", "24" ] ] }, { "depth": 3, "unique": 6, "kept": 1, "values": [ [ "19" ] ] } ] }, { "numbers": [ 1, 5, 5, 5 ], "width": 1, "success": false, "expression": null, "expanded": 3, "generated": 60, "trace": [ { "depth": 1, "unique": 9, "kept": 1, "values": [ [ "1", "5", "25" ] ] }, { "depth": 2, "unique": 15, "kept": 1, "values": [ [ "5", "24" ] ] }, { "depth": 3, "unique": 6, "kept": 1, "values": [ [ "19" ] ] } ] }, { "numbers": [ 2, 2, 6, 6 ], "width": 1, "success": false, "expression": null, "expanded": 3, "generated": 60, "trace": [ { "depth": 1, "unique": 13, "kept": 1, "values": [ [ "2", "2", "12" ] ] }, { "depth": 2, "unique": 9, "kept": 1, "values": [ [ "2", "24" ] ] }, { "depth": 3, "unique": 6, "kept": 1, "values": [ [ "22" ] ] } ] }, { "numbers": [ 1, 3, 4, 6 ], "width": 1, "success": false, "expression": null, "expanded": 3, "generated": 60, "trace": [ { "depth": 1, "unique": 31, "kept": 1, "values": [ [ "1", "3", "24" ] ] }, { "depth": 2, "unique": 15, "kept": 1, "values": [ [ "-2", "24" ] ] }, { "depth": 3, "unique": 6, "kept": 1, "values": [ [ "22" ] ] } ] }, { "numbers": [ 4, 7, 8, 8 ], "width": 1, "success": false, "expression": null, "expanded": 3, "generated": 59, "trace": [ { "depth": 1, "unique": 22, "kept": 1, "values": [ [ "8", "8", "28" ] ] }, { "depth": 2, "unique": 10, "kept": 1, "values": [ [ "0", "28" ] ] }, { "depth": 3, "unique": 3, "kept": 1, "values": [ [ "28" ] ] } ] }, { "numbers": [ 1, 2, 5, 8 ], "width": 1, "success": false, "expression": null, "expanded": 3, "generated": 60, "trace": [ { "depth": 1, "unique": 31, "kept": 1, "values": [ [ "1", "5", "16" ] ] }, { "depth": 2, "unique": 15, "kept": 1, "values": [ [ "1", "21" ] ] }, { "depth": 3, "unique": 5, "kept": 1, "values": [ [ "22" ] ] } ] }, { "numbers": [ 1, 2, 3, 4 ], "width": 4, "success": true, "expression": "(1*(2*(3*4)))", "expanded": 9, "generated": 132, "trace": [ { "depth": 1, "unique": 30, "kept": 4, "values": [ [ "1", "2", "12" ], [ "1", "3", "8" ], [ "1", "2", "7" ], [ "1", "3", "6" ] ] }, { "depth": 2, "unique": 51, "kept": 4, "values": [ [ "1", "24" ], [ "1", "18" ], [ "1", "14" ], [ "2", "13" ] ] }, { "depth": 3, "unique": 20, "kept": 4, "values": [ [ "24" ], [ "23" ], [ "25" ], [ "26" ] ] } ] }, { "numbers": [ 2, 3, 4, 5 ], "width": 4, "success": false, "expression": null, "expanded": 9, "generated": 132, "trace": [ { "depth": 1, "unique": 35, "kept": 4, "values": [ [ "2", "3", "20" ], [ "2", "4", "15" ], [ "2", "5", "12" ], [ "3", "4", "10" ] ] }, { "depth": 2, "unique": 64, "kept": 4, "values": [ [ "5", "24" ], [ "2", "23" ], [ "3", "22" ], [ "-1", "20" ] ] }, { "depth": 3, "unique": 17, "kept": 4, "values": [ [ "25" ], [ "21" ], [ "19" ], [ "29" ] ] } ] }, { "numbers": [ 3, 3, 8, 8 ], "width": 4, "success": false, "expression": null, "expanded": 9, "generated": 132, "trace": [ { "depth": 1, "unique": 14, "kept": 4, "values": [ [ "3", "8", "24" ], [ "3", "3", "16" ], [ "3", "8", "11" ], [ "8", "8", "9" ] ] }, { "depth": 2, "unique": 50, "kept": 4, "values": [ [ "-5", "24" ], [ "3/8", "24" ], [ "8/3", "24" ], [ "5", "24" ] ] }, { "depth": 3, "unique": 20, "kept": 4, "values": [ [ "189/8" ], [ "195/8" ], [ "64/3" ], [ "80/3" ] ] } ] }, { "numbers": [ 1, 5, 5, 5 ], "width": 4, "success": false, "expression": null, "expanded": 9, "generated": 132, "trace": [ { "depth": 1, "unique": 9, "kept": 4, "values": [ [ "1", "5", "25" ], [ "1", "5", "10" ], [ "5", "5", "6" ], [ "-4", "5", "5" ] ] }, { "depth": 2, "unique": 40, "kept": 4, "values": [ [ "5", "24" ], [ "-4", "25" ], [ "1/5", "25" ], [ "4", "25" ] ] }, { "depth": 3, "unique": 21, "kept": 4, "values": [ [ "124/5" ], [ "126/5" ], [ "21" ], [ "19" ] ] } ] }, { "numbers": [ 2, 2, 6, 6 ], "width": 4, "success": false, "expression": null, "expanded": 9, "generated": 132, "trace": [ { "depth": 1, "unique": 13, "kept": 4, "values": [ [ "2", "2", "12" ], [ "2", "2", "36" ], [ "2", "6", "12" ], [ "2", "6", "8" ] ] }, { "depth": 2, "unique": 45, "kept": 4, "values": [ [ "2", "24" ], [ "6", "24" ], [ "2", "18" ], [ "6", "16" ] ] }, { "depth": 3, "unique": 23, "kept": 4, "values": [ [ "22" ], [ "26" ], [ "20" ], [ "18" ] ] } ] }, { "numbers": [ 1, 3, 4, 6 ], "width": 4, "success": false, "expression": null, "expanded": 9, "generated": 132, "trace": [ { "depth": 1, "unique": 31, "kept": 4, "values": [ [ "1", "3", "24" ], [ "1", "4", "18" ], [ "1", "6", "12" ], [ "1", "3", "10" ] ] }, { "depth": 2, "unique": 58, "kept": 4, "values": [ [ "-2", "24" ], [ "1/3", "24" ], [ "2", "24" ], [ "3", "24" ] ] }, { "depth": 3, "unique": 20, "kept": 4, "values": [ [ "71/3" ], [ "73/3" ], [ "22" ], [ "26" ] ] } ] }, { "numbers": [ 4, 7, 8, 8 ], "width": 4, "success": false, "expression": null, "expanded": 9, "generated": 131, "trace": [ { "depth": 1, "unique": 22, "kept": 4, "values": [ [ "8", "8", "28" ], [ "4", "7", "16" ], [ "7", "8", "32" ], [ "4", "8", "15" ] ] }, { "depth": 2, "unique": 57, "kept": 4, "values": [ [ "7", "24" ], [ "4", "23" ], [ "8", "25" ], [ "0", "28" ] ] }, { "depth": 3, "unique": 19, "kept": 4, "values": [ [ "27" ], [ "28" ], [ "19" ], [ "17" ] ] } ] }, { "numbers": [ 1, 2, 5, 8 ], "width": 4, "success": false, "expression": null, "expanded": 9, "generated": 132, "trace": [ { "depth": 1, "unique": 31, "kept": 4, "values": [ [ "1", "5", "16" ], [ "1", "2", "13" ], [ "1", "5", "10" ], [ "1", "8", "10" ] ] }, { "depth": 2, "unique": 55, "kept": 4, "values": [ [ "1", "26" ], [ "1", "21" ], [ "1", "18" ], [ "5", "17" ] ] }, { "depth": 3, "unique": 20, "kept": 4, "values": [ [ "25" ], [ "22" ], [ "26" ], [ "21" ] ] } ] }, { "numbers": [ 1, 2, 3, 4 ], "width": null, "success": true, "expression": "(1*(2*(3*4)))", "expanded": 212, "generated": 1660, "trace": [ { "depth": 1, "unique": 30, "kept": 30, "values": [ [ "1", "2", "12" ], [ "1", "3", "8" ], [ "1", "2", "7" ], [ "1", "3", "6" ], [ "1", "4", "6" ], [ "1", "4", "5" ], [ "2", "3", "5" ], [ "-2", "2", "4" ], [ "-1", "1", "4" ], [ "-1", "3", "4" ], [ "1/3", "2", "4" ], [ "1/2", "3", "4" ], [ "2/3", "1", "4" ], [ "1", "1", "4" ], [ "1", "3/2", "4" ], [ "1", "3", "4" ], [ "2", "2", "4" ], [ "2", "3", "4" ], [ "2", "4", "4" ], [ "3", "3", "4" ], [ "-3", "2", "3" ], [ "-2", "1", "3" ], [ "1/4", "2", "3" ], [ "1/2", "1", "3" ], [ "1", "2", "3" ], [ "2", "3", "3" ], [ "-1", "1", "2" ], [ "3/4", "1", "2" ], [ "1", "1", "2" ], [ "1", "4/3", "2" ] ] }, { "depth": 2, "unique": 181, "kept": 181, "values": [ [ "1", "24" ], [ "1", "20" ], [ "1", "18" ], [ "2", "16" ], [ "2", "15" ], [ "1", "14" ], [ "2", "13" ], [ "-1", "12" ], [ "1/2", "12" ], [ "1", "12" ], [ "2", "12" ], [ "3", "12" ], [ "1", "11" ], [ "2", "11" ], [ "1", "10" ], [ "3", "10" ], [ "1", "9" ], [ "2", "9" ], [ "3", "9" ], [ "4", "9" ], [ "-2", "8" ], [ "1/3", "8" ], [ "2", "8" ], [ "3", "8" ], [ "4", "8" ], [ "-1", "7" ], [ "1/2", "7" ], [ "1", "7" ], [ "2", "7" ], [ "3", "7" ], [ "4", "7" ], [ "-3", "6" ], [ "-2", "6" ], [ "1/4", "6" ], [ "1/3", "6" ], [ "1", "6" ], [ "2", "6" ], [ "3", "6" ], [ "4", "6" ], [ "5", "6" ], [ "1", "11/2" ], [ "-3", "5" ], [ "-1", "5" ], [ "1/4", "5" ], [ "2/3", "5" ], [ "1", "5" ], [ "3/2", "5" ], [ "3", "5" ], [ "4", "5" ], [ "5", "5" ], [ "1", "14/3" ], [ "3", "9/2" ], [ "2", "13/3" ], [ "-5", "4" ], [ "-4", "4" ], [ "-3", "4" ], [ "-5/2", "4" ], [ "-2", "4" ], [ "-5/3", "4" ], [ "-1", "4" ], [ "-1/2", "4" ], [ "-1/3", "4" ], [ "0", "4" ], [ "1/6", "4" ], [ "1/5", "4" ], [ "1/3", "4" ], [ "1/2", "4" ], [ "2/3", "4" ], [ "1", "4" ], [ "3/2", "4" ], [ "5/3", "4" ], [ "2", "4" ], [ "7/3", "4" ], [ "5/2", "4" ], [ "3", "4" ], [ "7/2", "4" ], [ "4", "4" ], [ "2", "11/3" ], [ "1", "7/2" ], [ "3", "7/2" ], [ "1", "10/3" ], [ "2", "13/4" ], [ "-7", "3" ], [ "-6", "3" ], [ "-5", "3" ], [ "-4", "3" ], [ "-7/2", "3" ], [ "-3", "3" ], [ "-2", "3" ], [ "-7/4", "3" ], [ "-3/2", "3" ], [ "-1", "3" ], [ "-2/3", "3" ], [ "-1/2", "3" ], [ "-1/4", "3" ], [ "1/8", "3" ], [ "1/6", "3" ], [ "1/4", "3" ], [ "2/5", "3" ], [ "1/2", "3" ], [ "2/3", "3" ], [ "3/4", "3" ], [ "1", "3" ], [ "4/3", "3" ], [ "3/2", "3" ], [ "7/4", "3" ], [ "2", "3" ], [ "9/4", "3" ], [ "5/2", "3" ], [ "3", "3" ], [ "1", "11/4" ], [ "2", "11/4" ], [ "1", "8/3" ], [ "1", "5/2" ], [ "2", "7/3" ], [ "-11", "2" ], [ "-9", "2" ], [ "-8", "2" ], [ "-6", "2" ], [ "-11/3", "2" ], [ "-11/4", "2" ], [ "-2", "2" ], [ "-1", "2" ], [ "-1/2", "2" ], [ "-1/3", "2" ], [ "-1/4", "2" ], [ "0", "2" ], [ "1/12", "2" ], [ "1/7", "2" ], [ "1/4", "2" ], [ "1/3", "2" ], [ "1/2", "2" ], [ "3/5", "2" ], [ "3/4", "2" ], [ "1", "2" ], [ "4/3", "2" ], [ "5/3", "2" ], [ "7/4", "2" ], [ "2", "2" ], [ "-3", "3/2" ], [ "1/4", "3/2" ], [ "1", "3/2" ], [ "-1", "4/3" ], [ "1/2", "4/3" ], [ "1", "4/3" ], [ "1", "5/4" ], [ "-10", "1" ], [ "-6", "1" ], [ "-5", "1" ], [ "-4", "1" ], [ "-10/3", "1" ], [ "-3", "1" ], [ "-5/2", "1" ], [ "-2", "1" ], [ "-3/2", "1" ], [ "-5/4", "1" ], [ "-1", "1" ], [ "-2/3", "1" ], [ "-1/2", "1" ], [ "-1/4", "1" ], [ "1/6", "1" ], [ "1/4", "1" ], [ "2/7", "1" ], [ "3/8", "1" ], [ "1/2", "1" ], [ "2/3", "1" ], [ "3/4", "1" ], [ "4/5", "1" ], [ "1", "1" ], [ "-1", "3/4" ], [ "1/2", "3/4" ], [ "-3", "2/3" ], [ "1/4", "2/3" ], [ "-2", "1/2" ], [ "-1", "1/2" ], [ "1/3", "1/2" ], [ "-2", "1/3" ], [ "-1", "1/4" ], [ "-3", "-1" ], [ "-1", "-1" ], [ "-2", "-2" ] ] }, { "depth": 3, "unique": 230, "kept": 230, "values": [ [ "24" ], [ "23" ], [ "25" ], [ "22" ], [ "26" ], [ "21" ], [ "27" ], [ "20" ], [ "28" ], [ "19" ], [ "18" ], [ "30" ], [ "17" ], [ "16" ], [ "32" ], [ "15" ], [ "14" ], [ "27/2" ], [ "13" ], [ "25/2" ], [ "12" ], [ "36" ], [ "23/2" ], [ "11" ], [ "21/2" ], [ "10" ], [ "28/3" ], [ "9" ], [ "26/3" ], [ "25/3" ], [ "8" ], [ "23/3" ], [ "15/2" ], [ "22/3" ], [ "7" ], [ "27/4" ], [ "20/3" ], [ "13/2" ], [ "19/3" ], [ "25/4" ], [ "6" ], [ "23/4" ], [ "17/3" ], [ "11/2" ], [ "21/4" ], [ "5" ], [ "19/4" ], [ "14/3" ], [ "9/2" ], [ "13/3" ], [ "21/5" ], [ "25/6" ], [ "4" ], [ "23/6" ], [ "19/5" ], [ "15/4" ], [ "11/3" ], [ "7/2" ], [ "17/5" ], [ "10/3" ], [ "13/4" ], [ "19/6" ], [ "25/8" ], [ "3" ], [ "23/8" ], [ "17/6" ], [ "11/4" ], [ "8/3" ], [ "13/5" ], [ "5/2" ], [ "12/5" ], [ "7/3" ], [ "9/4" ], [ "13/6" ], [ "15/7" ], [ "25/12" ], [ "2" ], [ "23/12" ], [ "13/7" ], [ "11/6" ], [ "9/5" ], [ "7/4" ], [ "12/7" ], [ "5/3" ], [ "13/8" ], [ "8/5" ], [ "3/2" ], [ "7/5" ], [ "11/8" ], [ "4/3" ], [ "9/7" ], [ "5/4" ], [ "6/5" ], [ "7/6" ], [ "8/7" ], [ "1" ], [ "11/12" ], [ "7/8" ], [ "6/7" ], [ "5/6" ], [ "4/5" ], [ "3/4" ], [ "8/11" ], [ "5/7" ], [ "2/3" ], [ "5/8" ], [ "8/13" ], [ "3/5" ], [ "7/12" ], [ "4/7" ], [ "6/11" ], [ "1/2" ], [ "6/13" ], [ "4/9" ], [ "3/7" ], [ "5/12" ], [ "2/5" ], [ "3/8" ], [ "4/11" ], [ "1/3" ], [ "3/10" ], [ "2/7" ], [ "1/4" ], [ "2/9" ], [ "3/14" ], [ "1/5" ], [ "2/11" ], [ "1/6" ], [ "2/13" ], [ "1/7" ], [ "2/15" ], [ "1/8" ], [ "1/9" ], [ "1/10" ], [ "1/11" ], [ "1/12" ], [ "1/14" ], [ "1/18" ], [ "1/20" ], [ "1/24" ], [ "0" ], [ "-1/12" ], [ "-1/10" ], [ "-1/8" ], [ "-1/7" ], [ "-1/6" ], [ "-2/11" ], [ "-1/5" ], [ "-2/9" ], [ "-1/4" ], [ "-3/10" ], [ "-1/3" ], [ "-2/5" ], [ "-5/12" ], [ "-3/7" ], [ "-1/2" ], [ "-6/11" ], [ "-7/12" ], [ "-3/5" ], [ "-5/8" ], [ "-2/3" ], [ "-5/7" ], [ "-8/11" ], [ "-3/4" ], [ "-4/5" ], [ "-5/6" ], [ "-6/7" ], [ "-1" ], [ "-7/6" ], [ "-5/4" ], [ "-4/3" ], [ "-11/8" ], [ "-7/5" ], [ "-3/2" ], [ "-8/5" ], [ "-5/3" ], [ "-12/7" ], [ "-7/4" ], [ "-11/6" ], [ "-13/7" ], [ "-23/12" ], [ "-2" ], [ "-9/4" ], [ "-7/3" ], [ "-12/5" ], [ "-5/2" ], [ "-13/5" ], [ "-11/4" ], [ "-17/6" ], [ "-23/8" ], [ "-3" ], [ "-13/4" ], [ "-10/3" ], [ "-7/2" ], [ "-11/3" ], [ "-19/5" ], [ "-23/6" ], [ "-4" ], [ "-13/3" ], [ "-9/2" ], [ "-19/4" ], [ "-5" ], [ "-21/4" ], [ "-11/2" ], [ "-17/3" ], [ "-23/4" ], [ "-6" ], [ "-13/2" ], [ "-20/3" ], [ "-7" ], [ "-22/3" ], [ "-23/3" ], [ "-8" ], [ "-9" ], [ "-10" ], [ "-21/2" ], [ "-11" ], [ "-23/2" ], [ "-12" ], [ "-13" ], [ "-14" ], [ "-15" ], [ "-16" ], [ "-17" ], [ "-18" ], [ "-19" ], [ "-20" ], [ "-21" ], [ "-22" ], [ "-23" ] ] } ] }, { "numbers": [ 2, 3, 4, 5 ], "width": null, "success": true, "expression": "(2*(3+(4+5)))", "expanded": 316, "generated": 2345, "trace": [ { "depth": 1, "unique": 35, "kept": 35, "values": [ [ "2", "3", "20" ], [ "2", "4", "15" ], [ "2", "5", "12" ], [ "3", "4", "10" ], [ "2", "3", "9" ], [ "2", "4", "8" ], [ "3", "5", "8" ], [ "2", "5", "7" ], [ "3", "4", "7" ], [ "3", "5", "6" ], [ "4", "5", "6" ], [ "-2", "3", "5" ], [ "-1", "2", "5" ], [ "-1", "4", "5" ], [ "1/2", "3", "5" ], [ "2/3", "4", "5" ], [ "3/4", "2", "5" ], [ "1", "2", "5" ], [ "1", "4", "5" ], [ "4/3", "2", "5" ], [ "3/2", "4", "5" ], [ "2", "3", "5" ], [ "4", "5", "5" ], [ "-3", "3", "4" ], [ "-2", "2", "4" ], [ "2/5", "3", "4" ], [ "3/5", "2", "4" ], [ "5/3", "2", "4" ], [ "2", "2", "4" ], [ "5/2", "3", "4" ], [ "3", "3", "4" ], [ "-1", "2", "3" ], [ "4/5", "2", "3" ], [ "1", "2", "3" ], [ "5/4", "2", "3" ] ] }, { "depth": 2, "unique": 280, "kept": 280, "values": [ [ "5", "24" ], [ "2", "23" ], [ "4", "25" ], [ "3", "22" ], [ "2", "27" ], [ "4", "21" ], [ "-1", "20" ], [ "2/3", "20" ], [ "1", "20" ], [ "3/2", "20" ], [ "3", "28" ], [ "5", "20" ], [ "6", "20" ], [ "2", "19" ], [ "3", "18" ], [ "3", "30" ], [ "4", "30" ], [ "5", "18" ], [ "2", "17" ], [ "4", "17" ], [ "2", "32" ], [ "4", "16" ], [ "-2", "15" ], [ "1/2", "15" ], [ "2", "15" ], [ "6", "15" ], [ "8", "15" ], [ "3", "14" ], [ "5", "14" ], [ "2", "35" ], [ "3", "13" ], [ "4", "13" ], [ "-3", "12" ], [ "2/5", "12" ], [ "2", "12" ], [ "5/2", "12" ], [ "3", "12" ], [ "7", "12" ], [ "10", "12" ], [ "2", "11" ], [ "3", "11" ], [ "4", "11" ], [ "5", "11" ], [ "-1", "10" ], [ "3/4", "10" ], [ "1", "10" ], [ "4/3", "10" ], [ "3", "10" ], [ "4", "10" ], [ "5", "10" ], [ "7", "10" ], [ "-1", "9" ], [ "2/3", "9" ], [ "1", "9" ], [ "3/2", "9" ], [ "4", "9" ], [ "5", "9" ], [ "6", "9" ], [ "-2", "8" ], [ "1/2", "8" ], [ "3/5", "8" ], [ "5/3", "8" ], [ "2", "8" ], [ "3", "40" ], [ "6", "8" ], [ "8", "8" ], [ "4", "15/2" ], [ "-3", "7" ], [ "-1", "7" ], [ "2/5", "7" ], [ "3/4", "7" ], [ "1", "7" ], [ "4/3", "7" ], [ "2", "7" ], [ "5/2", "7" ], [ "3", "7" ], [ "4", "7" ], [ "7", "7" ], [ "2", "20/3" ], [ "3", "13/2" ], [ "4", "13/2" ], [ "2", "19/3" ], [ "-2", "6" ], [ "-1", "6" ], [ "3/5", "6" ], [ "4/5", "6" ], [ "1", "6" ], [ "5/4", "6" ], [ "5/3", "6" ], [ "2", "6" ], [ "3", "6" ], [ "4", "6" ], [ "5", "6" ], [ "2", "23/4" ], [ "2", "17/3" ], [ "4", "17/3" ], [ "3", "11/2" ], [ "4", "11/2" ], [ "5", "11/2" ], [ "-10", "5" ], [ "-6", "5" ], [ "-5", "5" ], [ "-4", "5" ], [ "-10/3", "5" ], [ "-3", "5" ], [ "-5/2", "5" ], [ "-2", "5" ], [ "-3/2", "5" ], [ "-5/4", "5" ], [ "-1", "5" ], [ "-2/3", "5" ], [ "-1/2", "5" ], [ "-1/4", "5" ], [ "1/6", "5" ], [ "1/4", "5" ], [ "2/7", "5" ], [ "3/8", "5" ], [ "1/2", "5" ], [ "2/3", "5" ], [ "4/5", "5" ], [ "1", "5" ], [ "5/4", "5" ], [ "3/2", "5" ], [ "2", "5" ], [ "5/2", "5" ], [ "8/3", "5" ], [ "11/4", "5" ], [ "3", "5" ], [ "10/3", "5" ], [ "7/2", "5" ], [ "4", "5" ], [ "14/3", "5" ], [ "5", "5" ], [ "2", "23/5" ], [ "3", "9/2" ], [ "3", "22/5" ], [ "4", "13/3" ], [ "2", "17/4" ], [ "-13", "4" ], [ "-9", "4" ], [ "-7", "4" ], [ "-6", "4" ], [ "-5", "4" ], [ "-13/3", "4" ], [ "-4", "4" ], [ "-7/2", "4" ], [ "-13/5", "4" ], [ "-7/5", "4" ], [ "-1", "4" ], [ "-1/2", "4" ], [ "-1/3", "4" ], [ "-1/5", "4" ], [ "0", "4" ], [ "2/15", "4" ], [ "1/5", "4" ], [ "1/4", "4" ], [ "3/10", "4" ], [ "1/3", "4" ], [ "3/7", "4" ], [ "1/2", "4" ], [ "5/6", "4" ], [ "1", "4" ], [ "6/5", "4" ], [ "7/5", "4" ], [ "2", "4" ], [ "7/3", "4" ], [ "13/5", "4" ], [ "10/3", "4" ], [ "17/5", "4" ], [ "7/2", "4" ], [ "11/3", "4" ], [ "4", "4" ], [ "2", "19/5" ], [ "2", "15/4" ], [ "2", "11/3" ], [ "3", "18/5" ], [ "2", "17/5" ], [ "3", "13/4" ], [ "-18", "3" ], [ "-12", "3" ], [ "-10", "3" ], [ "-7", "3" ], [ "-6", "3" ], [ "-9/2", "3" ], [ "-18/5", "3" ], [ "-3", "3" ], [ "-5/2", "3" ], [ "-2", "3" ], [ "-3/2", "3" ], [ "-4/3", "3" ], [ "-6/5", "3" ], [ "-1", "3" ], [ "-3/4", "3" ], [ "-1/2", "3" ], [ "-2/5", "3" ], [ "1/10", "3" ], [ "2/9", "3" ], [ "2/5", "3" ], [ "1/2", "3" ], [ "4/7", "3" ], [ "5/8", "3" ], [ "3/4", "3" ], [ "5/6", "3" ], [ "1", "3" ], [ "6/5", "3" ], [ "4/3", "3" ], [ "3/2", "3" ], [ "8/5", "3" ], [ "7/4", "3" ], [ "2", "3" ], [ "5/2", "3" ], [ "14/5", "3" ], [ "3", "3" ], [ "-1", "5/2" ], [ "3/4", "5/2" ], [ "1", "5/2" ], [ "4/3", "5/2" ], [ "2", "12/5" ], [ "2", "7/3" ], [ "2", "11/5" ], [ "-17", "2" ], [ "-11", "2" ], [ "-8", "2" ], [ "-7", "2" ], [ "-6", "2" ], [ "-5", "2" ], [ "-17/4", "2" ], [ "-4", "2" ], [ "-11/3", "2" ], [ "-17/5", "2" ], [ "-3", "2" ], [ "-7/3", "2" ], [ "-11/5", "2" ], [ "-2", "2" ], [ "-7/4", "2" ], [ "-1/2", "2" ], [ "-1/3", "2" ], [ "-1/5", "2" ], [ "3/20", "2" ], [ "1/5", "2" ], [ "4/15", "2" ], [ "1/3", "2" ], [ "5/12", "2" ], [ "1/2", "2" ], [ "3/5", "2" ], [ "5/7", "2" ], [ "7/5", "2" ], [ "5/3", "2" ], [ "7/4", "2" ], [ "2", "2" ], [ "2", "60" ], [ "-2", "5/3" ], [ "1/2", "5/3" ], [ "-1", "3/2" ], [ "4/5", "3/2" ], [ "1", "3/2" ], [ "5/4", "3/2" ], [ "-3", "4/3" ], [ "2/5", "4/3" ], [ "-1", "5/4" ], [ "2/3", "5/4" ], [ "1", "5/4" ], [ "-3", "1" ], [ "-1", "1" ], [ "2/5", "1" ], [ "2/3", "1" ], [ "4/5", "1" ], [ "1", "1" ], [ "-1", "4/5" ], [ "2/3", "4/5" ], [ "-3", "3/4" ], [ "2/5", "3/4" ], [ "-1", "2/3" ], [ "-2", "3/5" ], [ "1/2", "3/5" ], [ "-2", "1/2" ], [ "-1", "2/5" ], [ "-3", "-1" ], [ "-1", "-1" ], [ "-2", "-2" ] ] }, { "depth": 3, "unique": 437, "kept": 437, "values": [ [ "24" ], [ "70/3" ], [ "23" ], [ "25" ], [ "68/3" ], [ "22" ], [ "26" ], [ "43/2" ], [ "21" ], [ "27" ], [ "62/3" ], [ "55/2" ], [ "20" ], [ "28" ], [ "39/2" ], [ "58/3" ], [ "19" ], [ "29" ], [ "37/2" ], [ "18" ], [ "30" ], [ "35/2" ], [ "52/3" ], [ "17" ], [ "31" ], [ "50/3" ], [ "33/2" ], [ "16" ], [ "31/2" ], [ "15" ], [ "33" ], [ "44/3" ], [ "29/2" ], [ "14" ], [ "34" ], [ "55/4" ], [ "68/5" ], [ "27/2" ], [ "40/3" ], [ "66/5" ], [ "13" ], [ "38/3" ], [ "25/2" ], [ "62/5" ], [ "12" ], [ "36" ], [ "58/5" ], [ "23/2" ], [ "34/3" ], [ "11" ], [ "37" ], [ "54/5" ], [ "43/4" ], [ "21/2" ], [ "52/5" ], [ "10" ], [ "38" ], [ "39/4" ], [ "29/3" ], [ "19/2" ], [ "28/3" ], [ "37/4" ], [ "46/5" ], [ "9" ], [ "39" ], [ "26/3" ], [ "43/5" ], [ "17/2" ], [ "42/5" ], [ "25/3" ], [ "8" ], [ "40" ], [ "31/4" ], [ "23/3" ], [ "38/5" ], [ "15/2" ], [ "37/5" ], [ "22/3" ], [ "29/4" ], [ "7" ], [ "34/5" ], [ "33/5" ], [ "13/2" ], [ "19/3" ], [ "25/4" ], [ "6" ], [ "42" ], [ "29/5" ], [ "23/4" ], [ "17/3" ], [ "28/5" ], [ "11/2" ], [ "27/5" ], [ "43/8" ], [ "37/7" ], [ "21/4" ], [ "26/5" ], [ "31/6" ], [ "5" ], [ "43" ], [ "29/6" ], [ "24/5" ], [ "19/4" ], [ "33/7" ], [ "14/3" ], [ "37/8" ], [ "23/5" ], [ "9/2" ], [ "31/7" ], [ "22/5" ], [ "13/3" ], [ "43/10" ], [ "17/4" ], [ "21/5" ], [ "62/15" ], [ "4" ], [ "44" ], [ "58/15" ], [ "23/6" ], [ "19/5" ], [ "15/4" ], [ "37/10" ], [ "11/3" ], [ "29/8" ], [ "18/5" ], [ "25/7" ], [ "7/2" ], [ "17/5" ], [ "10/3" ], [ "13/4" ], [ "29/9" ], [ "19/6" ], [ "31/10" ], [ "3" ], [ "45" ], [ "29/10" ], [ "23/8" ], [ "20/7" ], [ "17/6" ], [ "14/5" ], [ "25/9" ], [ "11/4" ], [ "19/7" ], [ "13/5" ], [ "5/2" ], [ "17/7" ], [ "29/12" ], [ "19/8" ], [ "7/3" ], [ "23/10" ], [ "34/15" ], [ "9/4" ], [ "11/5" ], [ "13/6" ], [ "43/20" ], [ "17/8" ], [ "2" ], [ "46" ], [ "23/12" ], [ "19/10" ], [ "15/8" ], [ "37/20" ], [ "11/6" ], [ "20/11" ], [ "9/5" ], [ "7/4" ], [ "26/15" ], [ "12/7" ], [ "17/10" ], [ "5/3" ], [ "13/8" ], [ "19/12" ], [ "20/13" ], [ "3/2" ], [ "22/15" ], [ "10/7" ], [ "17/12" ], [ "7/5" ], [ "11/8" ], [ "4/3" ], [ "9/7" ], [ "5/4" ], [ "6/5" ], [ "20/17" ], [ "7/6" ], [ "23/20" ], [ "8/7" ], [ "11/10" ], [ "12/11" ], [ "13/12" ], [ "15/14" ], [ "1" ], [ "14/15" ], [ "12/13" ], [ "11/12" ], [ "10/11" ], [ "7/8" ], [ "6/7" ], [ "17/20" ], [ "5/6" ], [ "4/5" ], [ "3/4" ], [ "8/11" ], [ "12/17" ], [ "7/10" ], [ "15/22" ], [ "2/3" ], [ "13/20" ], [ "8/13" ], [ "3/5" ], [ "10/17" ], [ "7/12" ], [ "4/7" ], [ "5/9" ], [ "11/20" ], [ "6/11" ], [ "8/15" ], [ "10/19" ], [ "1/2" ], [ "8/17" ], [ "6/13" ], [ "5/11" ], [ "4/9" ], [ "10/23" ], [ "3/7" ], [ "2/5" ], [ "4/11" ], [ "5/14" ], [ "6/17" ], [ "7/20" ], [ "8/23" ], [ "1/3" ], [ "6/19" ], [ "4/13" ], [ "3/10" ], [ "2/7" ], [ "5/18" ], [ "3/11" ], [ "1/4" ], [ "4/17" ], [ "3/13" ], [ "3/14" ], [ "5/24" ], [ "1/5" ], [ "4/21" ], [ "2/11" ], [ "1/6" ], [ "4/25" ], [ "1/7" ], [ "3/22" ], [ "2/15" ], [ "1/8" ], [ "2/17" ], [ "1/9" ], [ "3/28" ], [ "2/19" ], [ "1/10" ], [ "2/23" ], [ "1/12" ], [ "3/40" ], [ "2/27" ], [ "1/16" ], [ "2/35" ], [ "1/20" ], [ "1/30" ], [ "0" ], [ "48" ], [ "-1/20" ], [ "-1/12" ], [ "-1/10" ], [ "-1/9" ], [ "-2/17" ], [ "-1/8" ], [ "-2/15" ], [ "-1/7" ], [ "-1/6" ], [ "-2/11" ], [ "-1/5" ], [ "-1/4" ], [ "-2/7" ], [ "-3/10" ], [ "-4/13" ], [ "-1/3" ], [ "-7/20" ], [ "-2/5" ], [ "-3/7" ], [ "-4/9" ], [ "-8/17" ], [ "-1/2" ], [ "-6/11" ], [ "-4/7" ], [ "-7/12" ], [ "-10/17" ], [ "-3/5" ], [ "-13/20" ], [ "-2/3" ], [ "-7/10" ], [ "-4/5" ], [ "-5/6" ], [ "-6/7" ], [ "-7/8" ], [ "-10/11" ], [ "-12/13" ], [ "-14/15" ], [ "-1" ], [ "49" ], [ "-13/12" ], [ "-11/10" ], [ "-8/7" ], [ "-7/6" ], [ "-6/5" ], [ "-5/4" ], [ "-9/7" ], [ "-4/3" ], [ "-7/5" ], [ "-3/2" ], [ "-20/13" ], [ "-19/12" ], [ "-5/3" ], [ "-17/10" ], [ "-26/15" ], [ "-7/4" ], [ "-9/5" ], [ "-11/6" ], [ "-37/20" ], [ "-2" ], [ "50" ], [ "-17/8" ], [ "-13/6" ], [ "-11/5" ], [ "-9/4" ], [ "-7/3" ], [ "-19/8" ], [ "-17/7" ], [ "-5/2" ], [ "-13/5" ], [ "-25/9" ], [ "-14/5" ], [ "-20/7" ], [ "-29/10" ], [ "-3" ], [ "-19/6" ], [ "-13/4" ], [ "-10/3" ], [ "-17/5" ], [ "-7/2" ], [ "-25/7" ], [ "-18/5" ], [ "-11/3" ], [ "-37/10" ], [ "-15/4" ], [ "-19/5" ], [ "-58/15" ], [ "-4" ], [ "52" ], [ "-21/5" ], [ "-13/3" ], [ "-22/5" ], [ "-9/2" ], [ "-37/8" ], [ "-14/3" ], [ "-33/7" ], [ "-19/4" ], [ "-29/6" ], [ "-5" ], [ "-26/5" ], [ "-21/4" ], [ "-27/5" ], [ "-11/2" ], [ "-28/5" ], [ "-17/3" ], [ "-6" ], [ "54" ], [ "-25/4" ], [ "-19/3" ], [ "-13/2" ], [ "-33/5" ], [ "-34/5" ], [ "-7" ], [ "55" ], [ "-22/3" ], [ "-37/5" ], [ "-15/2" ], [ "-8" ], [ "-25/3" ], [ "-17/2" ], [ "-26/3" ], [ "-9" ], [ "-37/4" ], [ "-19/2" ], [ "-10" ], [ "58" ], [ "-52/5" ], [ "-54/5" ], [ "-11" ], [ "-58/5" ], [ "-12" ], [ "-25/2" ], [ "-13" ], [ "-27/2" ], [ "-14" ], [ "62" ], [ "-29/2" ], [ "-15" ], [ "-16" ], [ "64" ], [ "-50/3" ], [ "-17" ], [ "-52/3" ], [ "-18" ], [ "66" ], [ "-37/2" ], [ "-19" ], [ "-58/3" ], [ "-20" ], [ "68" ], [ "-21" ], [ "-22" ], [ "70" ], [ "-24" ], [ "-25" ], [ "-26" ], [ "-27" ], [ "-28" ], [ "-30" ], [ "-33" ], [ "-34" ], [ "-36" ], [ "84" ], [ "-37" ], [ "90" ], [ "-50" ], [ "-52" ], [ "100" ], [ "-54" ], [ "-58" ], [ "120" ] ] } ] }, { "numbers": [ 3, 3, 8, 8 ], "width": null, "success": true, "expression": "(8/(3-(8/3)))", "expanded": 124, "generated": 929, "trace": [ { "depth": 1, "unique": 14, "kept": 14, "values": [ [ "3", "8", "24" ], [ "3", "3", "16" ], [ "3", "8", "11" ], [ "8", "8", "9" ], [ "-5", "3", "8" ], [ "0", "8", "8" ], [ "3/8", "3", "8" ], [ "1", "8", "8" ], [ "8/3", "3", "8" ], [ "3", "5", "8" ], [ "6", "8", "8" ], [ "0", "3", "3" ], [ "1", "3", "3" ], [ "3", "3", "64" ] ] }, { "depth": 2, "unique": 109, "kept": 109, "values": [ [ "-5", "24" ], [ "3/8", "24" ], [ "8/3", "24" ], [ "5", "24" ], [ "11", "24" ], [ "24", "24" ], [ "3", "64/3" ], [ "8", "21" ], [ "8", "27" ], [ "3", "19" ], [ "8", "17" ], [ "0", "16" ], [ "1", "16" ], [ "3", "16" ], [ "3", "32" ], [ "6", "16" ], [ "9", "16" ], [ "8", "15" ], [ "8", "33" ], [ "8", "14" ], [ "3", "13" ], [ "-5", "11" ], [ "3/8", "11" ], [ "8/3", "11" ], [ "5", "11" ], [ "11", "11" ], [ "3", "32/3" ], [ "0", "9" ], [ "1", "9" ], [ "8", "9" ], [ "9", "64" ], [ "3", "67/8" ], [ "-21", "8" ], [ "-15", "8" ], [ "-8", "8" ], [ "-7", "8" ], [ "-21/8", "8" ], [ "-2", "8" ], [ "-5/3", "8" ], [ "-1", "8" ], [ "-3/5", "8" ], [ "-1/3", "8" ], [ "0", "8" ], [ "1/8", "8" ], [ "3/11", "8" ], [ "1/3", "8" ], [ "3/5", "8" ], [ "3/4", "8" ], [ "8/9", "8" ], [ "1", "8" ], [ "9/8", "8" ], [ "4/3", "8" ], [ "5/3", "8" ], [ "2", "8" ], [ "21/8", "8" ], [ "3", "40" ], [ "27/8", "8" ], [ "11/3", "8" ], [ "17/3", "8" ], [ "7", "8" ], [ "8", "8" ], [ "8", "48" ], [ "8", "72" ], [ "3", "61/8" ], [ "0", "6" ], [ "1", "6" ], [ "6", "64" ], [ "3", "16/3" ], [ "-5", "5" ], [ "3/8", "5" ], [ "8/3", "5" ], [ "5", "5" ], [ "3", "4" ], [ "-61", "3" ], [ "-40", "3" ], [ "-16", "3" ], [ "-13", "3" ], [ "-61/8", "3" ], [ "-16/3", "3" ], [ "-3", "3" ], [ "-2", "3" ], [ "-8/5", "3" ], [ "-5/8", "3" ], [ "0", "3" ], [ "3/64", "3" ], [ "3/16", "3" ], [ "1/3", "3" ], [ "5/8", "3" ], [ "8/11", "3" ], [ "11/8", "3" ], [ "8/5", "3" ], [ "2", "3" ], [ "3", "3" ], [ "3", "48" ], [ "3", "61" ], [ "3", "67" ], [ "3", "88" ], [ "3", "192" ], [ "-5", "8/3" ], [ "3/8", "8/3" ], [ "8/3", "8/3" ], [ "0", "1" ], [ "1", "1" ], [ "1", "64" ], [ "-5", "3/8" ], [ "3/8", "3/8" ], [ "0", "0" ], [ "0", "64" ], [ "-5", "-5" ] ] }, { "depth": 3, "unique": 269, "kept": 269, "values": [ [ "24" ], [ "73/3" ], [ "189/8" ], [ "195/8" ], [ "23" ], [ "25" ], [ "183/8" ], [ "201/8" ], [ "67/3" ], [ "22" ], [ "64/3" ], [ "80/3" ], [ "21" ], [ "27" ], [ "61/3" ], [ "19" ], [ "29" ], [ "88/3" ], [ "55/3" ], [ "17" ], [ "16" ], [ "32" ], [ "15" ], [ "41/3" ], [ "40/3" ], [ "13" ], [ "35" ], [ "12" ], [ "35/3" ], [ "91/8" ], [ "37" ], [ "32/3" ], [ "85/8" ], [ "10" ], [ "29/3" ], [ "28/3" ], [ "73/8" ], [ "9" ], [ "39" ], [ "80/9" ], [ "35/4" ], [ "43/5" ], [ "25/3" ], [ "91/11" ], [ "65/8" ], [ "8" ], [ "40" ], [ "63/8" ], [ "85/11" ], [ "23/3" ], [ "37/5" ], [ "29/4" ], [ "64/9" ], [ "7" ], [ "41" ], [ "55/8" ], [ "20/3" ], [ "19/3" ], [ "6" ], [ "43/8" ], [ "16/3" ], [ "5" ], [ "43" ], [ "24/5" ], [ "37/8" ], [ "23/5" ], [ "35/8" ], [ "13/3" ], [ "33/8" ], [ "4" ], [ "41/11" ], [ "29/8" ], [ "32/9" ], [ "27/8" ], [ "10/3" ], [ "51/16" ], [ "64/21" ], [ "195/64" ], [ "73/24" ], [ "3" ], [ "45" ], [ "189/64" ], [ "45/16" ], [ "67/24" ], [ "8/3" ], [ "136/3" ], [ "21/8" ], [ "61/24" ], [ "19/8" ], [ "64/27" ], [ "7/3" ], [ "55/24" ], [ "25/11" ], [ "11/5" ], [ "24/11" ], [ "17/8" ], [ "2" ], [ "15/8" ], [ "16/9" ], [ "7/4" ], [ "13/8" ], [ "3/2" ], [ "24/17" ], [ "7/5" ], [ "4/3" ], [ "8/7" ], [ "9/8" ], [ "1" ], [ "8/9" ], [ "7/8" ], [ "3/4" ], [ "17/24" ], [ "2/3" ], [ "4/7" ], [ "9/16" ], [ "8/15" ], [ "8/17" ], [ "11/24" ], [ "5/11" ], [ "27/64" ], [ "24/61" ], [ "8/21" ], [ "3/8" ], [ "24/67" ], [ "21/64" ], [ "8/27" ], [ "9/32" ], [ "1/4" ], [ "8/33" ], [ "3/13" ], [ "5/24" ], [ "3/16" ], [ "1/6" ], [ "3/19" ], [ "9/64" ], [ "1/8" ], [ "1/9" ], [ "3/32" ], [ "3/40" ], [ "1/16" ], [ "3/61" ], [ "3/67" ], [ "1/24" ], [ "3/88" ], [ "1/64" ], [ "0" ], [ "48" ], [ "-1/24" ], [ "-3/61" ], [ "-3/40" ], [ "-1/8" ], [ "-3/16" ], [ "-5/24" ], [ "-3/13" ], [ "-1/4" ], [ "-21/64" ], [ "-8/21" ], [ "-24/61" ], [ "-5/11" ], [ "-8/15" ], [ "-9/16" ], [ "-2/3" ], [ "-7/8" ], [ "-1" ], [ "-8/7" ], [ "-7/5" ], [ "-3/2" ], [ "-13/8" ], [ "-16/9" ], [ "-15/8" ], [ "-11/5" ], [ "-25/11" ], [ "-55/24" ], [ "-7/3" ], [ "-19/8" ], [ "-61/24" ], [ "-21/8" ], [ "-8/3" ], [ "-45/16" ], [ "-189/64" ], [ "-3" ], [ "51" ], [ "-64/21" ], [ "-29/8" ], [ "-4" ], [ "-13/3" ], [ "-23/5" ], [ "-37/8" ], [ "-24/5" ], [ "-5" ], [ "-16/3" ], [ "-43/8" ], [ "-6" ], [ "-19/3" ], [ "-20/3" ], [ "-55/8" ], [ "-7" ], [ "55" ], [ "-64/9" ], [ "-29/4" ], [ "-37/5" ], [ "-23/3" ], [ "-85/11" ], [ "-63/8" ], [ "-8" ], [ "56" ], [ "-25/3" ], [ "-43/5" ], [ "-9" ], [ "57" ], [ "-29/3" ], [ "-10" ], [ "58" ], [ "-85/8" ], [ "-13" ], [ "-40/3" ], [ "-15" ], [ "63" ], [ "-16" ], [ "64" ], [ "65" ], [ "-55/3" ], [ "-19" ], [ "-61/3" ], [ "-21" ], [ "-64/3" ], [ "70" ], [ "-183/8" ], [ "-23" ], [ "-189/8" ], [ "-24" ], [ "72" ], [ "-25" ], [ "73" ], [ "-29" ], [ "80" ], [ "-37" ], [ "85" ], [ "-39" ], [ "-40" ], [ "-43" ], [ "91" ], [ "-45" ], [ "-48" ], [ "96" ], [ "-55" ], [ "-56" ], [ "-58" ], [ "-63" ], [ "-64" ], [ "112" ], [ "120" ], [ "121" ], [ "-85" ], [ "136" ], [ "144" ], [ "-120" ], [ "168" ], [ "183" ], [ "189" ], [ "195" ], [ "201" ], [ "-168" ], [ "216" ], [ "-183" ], [ "-189" ], [ "264" ], [ "384" ], [ "576" ] ] } ] }, { "numbers": [ 1, 5, 5, 5 ], "width": null, "success": true, "expression": "((5-(1/5))*5)", "expanded": 62, "generated": 502, "trace": [ { "depth": 1, "unique": 9, "kept": 9, "values": [ [ "1", "5", "25" ], [ "1", "5", "10" ], [ "5", "5", "6" ], [ "-4", "5", "5" ], [ "0", "1", "5" ], [ "1/5", "5", "5" ], [ "1", "1", "5" ], [ "4", "5", "5" ], [ "5", "5", "5" ] ] }, { "depth": 2, "unique": 52, "kept": 52, "values": [ [ "5", "24" ], [ "-4", "25" ], [ "1/5", "25" ], [ "4", "25" ], [ "5", "25" ], [ "6", "25" ], [ "5", "26" ], [ "1", "20" ], [ "5", "20" ], [ "1", "30" ], [ "5", "30" ], [ "1", "15" ], [ "5", "11" ], [ "-4", "10" ], [ "1/5", "10" ], [ "4", "10" ], [ "5", "10" ], [ "6", "10" ], [ "5", "9" ], [ "0", "6" ], [ "1", "6" ], [ "5", "26/5" ], [ "-24", "5" ], [ "-20", "5" ], [ "-9", "5" ], [ "-24/5", "5" ], [ "-5/4", "5" ], [ "-1", "5" ], [ "-4/5", "5" ], [ "0", "5" ], [ "1/25", "5" ], [ "1/10", "5" ], [ "4/5", "5" ], [ "5/6", "5" ], [ "1", "5" ], [ "6/5", "5" ], [ "5/4", "5" ], [ "2", "5" ], [ "24/5", "5" ], [ "0", "4" ], [ "1", "4" ], [ "1", "2" ], [ "-20", "1" ], [ "-5", "1" ], [ "-4", "1" ], [ "0", "1" ], [ "1/5", "1" ], [ "1/2", "1" ], [ "1", "50" ], [ "1", "125" ], [ "0", "1/5" ], [ "-4", "0" ] ] }, { "depth": 3, "unique": 125, "kept": 125, "values": [ [ "24" ], [ "124/5" ], [ "25" ], [ "126/5" ], [ "26" ], [ "21" ], [ "20" ], [ "19" ], [ "29" ], [ "30" ], [ "31" ], [ "16" ], [ "15" ], [ "14" ], [ "35" ], [ "51/5" ], [ "10" ], [ "49/5" ], [ "40" ], [ "7" ], [ "25/4" ], [ "31/5" ], [ "6" ], [ "35/6" ], [ "29/5" ], [ "26/5" ], [ "51/10" ], [ "126/25" ], [ "5" ], [ "124/25" ], [ "49/10" ], [ "24/5" ], [ "21/5" ], [ "25/6" ], [ "4" ], [ "19/5" ], [ "15/4" ], [ "3" ], [ "45" ], [ "5/2" ], [ "11/5" ], [ "2" ], [ "9/5" ], [ "5/3" ], [ "3/2" ], [ "6/5" ], [ "25/24" ], [ "26/25" ], [ "1" ], [ "25/26" ], [ "24/25" ], [ "4/5" ], [ "3/5" ], [ "5/9" ], [ "1/2" ], [ "5/11" ], [ "2/5" ], [ "1/4" ], [ "6/25" ], [ "5/24" ], [ "1/5" ], [ "5/26" ], [ "1/6" ], [ "4/25" ], [ "1/15" ], [ "1/20" ], [ "1/30" ], [ "1/50" ], [ "1/125" ], [ "0" ], [ "-1/20" ], [ "-4/25" ], [ "-1/5" ], [ "-5/24" ], [ "-1/4" ], [ "-2/5" ], [ "-1/2" ], [ "-5/9" ], [ "-4/5" ], [ "-24/25" ], [ "-1" ], [ "49" ], [ "-25/24" ], [ "-9/5" ], [ "50" ], [ "-5/2" ], [ "-3" ], [ "51" ], [ "-15/4" ], [ "-19/5" ], [ "-4" ], [ "-25/6" ], [ "-21/5" ], [ "-24/5" ], [ "-49/10" ], [ "-124/25" ], [ "-5" ], [ "-29/5" ], [ "-6" ], [ "-25/4" ], [ "55" ], [ "-49/5" ], [ "60" ], [ "-14" ], [ "-15" ], [ "-19" ], [ "-20" ], [ "-21" ], [ "-24" ], [ "-124/5" ], [ "-25" ], [ "-29" ], [ "-40" ], [ "-45" ], [ "-49" ], [ "100" ], [ "120" ], [ "124" ], [ "125" ], [ "126" ], [ "130" ], [ "-100" ], [ "150" ], [ "-120" ], [ "-124" ] ] } ] }, { "numbers": [ 2, 2, 6, 6 ], "width": null, "success": true, "expression": "((2*6)+(2*6))", "expanded": 104, "generated": 798, "trace": [ { "depth": 1, "unique": 13, "kept": 13, "values": [ [ "2", "2", "12" ], [ "2", "2", "36" ], [ "2", "6", "12" ], [ "2", "6", "8" ], [ "-4", "2", "6" ], [ "0", "6", "6" ], [ "1/3", "2", "6" ], [ "1", "6", "6" ], [ "2", "3", "6" ], [ "2", "4", "6" ], [ "4", "6", "6" ], [ "0", "2", "2" ], [ "1", "2", "2" ] ] }, { "depth": 2, "unique": 90, "kept": 90, "values": [ [ "2", "24" ], [ "6", "24" ], [ "2", "18" ], [ "6", "16" ], [ "2", "14" ], [ "2", "34" ], [ "6", "14" ], [ "-4", "12" ], [ "0", "12" ], [ "0", "36" ], [ "1/3", "12" ], [ "1", "12" ], [ "1", "36" ], [ "3", "12" ], [ "4", "12" ], [ "4", "36" ], [ "8", "12" ], [ "12", "12" ], [ "2", "10" ], [ "2", "38" ], [ "6", "10" ], [ "2", "9" ], [ "-4", "8" ], [ "1/3", "8" ], [ "3", "8" ], [ "4", "8" ], [ "6", "8" ], [ "8", "8" ], [ "6", "7" ], [ "2", "19/3" ], [ "-10", "6" ], [ "-8", "6" ], [ "-6", "6" ], [ "-5", "6" ], [ "-2", "6" ], [ "-5/3", "6" ], [ "-1", "6" ], [ "-1/2", "6" ], [ "0", "6" ], [ "1/6", "6" ], [ "1/4", "6" ], [ "1/2", "6" ], [ "2/3", "6" ], [ "1", "6" ], [ "3/2", "6" ], [ "5/3", "6" ], [ "2", "6" ], [ "7/3", "6" ], [ "4", "6" ], [ "5", "6" ], [ "6", "6" ], [ "2", "17/3" ], [ "-4", "4" ], [ "0", "4" ], [ "1/3", "4" ], [ "1", "4" ], [ "3", "4" ], [ "4", "4" ], [ "-4", "3" ], [ "1/3", "3" ], [ "2", "3" ], [ "3", "3" ], [ "-34", "2" ], [ "-24", "2" ], [ "-10", "2" ], [ "-6", "2" ], [ "-17/3", "2" ], [ "-3", "2" ], [ "-2", "2" ], [ "-3/2", "2" ], [ "-1", "2" ], [ "-2/3", "2" ], [ "0", "2" ], [ "1/18", "2" ], [ "1/6", "2" ], [ "1/2", "2" ], [ "2/3", "2" ], [ "3/4", "2" ], [ "1", "2" ], [ "4/3", "2" ], [ "3/2", "2" ], [ "2", "2" ], [ "2", "48" ], [ "2", "72" ], [ "0", "1" ], [ "1", "1" ], [ "-4", "1/3" ], [ "1/3", "1/3" ], [ "0", "0" ], [ "-4", "-4" ] ] }, { "depth": 3, "unique": 168, "kept": 168, "values": [ [ "24" ], [ "22" ], [ "26" ], [ "20" ], [ "28" ], [ "19" ], [ "18" ], [ "30" ], [ "17" ], [ "16" ], [ "32" ], [ "15" ], [ "14" ], [ "13" ], [ "35" ], [ "38/3" ], [ "37/3" ], [ "12" ], [ "36" ], [ "35/3" ], [ "34/3" ], [ "11" ], [ "37" ], [ "10" ], [ "9" ], [ "25/3" ], [ "8" ], [ "40" ], [ "23/3" ], [ "15/2" ], [ "7" ], [ "20/3" ], [ "13/2" ], [ "25/4" ], [ "37/6" ], [ "6" ], [ "42" ], [ "35/6" ], [ "23/4" ], [ "11/2" ], [ "16/3" ], [ "5" ], [ "9/2" ], [ "13/3" ], [ "4" ], [ "11/3" ], [ "18/5" ], [ "7/2" ], [ "10/3" ], [ "19/6" ], [ "3" ], [ "17/6" ], [ "11/4" ], [ "8/3" ], [ "18/7" ], [ "5/2" ], [ "7/3" ], [ "13/6" ], [ "37/18" ], [ "2" ], [ "46" ], [ "35/18" ], [ "11/6" ], [ "5/3" ], [ "3/2" ], [ "4/3" ], [ "5/4" ], [ "6/5" ], [ "7/6" ], [ "1" ], [ "6/7" ], [ "5/6" ], [ "3/4" ], [ "2/3" ], [ "3/5" ], [ "1/2" ], [ "3/7" ], [ "7/18" ], [ "3/8" ], [ "6/17" ], [ "1/3" ], [ "6/19" ], [ "5/18" ], [ "1/4" ], [ "2/9" ], [ "1/5" ], [ "1/6" ], [ "1/7" ], [ "1/9" ], [ "1/12" ], [ "1/17" ], [ "1/19" ], [ "1/24" ], [ "1/36" ], [ "0" ], [ "48" ], [ "-1/17" ], [ "-1/12" ], [ "-1/6" ], [ "-1/5" ], [ "-5/18" ], [ "-1/3" ], [ "-6/17" ], [ "-1/2" ], [ "-3/5" ], [ "-2/3" ], [ "-3/4" ], [ "-5/6" ], [ "-1" ], [ "-6/5" ], [ "-5/4" ], [ "-4/3" ], [ "-3/2" ], [ "-5/3" ], [ "-11/6" ], [ "-35/18" ], [ "-2" ], [ "50" ], [ "-8/3" ], [ "-17/6" ], [ "-3" ], [ "-7/2" ], [ "-18/5" ], [ "-11/3" ], [ "-4" ], [ "-13/3" ], [ "-9/2" ], [ "-5" ], [ "-16/3" ], [ "-11/2" ], [ "-23/4" ], [ "-35/6" ], [ "-6" ], [ "-13/2" ], [ "-7" ], [ "-23/3" ], [ "-8" ], [ "-9" ], [ "-10" ], [ "-11" ], [ "-34/3" ], [ "-35/3" ], [ "-12" ], [ "60" ], [ "-14" ], [ "-16" ], [ "64" ], [ "-17" ], [ "-18" ], [ "-20" ], [ "68" ], [ "-22" ], [ "70" ], [ "-26" ], [ "74" ], [ "76" ], [ "-30" ], [ "-32" ], [ "-35" ], [ "-36" ], [ "84" ], [ "-46" ], [ "-48" ], [ "96" ], [ "-60" ], [ "-68" ], [ "-70" ], [ "144" ] ] } ] }, { "numbers": [ 1, 3, 4, 6 ], "width": null, "success": true, "expression": "(6/(1-(3/4)))", "expanded": 265, "generated": 1991, "trace": [ { "depth": 1, "unique": 31, "kept": 31, "values": [ [ "1", "3", "24" ], [ "1", "4", "18" ], [ "1", "6", "12" ], [ "1", "3", "10" ], [ "1", "4", "9" ], [ "1", "6", "7" ], [ "3", "4", "7" ], [ "-3", "3", "6" ], [ "-2", "4", "6" ], [ "-1", "1", "6" ], [ "1/4", "3", "6" ], [ "1/3", "4", "6" ], [ "3/4", "1", "6" ], [ "1", "1", "6" ], [ "1", "4/3", "6" ], [ "2", "4", "6" ], [ "3", "3", "6" ], [ "3", "4", "6" ], [ "3", "5", "6" ], [ "4", "4", "6" ], [ "3", "4", "5" ], [ "-5", "3", "4" ], [ "-3", "1", "4" ], [ "1/6", "3", "4" ], [ "1/2", "1", "4" ], [ "1", "2", "4" ], [ "1", "3", "4" ], [ "-2", "1", "3" ], [ "2/3", "1", "3" ], [ "1", "3/2", "3" ], [ "1", "2", "3" ] ] }, { "depth": 2, "unique": 233, "kept": 233, "values": [ [ "-2", "24" ], [ "1/3", "24" ], [ "2", "24" ], [ "3", "24" ], [ "4", "24" ], [ "3", "23" ], [ "3", "25" ], [ "1", "22" ], [ "1", "21" ], [ "1", "27" ], [ "4", "21" ], [ "3", "20" ], [ "3", "28" ], [ "4", "19" ], [ "-3", "18" ], [ "1/4", "18" ], [ "1", "18" ], [ "1", "30" ], [ "3", "18" ], [ "3", "30" ], [ "4", "18" ], [ "5", "18" ], [ "4", "17" ], [ "6", "16" ], [ "4", "15" ], [ "6", "15" ], [ "1", "14" ], [ "1", "13" ], [ "6", "13" ], [ "-5", "12" ], [ "1/6", "12" ], [ "1", "12" ], [ "1", "36" ], [ "4", "12" ], [ "5", "12" ], [ "6", "12" ], [ "7", "12" ], [ "3", "11" ], [ "6", "11" ], [ "-2", "10" ], [ "1/3", "10" ], [ "2", "10" ], [ "3", "10" ], [ "4", "10" ], [ "-3", "9" ], [ "1/4", "9" ], [ "3", "9" ], [ "4", "9" ], [ "5", "9" ], [ "6", "9" ], [ "1", "8" ], [ "4", "8" ], [ "6", "8" ], [ "1", "22/3" ], [ "-5", "7" ], [ "-1", "7" ], [ "1/6", "7" ], [ "3/4", "7" ], [ "1", "7" ], [ "4/3", "7" ], [ "5", "7" ], [ "6", "7" ], [ "7", "7" ], [ "1", "27/4" ], [ "4", "19/3" ], [ "3", "25/4" ], [ "-11", "6" ], [ "-9", "6" ], [ "-8", "6" ], [ "-6", "6" ], [ "-11/3", "6" ], [ "-11/4", "6" ], [ "-2", "6" ], [ "-1", "6" ], [ "-1/2", "6" ], [ "-1/3", "6" ], [ "-1/4", "6" ], [ "0", "6" ], [ "1/12", "6" ], [ "1/7", "6" ], [ "1/4", "6" ], [ "1/3", "6" ], [ "1/2", "6" ], [ "3/5", "6" ], [ "3/4", "6" ], [ "1", "6" ], [ "1", "42" ], [ "4/3", "6" ], [ "5/3", "6" ], [ "7/4", "6" ], [ "2", "6" ], [ "7/3", "6" ], [ "11/4", "6" ], [ "13/4", "6" ], [ "11/3", "6" ], [ "13/3", "6" ], [ "6", "6" ], [ "3", "23/4" ], [ "4", "17/3" ], [ "1", "21/4" ], [ "-3", "5" ], [ "-1", "5" ], [ "1/2", "5" ], [ "3/4", "5" ], [ "1", "5" ], [ "4/3", "5" ], [ "2", "5" ], [ "3", "5" ], [ "1", "14/3" ], [ "1", "9/2" ], [ "3", "25/6" ], [ "-17", "4" ], [ "-15", "4" ], [ "-12", "4" ], [ "-8", "4" ], [ "-17/3", "4" ], [ "-4", "4" ], [ "-3", "4" ], [ "-17/6", "4" ], [ "-2", "4" ], [ "-5/3", "4" ], [ "-1", "4" ], [ "-3/5", "4" ], [ "-1/2", "4" ], [ "-1/3", "4" ], [ "1/18", "4" ], [ "1/9", "4" ], [ "1/3", "4" ], [ "3/7", "4" ], [ "1/2", "4" ], [ "3/5", "4" ], [ "2/3", "4" ], [ "1", "4" ], [ "3/2", "4" ], [ "5/3", "4" ], [ "2", "4" ], [ "7/3", "4" ], [ "17/6", "4" ], [ "3", "4" ], [ "19/6", "4" ], [ "4", "4" ], [ "3", "23/6" ], [ "1", "11/3" ], [ "1", "7/2" ], [ "1", "10/3" ], [ "-23", "3" ], [ "-20", "3" ], [ "-18", "3" ], [ "-9", "3" ], [ "-23/4", "3" ], [ "-23/6", "3" ], [ "-3", "3" ], [ "-2", "3" ], [ "-5/4", "3" ], [ "-1", "3" ], [ "-4/5", "3" ], [ "-1/2", "3" ], [ "-1/3", "3" ], [ "1/24", "3" ], [ "1/10", "3" ], [ "1/4", "3" ], [ "1/3", "3" ], [ "1/2", "3" ], [ "4/7", "3" ], [ "2/3", "3" ], [ "4/5", "3" ], [ "5/6", "3" ], [ "1", "3" ], [ "6/5", "3" ], [ "5/4", "3" ], [ "3/2", "3" ], [ "5/3", "3" ], [ "7/4", "3" ], [ "2", "3" ], [ "5/2", "3" ], [ "3", "3" ], [ "1", "7/3" ], [ "1", "9/4" ], [ "-3", "2" ], [ "-2", "2" ], [ "1/4", "2" ], [ "1/3", "2" ], [ "2/3", "2" ], [ "1", "2" ], [ "3/2", "2" ], [ "2", "2" ], [ "-2", "3/2" ], [ "1/3", "3/2" ], [ "1", "3/2" ], [ "-5", "4/3" ], [ "1/6", "4/3" ], [ "1", "4/3" ], [ "1", "7/6" ], [ "-21", "1" ], [ "-14", "1" ], [ "-12", "1" ], [ "-7", "1" ], [ "-6", "1" ], [ "-21/4", "1" ], [ "-5", "1" ], [ "-14/3", "1" ], [ "-7/2", "1" ], [ "-7/3", "1" ], [ "-2", "1" ], [ "-3/2", "1" ], [ "-4/3", "1" ], [ "-1", "1" ], [ "-3/4", "1" ], [ "-2/3", "1" ], [ "-1/6", "1" ], [ "1/8", "1" ], [ "1/6", "1" ], [ "2/9", "1" ], [ "3/10", "1" ], [ "4/9", "1" ], [ "1/2", "1" ], [ "2/3", "1" ], [ "3/4", "1" ], [ "6/7", "1" ], [ "1", "1" ], [ "1", "72" ], [ "-5", "3/4" ], [ "1/6", "3/4" ], [ "-2", "2/3" ], [ "1/3", "2/3" ], [ "-3", "1/2" ], [ "1/4", "1/2" ], [ "-2", "1/3" ], [ "-3", "1/4" ], [ "-1", "1/6" ], [ "-5", "-1" ], [ "-2", "-2" ], [ "-3", "-3" ] ] }, { "depth": 3, "unique": 378, "kept": 378, "values": [ [ "24" ], [ "71/3" ], [ "73/3" ], [ "23" ], [ "25" ], [ "68/3" ], [ "76/3" ], [ "22" ], [ "26" ], [ "21" ], [ "27" ], [ "20" ], [ "28" ], [ "39/2" ], [ "19" ], [ "29" ], [ "75/4" ], [ "73/4" ], [ "18" ], [ "30" ], [ "71/4" ], [ "69/4" ], [ "17" ], [ "31" ], [ "33/2" ], [ "16" ], [ "32" ], [ "15" ], [ "33" ], [ "14" ], [ "13" ], [ "35" ], [ "38/3" ], [ "25/2" ], [ "73/6" ], [ "12" ], [ "36" ], [ "71/6" ], [ "23/2" ], [ "34/3" ], [ "11" ], [ "37" ], [ "21/2" ], [ "31/3" ], [ "10" ], [ "29/3" ], [ "28/3" ], [ "37/4" ], [ "9" ], [ "35/4" ], [ "25/3" ], [ "8" ], [ "40" ], [ "31/4" ], [ "23/3" ], [ "15/2" ], [ "22/3" ], [ "43/6" ], [ "7" ], [ "41" ], [ "41/6" ], [ "27/4" ], [ "20/3" ], [ "33/5" ], [ "13/2" ], [ "19/3" ], [ "25/4" ], [ "43/7" ], [ "73/12" ], [ "6" ], [ "42" ], [ "71/12" ], [ "41/7" ], [ "23/4" ], [ "17/3" ], [ "11/2" ], [ "27/5" ], [ "21/4" ], [ "5" ], [ "43" ], [ "19/4" ], [ "14/3" ], [ "23/5" ], [ "9/2" ], [ "31/7" ], [ "13/3" ], [ "17/4" ], [ "21/5" ], [ "37/9" ], [ "73/18" ], [ "4" ], [ "71/18" ], [ "35/9" ], [ "23/6" ], [ "19/5" ], [ "15/4" ], [ "11/3" ], [ "18/5" ], [ "25/7" ], [ "7/2" ], [ "24/7" ], [ "17/5" ], [ "10/3" ], [ "13/4" ], [ "31/10" ], [ "73/24" ], [ "3" ], [ "45" ], [ "71/24" ], [ "29/10" ], [ "11/4" ], [ "8/3" ], [ "18/7" ], [ "5/2" ], [ "17/7" ], [ "12/5" ], [ "7/3" ], [ "9/4" ], [ "11/5" ], [ "24/11" ], [ "13/6" ], [ "25/12" ], [ "2" ], [ "23/12" ], [ "13/7" ], [ "24/13" ], [ "11/6" ], [ "9/5" ], [ "7/4" ], [ "12/7" ], [ "5/3" ], [ "18/11" ], [ "19/12" ], [ "3/2" ], [ "13/9" ], [ "17/12" ], [ "24/17" ], [ "7/5" ], [ "25/18" ], [ "18/13" ], [ "4/3" ], [ "13/10" ], [ "23/18" ], [ "24/19" ], [ "5/4" ], [ "11/9" ], [ "6/5" ], [ "7/6" ], [ "9/8" ], [ "1" ], [ "11/12" ], [ "7/8" ], [ "6/7" ], [ "5/6" ], [ "19/24" ], [ "18/23" ], [ "7/9" ], [ "3/4" ], [ "13/18" ], [ "18/25" ], [ "5/7" ], [ "17/24" ], [ "12/17" ], [ "7/10" ], [ "2/3" ], [ "12/19" ], [ "11/18" ], [ "3/5" ], [ "7/12" ], [ "5/9" ], [ "6/11" ], [ "13/24" ], [ "12/23" ], [ "1/2" ], [ "12/25" ], [ "6/13" ], [ "11/24" ], [ "4/9" ], [ "3/7" ], [ "5/12" ], [ "2/5" ], [ "7/18" ], [ "3/8" ], [ "1/3" ], [ "3/10" ], [ "7/24" ], [ "2/7" ], [ "5/18" ], [ "3/11" ], [ "4/15" ], [ "1/4" ], [ "4/17" ], [ "2/9" ], [ "3/14" ], [ "4/19" ], [ "1/5" ], [ "4/21" ], [ "1/6" ], [ "3/20" ], [ "4/27" ], [ "1/7" ], [ "3/22" ], [ "3/23" ], [ "1/8" ], [ "3/25" ], [ "1/9" ], [ "3/28" ], [ "1/10" ], [ "1/12" ], [ "1/13" ], [ "1/14" ], [ "1/18" ], [ "1/21" ], [ "1/22" ], [ "1/24" ], [ "1/27" ], [ "1/30" ], [ "1/36" ], [ "1/42" ], [ "1/72" ], [ "0" ], [ "48" ], [ "-1/24" ], [ "-1/21" ], [ "-1/18" ], [ "-1/14" ], [ "-1/12" ], [ "-1/9" ], [ "-1/8" ], [ "-3/23" ], [ "-1/7" ], [ "-3/20" ], [ "-1/6" ], [ "-4/21" ], [ "-1/5" ], [ "-3/14" ], [ "-4/17" ], [ "-1/4" ], [ "-4/15" ], [ "-2/7" ], [ "-1/3" ], [ "-5/12" ], [ "-3/7" ], [ "-11/24" ], [ "-1/2" ], [ "-12/23" ], [ "-6/11" ], [ "-5/9" ], [ "-7/12" ], [ "-3/5" ], [ "-11/18" ], [ "-2/3" ], [ "-7/10" ], [ "-12/17" ], [ "-17/24" ], [ "-5/7" ], [ "-3/4" ], [ "-7/9" ], [ "-18/23" ], [ "-5/6" ], [ "-7/8" ], [ "-1" ], [ "49" ], [ "-7/6" ], [ "-5/4" ], [ "-23/18" ], [ "-4/3" ], [ "-7/5" ], [ "-24/17" ], [ "-17/12" ], [ "-3/2" ], [ "-18/11" ], [ "-5/3" ], [ "-7/4" ], [ "-9/5" ], [ "-11/6" ], [ "-23/12" ], [ "-2" ], [ "-13/6" ], [ "-24/11" ], [ "-11/5" ], [ "-7/3" ], [ "-12/5" ], [ "-17/7" ], [ "-5/2" ], [ "-8/3" ], [ "-11/4" ], [ "-29/10" ], [ "-71/24" ], [ "-3" ], [ "-13/4" ], [ "-10/3" ], [ "-17/5" ], [ "-7/2" ], [ "-25/7" ], [ "-11/3" ], [ "-15/4" ], [ "-19/5" ], [ "-35/9" ], [ "-71/18" ], [ "-4" ], [ "-17/4" ], [ "-13/3" ], [ "-9/2" ], [ "-23/5" ], [ "-14/3" ], [ "-5" ], [ "-21/4" ], [ "-27/5" ], [ "-11/2" ], [ "-17/3" ], [ "-23/4" ], [ "-41/7" ], [ "-71/12" ], [ "-6" ], [ "54" ], [ "-25/4" ], [ "-19/3" ], [ "-13/2" ], [ "-20/3" ], [ "-41/6" ], [ "-7" ], [ "-23/3" ], [ "-8" ], [ "-35/4" ], [ "-9" ], [ "-29/3" ], [ "-10" ], [ "-11" ], [ "-34/3" ], [ "-23/2" ], [ "-71/6" ], [ "-12" ], [ "60" ], [ "-13" ], [ "-14" ], [ "-15" ], [ "-16" ], [ "-33/2" ], [ "-17" ], [ "-69/4" ], [ "-71/4" ], [ "-18" ], [ "66" ], [ "-19" ], [ "-20" ], [ "68" ], [ "-21" ], [ "69" ], [ "-22" ], [ "-68/3" ], [ "-23" ], [ "71" ], [ "-71/3" ], [ "-24" ], [ "72" ], [ "-25" ], [ "73" ], [ "-26" ], [ "-27" ], [ "75" ], [ "76" ], [ "-29" ], [ "78" ], [ "-32" ], [ "-35" ], [ "-36" ], [ "84" ], [ "-41" ], [ "90" ], [ "-48" ], [ "96" ], [ "-54" ], [ "-60" ], [ "-66" ], [ "-68" ], [ "-69" ], [ "-71" ] ] } ] }, { "numbers": [ 4, 7, 8, 8 ], "width": null, "success": true, "expression": "((7*8)-(4*8))", "expanded": 212, "generated": 1556, "trace": [ { "depth": 1, "unique": 22, "kept": 22, "values": [ [ "8", "8", "28" ], [ "4", "7", "16" ], [ "7", "8", "32" ], [ "4", "8", "15" ], [ "7", "8", "12" ], [ "8", "8", "11" ], [ "-4", "7", "8" ], [ "-3", "8", "8" ], [ "-1", "4", "8" ], [ "1/2", "7", "8" ], [ "4/7", "8", "8" ], [ "7/8", "4", "8" ], [ "1", "4", "8" ], [ "8/7", "4", "8" ], [ "7/4", "8", "8" ], [ "2", "7", "8" ], [ "3", "8", "8" ], [ "4", "7", "8" ], [ "4", "8", "56" ], [ "0", "4", "7" ], [ "1", "4", "7" ], [ "4", "7", "64" ] ] }, { "depth": 2, "unique": 189, "kept": 189, "values": [ [ "7", "24" ], [ "8", "24" ], [ "4", "23" ], [ "8", "25" ], [ "0", "28" ], [ "1", "28" ], [ "7", "20" ], [ "8", "20" ], [ "8", "28" ], [ "16", "28" ], [ "28", "64" ], [ "8", "19" ], [ "-3", "16" ], [ "-1", "32" ], [ "4/7", "16" ], [ "7/8", "32" ], [ "1", "32" ], [ "8/7", "32" ], [ "7/4", "16" ], [ "3", "16" ], [ "7", "16" ], [ "7", "32" ], [ "11", "16" ], [ "15", "32" ], [ "32", "56" ], [ "-4", "15" ], [ "1/2", "15" ], [ "2", "15" ], [ "4", "15" ], [ "12", "15" ], [ "8", "14" ], [ "-1", "12" ], [ "7/8", "12" ], [ "1", "12" ], [ "8/7", "12" ], [ "7", "12" ], [ "8", "36" ], [ "12", "56" ], [ "0", "11" ], [ "1", "11" ], [ "8", "11" ], [ "11", "64" ], [ "7", "10" ], [ "8", "39/4" ], [ "4", "64/7" ], [ "4", "9" ], [ "8", "9" ], [ "8", "39" ], [ "4", "71/8" ], [ "8", "60/7" ], [ "7", "17/2" ], [ "-52", "8" ], [ "-28", "8" ], [ "-25", "8" ], [ "-24", "8" ], [ "-20", "8" ], [ "-11", "8" ], [ "-52/7", "8" ], [ "-13/2", "8" ], [ "-25/4", "8" ], [ "-5", "8" ], [ "-4", "8" ], [ "-25/8", "8" ], [ "-3", "8" ], [ "-20/7", "8" ], [ "-8/3", "8" ], [ "-7/4", "8" ], [ "-4/7", "8" ], [ "-3/8", "8" ], [ "-1/4", "8" ], [ "1/14", "8" ], [ "7/32", "8" ], [ "1/4", "8" ], [ "4/15", "8" ], [ "2/7", "8" ], [ "3/8", "8" ], [ "4/7", "8" ], [ "7/12", "8" ], [ "8/11", "8" ], [ "11/8", "8" ], [ "12/7", "8" ], [ "7/4", "8" ], [ "8/3", "8" ], [ "20/7", "8" ], [ "3", "8" ], [ "25/8", "8" ], [ "7/2", "8" ], [ "15/4", "8" ], [ "4", "8" ], [ "32/7", "8" ], [ "39/8", "8" ], [ "5", "8" ], [ "36/7", "8" ], [ "25/4", "8" ], [ "13/2", "8" ], [ "7", "40" ], [ "52/7", "8" ], [ "15/2", "8" ], [ "8", "52" ], [ "8", "60" ], [ "8", "84" ], [ "8", "88" ], [ "8", "224" ], [ "7", "15/2" ], [ "4", "57/8" ], [ "-60", "7" ], [ "-32", "7" ], [ "-24", "7" ], [ "-12", "7" ], [ "-15/2", "7" ], [ "-6", "7" ], [ "-4", "7" ], [ "-3", "7" ], [ "-2", "7" ], [ "-1/2", "7" ], [ "0", "7" ], [ "1/16", "7" ], [ "1/4", "7" ], [ "1/2", "7" ], [ "2/3", "7" ], [ "3/2", "7" ], [ "2", "7" ], [ "3", "7" ], [ "4", "7" ], [ "5", "7" ], [ "6", "7" ], [ "7", "60" ], [ "7", "64" ], [ "7", "68" ], [ "7", "96" ], [ "7", "256" ], [ "4", "48/7" ], [ "4", "6" ], [ "-57", "4" ], [ "-48", "4" ], [ "-9", "4" ], [ "-8", "4" ], [ "-57/8", "4" ], [ "-7", "4" ], [ "-48/7", "4" ], [ "-6", "4" ], [ "-1", "4" ], [ "-1/8", "4" ], [ "0", "4" ], [ "7/64", "4" ], [ "1/8", "4" ], [ "1/7", "4" ], [ "7/16", "4" ], [ "8/15", "4" ], [ "7/8", "4" ], [ "1", "4" ], [ "8/7", "4" ], [ "15/8", "4" ], [ "16/7", "4" ], [ "4", "48" ], [ "4", "56" ], [ "4", "57" ], [ "4", "64" ], [ "4", "71" ], [ "4", "112" ], [ "4", "120" ], [ "4", "448" ], [ "0", "3" ], [ "1", "3" ], [ "3", "64" ], [ "-1", "2" ], [ "7/8", "2" ], [ "1", "2" ], [ "8/7", "2" ], [ "2", "56" ], [ "0", "7/4" ], [ "1", "7/4" ], [ "7/4", "64" ], [ "-4", "8/7" ], [ "1/2", "8/7" ], [ "-4", "1" ], [ "-3", "1" ], [ "1/2", "1" ], [ "4/7", "1" ], [ "-4", "7/8" ], [ "1/2", "7/8" ], [ "0", "4/7" ], [ "4/7", "64" ], [ "-1", "1/2" ], [ "1/2", "56" ], [ "-3", "0" ], [ "-4", "-1" ], [ "-3", "64" ], [ "-4", "56" ] ] }, { "depth": 3, "unique": 463, "kept": 463, "values": [ [ "24" ], [ "23" ], [ "25" ], [ "160/7" ], [ "22" ], [ "64/3" ], [ "21" ], [ "27" ], [ "192/7" ], [ "20" ], [ "28" ], [ "57/2" ], [ "19" ], [ "29" ], [ "30" ], [ "71/4" ], [ "216/7" ], [ "17" ], [ "31" ], [ "249/8" ], [ "116/7" ], [ "16" ], [ "32" ], [ "31/2" ], [ "108/7" ], [ "263/8" ], [ "33" ], [ "232/7" ], [ "29/2" ], [ "57/4" ], [ "14" ], [ "96/7" ], [ "92/7" ], [ "13" ], [ "35" ], [ "103/8" ], [ "88/7" ], [ "71/2" ], [ "12" ], [ "36" ], [ "47/4" ], [ "23/2" ], [ "256/7" ], [ "89/8" ], [ "11" ], [ "76/7" ], [ "32/3" ], [ "21/2" ], [ "10" ], [ "39/4" ], [ "68/7" ], [ "75/8" ], [ "64/7" ], [ "9" ], [ "39" ], [ "96/11" ], [ "103/12" ], [ "60/7" ], [ "17/2" ], [ "67/8" ], [ "58/7" ], [ "124/15" ], [ "33/4" ], [ "263/32" ], [ "113/14" ], [ "40" ], [ "111/14" ], [ "249/32" ], [ "31/4" ], [ "116/15" ], [ "54/7" ], [ "23/3" ], [ "61/8" ], [ "15/2" ], [ "52/7" ], [ "89/12" ], [ "80/11" ], [ "29/4" ], [ "113/16" ], [ "7" ], [ "111/16" ], [ "288/7" ], [ "27/4" ], [ "53/8" ], [ "13/2" ], [ "19/3" ], [ "44/7" ], [ "25/4" ], [ "6" ], [ "42" ], [ "47/8" ], [ "64/11" ], [ "23/4" ], [ "40/7" ], [ "11/2" ], [ "16/3" ], [ "36/7" ], [ "5" ], [ "39/8" ], [ "14/3" ], [ "32/7" ], [ "68/15" ], [ "9/2" ], [ "71/16" ], [ "17/4" ], [ "29/7" ], [ "33/8" ], [ "263/64" ], [ "4" ], [ "44" ], [ "249/64" ], [ "31/8" ], [ "27/7" ], [ "15/4" ], [ "57/16" ], [ "7/2" ], [ "52/15" ], [ "24/7" ], [ "22/7" ], [ "25/8" ], [ "3" ], [ "23/8" ], [ "20/7" ], [ "14/5" ], [ "11/4" ], [ "8/3" ], [ "64/25" ], [ "5/2" ], [ "19/8" ], [ "7/3" ], [ "16/7" ], [ "9/4" ], [ "71/32" ], [ "32/15" ], [ "17/8" ], [ "2" ], [ "57/32" ], [ "7/4" ], [ "12/7" ], [ "23/14" ], [ "64/39" ], [ "8/5" ], [ "11/7" ], [ "14/9" ], [ "3/2" ], [ "16/11" ], [ "10/7" ], [ "7/5" ], [ "11/8" ], [ "32/25" ], [ "5/4" ], [ "16/13" ], [ "39/32" ], [ "17/14" ], [ "7/6" ], [ "9/8" ], [ "14/13" ], [ "15/14" ], [ "16/15" ], [ "1" ], [ "47" ], [ "15/16" ], [ "14/15" ], [ "13/14" ], [ "8/9" ], [ "6/7" ], [ "14/17" ], [ "32/39" ], [ "13/16" ], [ "4/5" ], [ "25/32" ], [ "3/4" ], [ "8/11" ], [ "5/7" ], [ "7/10" ], [ "11/16" ], [ "2/3" ], [ "9/14" ], [ "5/8" ], [ "39/64" ], [ "7/12" ], [ "4/7" ], [ "32/57" ], [ "1/2" ], [ "15/32" ], [ "32/71" ], [ "4/9" ], [ "7/16" ], [ "3/7" ], [ "8/19" ], [ "2/5" ], [ "25/64" ], [ "3/8" ], [ "5/14" ], [ "7/20" ], [ "1/3" ], [ "8/25" ], [ "7/24" ], [ "2/7" ], [ "4/15" ], [ "1/4" ], [ "2/9" ], [ "7/32" ], [ "3/14" ], [ "8/39" ], [ "3/16" ], [ "7/40" ], [ "4/23" ], [ "11/64" ], [ "2/13" ], [ "2/15" ], [ "7/60" ], [ "7/64" ], [ "7/68" ], [ "2/21" ], [ "1/11" ], [ "1/12" ], [ "7/96" ], [ "1/14" ], [ "4/57" ], [ "1/16" ], [ "4/71" ], [ "3/64" ], [ "1/28" ], [ "1/30" ], [ "1/32" ], [ "7/256" ], [ "1/112" ], [ "0" ], [ "48" ], [ "-1/32" ], [ "-3/64" ], [ "-4/57" ], [ "-1/14" ], [ "-1/12" ], [ "-7/60" ], [ "-2/13" ], [ "-3/16" ], [ "-7/32" ], [ "-1/4" ], [ "-4/15" ], [ "-2/7" ], [ "-7/24" ], [ "-8/25" ], [ "-1/3" ], [ "-5/14" ], [ "-3/8" ], [ "-25/64" ], [ "-2/5" ], [ "-3/7" ], [ "-4/9" ], [ "-1/2" ], [ "-32/57" ], [ "-4/7" ], [ "-7/12" ], [ "-5/8" ], [ "-9/14" ], [ "-2/3" ], [ "-8/11" ], [ "-3/4" ], [ "-25/32" ], [ "-13/16" ], [ "-6/7" ], [ "-13/14" ], [ "-14/15" ], [ "-1" ], [ "-15/14" ], [ "-14/13" ], [ "-9/8" ], [ "-7/6" ], [ "-16/13" ], [ "-32/25" ], [ "-11/8" ], [ "-3/2" ], [ "-8/5" ], [ "-12/7" ], [ "-7/4" ], [ "-57/32" ], [ "-2" ], [ "50" ], [ "-17/8" ], [ "-9/4" ], [ "-7/3" ], [ "-5/2" ], [ "-64/25" ], [ "-8/3" ], [ "-14/5" ], [ "-20/7" ], [ "-3" ], [ "-25/8" ], [ "-24/7" ], [ "-52/15" ], [ "-7/2" ], [ "-57/16" ], [ "-15/4" ], [ "-27/7" ], [ "-31/8" ], [ "-249/64" ], [ "-4" ], [ "52" ], [ "-33/8" ], [ "-17/4" ], [ "-9/2" ], [ "105/2" ], [ "-32/7" ], [ "-39/8" ], [ "-5" ], [ "53" ], [ "-36/7" ], [ "-16/3" ], [ "-11/2" ], [ "-6" ], [ "54" ], [ "-25/4" ], [ "-44/7" ], [ "-19/3" ], [ "-13/2" ], [ "-53/8" ], [ "-27/4" ], [ "-111/16" ], [ "-7" ], [ "-80/11" ], [ "-89/12" ], [ "-52/7" ], [ "-15/2" ], [ "111/2" ], [ "-61/8" ], [ "-54/7" ], [ "-116/15" ], [ "-31/4" ], [ "-249/32" ], [ "-111/14" ], [ "-33/4" ], [ "-67/8" ], [ "113/2" ], [ "-60/7" ], [ "-9" ], [ "57" ], [ "-39/4" ], [ "-10" ], [ "58" ], [ "-32/3" ], [ "-76/7" ], [ "-11" ], [ "-89/8" ], [ "416/7" ], [ "119/2" ], [ "-12" ], [ "60" ], [ "-13" ], [ "61" ], [ "-14" ], [ "-57/4" ], [ "249/4" ], [ "-29/2" ], [ "-108/7" ], [ "444/7" ], [ "-16" ], [ "452/7" ], [ "-17" ], [ "263/4" ], [ "-19" ], [ "67" ], [ "-20" ], [ "68" ], [ "480/7" ], [ "-21" ], [ "-64/3" ], [ "70" ], [ "-160/7" ], [ "71" ], [ "-24" ], [ "72" ], [ "-25" ], [ "-27" ], [ "75" ], [ "-192/7" ], [ "-28" ], [ "76" ], [ "-57/2" ], [ "78" ], [ "-216/7" ], [ "-31" ], [ "-249/8" ], [ "-32" ], [ "80" ], [ "-33" ], [ "-36" ], [ "84" ], [ "-39" ], [ "-40" ], [ "88" ], [ "89" ], [ "-42" ], [ "-44" ], [ "92" ], [ "-48" ], [ "96" ], [ "-50" ], [ "-52" ], [ "-105/2" ], [ "-53" ], [ "-54" ], [ "103" ], [ "-111/2" ], [ "-57" ], [ "-416/7" ], [ "-60" ], [ "108" ], [ "-61" ], [ "-249/4" ], [ "-444/7" ], [ "112" ], [ "-67" ], [ "116" ], [ "-76" ], [ "124" ], [ "-80" ], [ "-84" ], [ "-88" ], [ "-89" ], [ "140" ], [ "152" ], [ "-108" ], [ "160" ], [ "-116" ], [ "168" ], [ "176" ], [ "180" ], [ "192" ], [ "200" ], [ "-160" ], [ "-168" ], [ "216" ], [ "224" ], [ "228" ], [ "232" ], [ "-192" ], [ "-200" ], [ "249" ], [ "256" ], [ "263" ], [ "-216" ], [ "-224" ], [ "-228" ], [ "280" ], [ "284" ], [ "288" ], [ "-249" ], [ "312" ], [ "416" ], [ "420" ], [ "444" ], [ "448" ], [ "452" ], [ "-416" ], [ "-420" ], [ "476" ], [ "480" ], [ "-444" ], [ "672" ], [ "704" ], [ "1792" ] ] } ] }, { "numbers": [ 1, 2, 5, 8 ], "width": null, "success": true, "expression": "(1*((5-2)*8))", "expanded": 302, "generated": 2214, "trace": [ { "depth": 1, "unique": 31, "kept": 31, "values": [ [ "1", "5", "16" ], [ "1", "2", "13" ], [ "1", "5", "10" ], [ "1", "8", "10" ], [ "2", "5", "9" ], [ "-4", "2", "8" ], [ "-3", "1", "8" ], [ "-1", "5", "8" ], [ "1/5", "2", "8" ], [ "2/5", "1", "8" ], [ "1/2", "5", "8" ], [ "1", "2", "40" ], [ "1", "5/2", "8" ], [ "1", "3", "8" ], [ "1", "5", "8" ], [ "1", "7", "8" ], [ "2", "4", "8" ], [ "2", "5", "8" ], [ "2", "6", "8" ], [ "3", "5", "8" ], [ "2", "5", "7" ], [ "1", "5", "6" ], [ "-7", "2", "5" ], [ "-6", "1", "5" ], [ "1/8", "2", "5" ], [ "1/4", "1", "5" ], [ "1", "4", "5" ], [ "1", "2", "3" ], [ "-3", "1", "2" ], [ "5/8", "1", "2" ], [ "1", "8/5", "2" ] ] }, { "depth": 2, "unique": 270, "kept": 270, "values": [ [ "1", "24" ], [ "5", "24" ], [ "1", "26" ], [ "1", "21" ], [ "1", "20" ], [ "1", "18" ], [ "1", "30" ], [ "5", "18" ], [ "5", "17" ], [ "-4", "16" ], [ "1/5", "16" ], [ "2", "32" ], [ "4", "16" ], [ "5", "16" ], [ "6", "16" ], [ "1", "15" ], [ "5", "15" ], [ "8", "15" ], [ "2", "14" ], [ "5", "14" ], [ "-1", "13" ], [ "1/2", "13" ], [ "1", "13" ], [ "2", "13" ], [ "2", "35" ], [ "3", "13" ], [ "2", "12" ], [ "8", "12" ], [ "1", "11" ], [ "5", "11" ], [ "8", "11" ], [ "1", "21/2" ], [ "-7", "10" ], [ "-4", "10" ], [ "1/8", "10" ], [ "1/5", "10" ], [ "1", "38" ], [ "4", "10" ], [ "5", "10" ], [ "6", "10" ], [ "7", "10" ], [ "8", "10" ], [ "9", "10" ], [ "-3", "9" ], [ "2/5", "9" ], [ "1", "9" ], [ "2", "39" ], [ "5/2", "9" ], [ "3", "9" ], [ "5", "9" ], [ "7", "9" ], [ "8", "9" ], [ "5", "17/2" ], [ "1", "42/5" ], [ "2", "41/5" ], [ "-9", "8" ], [ "-8", "8" ], [ "-6", "8" ], [ "-5", "8" ], [ "-9/2", "8" ], [ "-4", "8" ], [ "-3", "8" ], [ "-2", "8" ], [ "-9/5", "8" ], [ "-3/2", "8" ], [ "-1", "40" ], [ "-3/5", "8" ], [ "-1/2", "8" ], [ "-1/3", "8" ], [ "-1/5", "8" ], [ "1/10", "8" ], [ "1/7", "8" ], [ "1/5", "8" ], [ "1/3", "8" ], [ "2/5", "8" ], [ "1/2", "8" ], [ "1/2", "40" ], [ "3/5", "8" ], [ "1", "40" ], [ "7/5", "8" ], [ "3/2", "8" ], [ "5/3", "8" ], [ "9/5", "8" ], [ "2", "8" ], [ "2", "40" ], [ "11/5", "8" ], [ "5/2", "8" ], [ "3", "8" ], [ "3", "40" ], [ "7/2", "8" ], [ "4", "8" ], [ "9/2", "8" ], [ "5", "8" ], [ "11/2", "8" ], [ "6", "8" ], [ "7", "8" ], [ "8", "8" ], [ "2", "39/5" ], [ "1", "38/5" ], [ "5", "15/2" ], [ "-7", "7" ], [ "-3", "7" ], [ "1/8", "7" ], [ "2/5", "7" ], [ "2", "41" ], [ "5/2", "7" ], [ "3", "7" ], [ "5", "7" ], [ "7", "7" ], [ "1", "13/2" ], [ "-6", "6" ], [ "-4", "6" ], [ "1/5", "6" ], [ "1/4", "6" ], [ "1", "6" ], [ "1", "42" ], [ "4", "6" ], [ "5", "6" ], [ "6", "6" ], [ "1", "11/2" ], [ "1", "21/4" ], [ "2", "41/8" ], [ "-15", "5" ], [ "-14", "5" ], [ "-9", "5" ], [ "-8", "5" ], [ "-15/2", "5" ], [ "-7", "5" ], [ "-6", "5" ], [ "-5", "5" ], [ "-7/2", "5" ], [ "-3", "5" ], [ "-15/8", "5" ], [ "-3/4", "5" ], [ "-2/7", "5" ], [ "-1/6", "5" ], [ "-1/8", "5" ], [ "1/16", "5" ], [ "1/10", "5" ], [ "1/8", "5" ], [ "1/6", "5" ], [ "2/9", "5" ], [ "1/4", "5" ], [ "2/7", "5" ], [ "3/8", "5" ], [ "3/4", "5" ], [ "1", "5" ], [ "5/4", "5" ], [ "15/8", "5" ], [ "17/8", "5" ], [ "8/3", "5" ], [ "3", "5" ], [ "7/2", "5" ], [ "4", "5" ], [ "9/2", "5" ], [ "5", "5" ], [ "2", "39/8" ], [ "1", "19/4" ], [ "-6", "4" ], [ "-4", "4" ], [ "1/5", "4" ], [ "1/4", "4" ], [ "2", "4" ], [ "4", "4" ], [ "1", "18/5" ], [ "1", "16/5" ], [ "-7", "3" ], [ "-3", "3" ], [ "-1", "3" ], [ "1/8", "3" ], [ "1/2", "3" ], [ "5/8", "3" ], [ "1", "3" ], [ "8/5", "3" ], [ "2", "3" ], [ "2", "45" ], [ "3", "3" ], [ "1", "8/3" ], [ "1", "21/8" ], [ "2", "13/5" ], [ "-7", "5/2" ], [ "1/8", "5/2" ], [ "-39", "2" ], [ "-35", "2" ], [ "-32", "2" ], [ "-12", "2" ], [ "-39/5", "2" ], [ "-39/8", "2" ], [ "-4", "2" ], [ "-3", "2" ], [ "-2", "2" ], [ "-7/5", "2" ], [ "-5/7", "2" ], [ "-3/5", "2" ], [ "-1/2", "2" ], [ "-3/8", "2" ], [ "-1/3", "2" ], [ "1/40", "2" ], [ "1/13", "2" ], [ "1/3", "2" ], [ "3/8", "2" ], [ "1/2", "2" ], [ "5/9", "2" ], [ "3/5", "2" ], [ "5/8", "2" ], [ "5/7", "2" ], [ "3/4", "2" ], [ "1", "2" ], [ "4/3", "2" ], [ "7/5", "2" ], [ "8/5", "2" ], [ "13/8", "2" ], [ "9/5", "2" ], [ "2", "2" ], [ "2", "48" ], [ "-1", "8/5" ], [ "1/2", "8/5" ], [ "1", "8/5" ], [ "1", "3/2" ], [ "1", "11/8" ], [ "1", "5/4" ], [ "1", "6/5" ], [ "1", "8/7" ], [ "-38", "1" ], [ "-30", "1" ], [ "-24", "1" ], [ "-11", "1" ], [ "-38/5", "1" ], [ "-6", "1" ], [ "-11/2", "1" ], [ "-5", "1" ], [ "-19/4", "1" ], [ "-3", "1" ], [ "-8/3", "1" ], [ "-2", "1" ], [ "-3/2", "1" ], [ "-11/8", "1" ], [ "-6/5", "1" ], [ "-1", "1" ], [ "-5/6", "1" ], [ "-2/3", "1" ], [ "-2/5", "1" ], [ "-3/8", "1" ], [ "1/20", "1" ], [ "2/13", "1" ], [ "5/16", "1" ], [ "3/8", "1" ], [ "2/5", "1" ], [ "1/2", "1" ], [ "5/8", "1" ], [ "2/3", "1" ], [ "4/5", "1" ], [ "5/6", "1" ], [ "7/8", "1" ], [ "1", "1" ], [ "1", "50" ], [ "1", "56" ], [ "1", "80" ], [ "-1", "5/8" ], [ "1/2", "5/8" ], [ "-3", "1/2" ], [ "-7", "2/5" ], [ "1/8", "2/5" ], [ "-4", "1/4" ], [ "1/5", "1/4" ], [ "-6", "1/5" ], [ "-3", "1/8" ], [ "-3", "-1" ], [ "-7", "-3" ], [ "-6", "-4" ] ] }, { "depth": 3, "unique": 482, "kept": 482, "values": [ [ "24" ], [ "23" ], [ "25" ], [ "45/2" ], [ "22" ], [ "26" ], [ "21" ], [ "27" ], [ "41/2" ], [ "20" ], [ "28" ], [ "39/2" ], [ "19" ], [ "29" ], [ "18" ], [ "30" ], [ "88/5" ], [ "35/2" ], [ "17" ], [ "31" ], [ "82/5" ], [ "81/5" ], [ "16" ], [ "32" ], [ "79/5" ], [ "78/5" ], [ "15" ], [ "33" ], [ "72/5" ], [ "14" ], [ "34" ], [ "27/2" ], [ "40/3" ], [ "13" ], [ "35" ], [ "25/2" ], [ "12" ], [ "36" ], [ "23/2" ], [ "56/5" ], [ "11" ], [ "37" ], [ "85/8" ], [ "21/2" ], [ "75/2" ], [ "41/4" ], [ "51/5" ], [ "81/8" ], [ "10" ], [ "38" ], [ "79/8" ], [ "49/5" ], [ "39/4" ], [ "29/3" ], [ "19/2" ], [ "47/5" ], [ "75/8" ], [ "9" ], [ "39" ], [ "43/5" ], [ "17/2" ], [ "79/2" ], [ "42/5" ], [ "25/3" ], [ "41/5" ], [ "57/7" ], [ "81/10" ], [ "8" ], [ "40" ], [ "79/10" ], [ "55/7" ], [ "39/5" ], [ "23/3" ], [ "38/5" ], [ "15/2" ], [ "81/2" ], [ "37/5" ], [ "57/8" ], [ "7" ], [ "41" ], [ "55/8" ], [ "20/3" ], [ "33/5" ], [ "13/2" ], [ "19/3" ], [ "25/4" ], [ "31/5" ], [ "6" ], [ "42" ], [ "29/5" ], [ "23/4" ], [ "40/7" ], [ "11/2" ], [ "85/2" ], [ "43/8" ], [ "16/3" ], [ "37/7" ], [ "21/4" ], [ "47/9" ], [ "26/5" ], [ "31/6" ], [ "41/8" ], [ "51/10" ], [ "81/16" ], [ "5" ], [ "43" ], [ "79/16" ], [ "49/10" ], [ "39/8" ], [ "29/6" ], [ "24/5" ], [ "43/9" ], [ "19/4" ], [ "33/7" ], [ "37/8" ], [ "23/5" ], [ "9/2" ], [ "40/9" ], [ "13/3" ], [ "17/4" ], [ "21/5" ], [ "41/10" ], [ "4" ], [ "44" ], [ "39/10" ], [ "19/5" ], [ "15/4" ], [ "11/3" ], [ "40/11" ], [ "29/8" ], [ "18/5" ], [ "7/2" ], [ "17/5" ], [ "10/3" ], [ "13/4" ], [ "16/5" ], [ "25/8" ], [ "3" ], [ "45" ], [ "23/8" ], [ "14/5" ], [ "11/4" ], [ "19/7" ], [ "8/3" ], [ "21/8" ], [ "13/5" ], [ "41/16" ], [ "23/9" ], [ "5/2" ], [ "39/16" ], [ "19/8" ], [ "40/17" ], [ "7/3" ], [ "16/7" ], [ "9/4" ], [ "11/5" ], [ "15/7" ], [ "21/10" ], [ "27/13" ], [ "81/40" ], [ "2" ], [ "46" ], [ "79/40" ], [ "25/13" ], [ "15/8" ], [ "11/6" ], [ "9/5" ], [ "16/9" ], [ "17/10" ], [ "5/3" ], [ "13/8" ], [ "8/5" ], [ "3/2" ], [ "16/11" ], [ "13/9" ], [ "10/7" ], [ "7/5" ], [ "11/8" ], [ "4/3" ], [ "21/16" ], [ "13/10" ], [ "9/7" ], [ "5/4" ], [ "16/13" ], [ "6/5" ], [ "15/13" ], [ "8/7" ], [ "9/8" ], [ "10/9" ], [ "11/10" ], [ "21/20" ], [ "1" ], [ "47" ], [ "19/20" ], [ "9/10" ], [ "8/9" ], [ "7/8" ], [ "11/13" ], [ "5/6" ], [ "13/16" ], [ "4/5" ], [ "7/9" ], [ "10/13" ], [ "3/4" ], [ "8/11" ], [ "5/7" ], [ "7/10" ], [ "11/16" ], [ "2/3" ], [ "5/8" ], [ "3/5" ], [ "10/17" ], [ "9/16" ], [ "5/9" ], [ "8/15" ], [ "21/40" ], [ "1/2" ], [ "5/11" ], [ "9/20" ], [ "7/16" ], [ "3/7" ], [ "17/40" ], [ "16/39" ], [ "2/5" ], [ "16/41" ], [ "8/21" ], [ "3/8" ], [ "5/14" ], [ "1/3" ], [ "5/16" ], [ "3/10" ], [ "5/17" ], [ "5/18" ], [ "11/40" ], [ "10/39" ], [ "1/4" ], [ "10/41" ], [ "3/13" ], [ "9/40" ], [ "4/19" ], [ "5/24" ], [ "1/5" ], [ "4/21" ], [ "3/16" ], [ "2/11" ], [ "7/40" ], [ "1/6" ], [ "2/13" ], [ "3/20" ], [ "1/7" ], [ "5/38" ], [ "1/8" ], [ "5/42" ], [ "1/9" ], [ "2/21" ], [ "1/11" ], [ "1/13" ], [ "3/40" ], [ "1/15" ], [ "1/16" ], [ "2/35" ], [ "1/18" ], [ "2/39" ], [ "1/20" ], [ "2/41" ], [ "1/21" ], [ "2/45" ], [ "1/24" ], [ "1/26" ], [ "1/30" ], [ "1/38" ], [ "1/40" ], [ "1/42" ], [ "1/50" ], [ "1/56" ], [ "1/80" ], [ "0" ], [ "48" ], [ "-1/40" ], [ "-1/38" ], [ "-1/30" ], [ "-1/24" ], [ "-1/20" ], [ "-2/39" ], [ "-2/35" ], [ "-1/16" ], [ "-3/40" ], [ "-1/13" ], [ "-1/11" ], [ "-1/8" ], [ "-5/38" ], [ "-1/7" ], [ "-3/20" ], [ "-1/6" ], [ "-2/11" ], [ "-3/16" ], [ "-1/5" ], [ "-4/19" ], [ "-9/40" ], [ "-1/4" ], [ "-10/39" ], [ "-11/40" ], [ "-3/10" ], [ "-1/3" ], [ "-5/14" ], [ "-3/8" ], [ "-2/5" ], [ "-16/39" ], [ "-3/7" ], [ "-1/2" ], [ "-5/9" ], [ "-9/16" ], [ "-3/5" ], [ "-5/8" ], [ "-2/3" ], [ "-11/16" ], [ "-7/10" ], [ "-5/7" ], [ "-8/11" ], [ "-3/4" ], [ "-5/6" ], [ "-11/13" ], [ "-8/9" ], [ "-19/20" ], [ "-1" ], [ "49" ], [ "-11/10" ], [ "-9/8" ], [ "-6/5" ], [ "-5/4" ], [ "-9/7" ], [ "-4/3" ], [ "-11/8" ], [ "-7/5" ], [ "-10/7" ], [ "-13/9" ], [ "-3/2" ], [ "-8/5" ], [ "-13/8" ], [ "-5/3" ], [ "-16/9" ], [ "-9/5" ], [ "-11/6" ], [ "-25/13" ], [ "-79/40" ], [ "-2" ], [ "50" ], [ "-11/5" ], [ "-7/3" ], [ "-19/8" ], [ "-39/16" ], [ "-5/2" ], [ "-13/5" ], [ "-8/3" ], [ "-19/7" ], [ "-14/5" ], [ "-23/8" ], [ "-3" ], [ "51" ], [ "-25/8" ], [ "-10/3" ], [ "-17/5" ], [ "-7/2" ], [ "-11/3" ], [ "-15/4" ], [ "-19/5" ], [ "-39/10" ], [ "-4" ], [ "-17/4" ], [ "-40/9" ], [ "-9/2" ], [ "-37/8" ], [ "-33/7" ], [ "-19/4" ], [ "-43/9" ], [ "-24/5" ], [ "-29/6" ], [ "-39/8" ], [ "-49/10" ], [ "-79/16" ], [ "-5" ], [ "-41/8" ], [ "-31/6" ], [ "-37/7" ], [ "-16/3" ], [ "-11/2" ], [ "-23/4" ], [ "-29/5" ], [ "-6" ], [ "-31/5" ], [ "-19/3" ], [ "-13/2" ], [ "-33/5" ], [ "-20/3" ], [ "-55/8" ], [ "-7" ], [ "55" ], [ "-37/5" ], [ "-15/2" ], [ "-38/5" ], [ "-23/3" ], [ "-39/5" ], [ "-55/7" ], [ "-79/10" ], [ "-8" ], [ "56" ], [ "-41/5" ], [ "-25/3" ], [ "-17/2" ], [ "-43/5" ], [ "-9" ], [ "57" ], [ "-75/8" ], [ "-19/2" ], [ "-39/4" ], [ "-49/5" ], [ "-79/8" ], [ "-10" ], [ "-11" ], [ "-12" ], [ "60" ], [ "-25/2" ], [ "-13" ], [ "-40/3" ], [ "-14" ], [ "-72/5" ], [ "-15" ], [ "63" ], [ "-78/5" ], [ "-79/5" ], [ "-16" ], [ "64" ], [ "-17" ], [ "-35/2" ], [ "-19" ], [ "-39/2" ], [ "-20" ], [ "-21" ], [ "70" ], [ "-23" ], [ "-24" ], [ "72" ], [ "-25" ], [ "-27" ], [ "75" ], [ "-29" ], [ "-30" ], [ "78" ], [ "-31" ], [ "79" ], [ "-32" ], [ "80" ], [ "-33" ], [ "81" ], [ "-34" ], [ "82" ], [ "-35" ], [ "-36" ], [ "-37" ], [ "85" ], [ "-75/2" ], [ "-38" ], [ "-39" ], [ "-79/2" ], [ "-40" ], [ "88" ], [ "-41" ], [ "90" ], [ "-43" ], [ "-45" ], [ "-46" ], [ "-48" ], [ "96" ], [ "-49" ], [ "-55" ], [ "-64" ], [ "-70" ], [ "-72" ], [ "120" ], [ "-75" ], [ "-78" ], [ "-79" ] ] } ] } ], "theory": { "heterogeneous_success": [ 0.5, 0.5, 0.5 ], "wrong_average_substitution": [ 0.5, 0.875, 0.96875 ], "majority_p04": [ 0.4, 0.35200000000000004, 0.3174400000000001 ], "false_positive_16": 0.5598733313482347 } }