├── .DS_Store
├── .classpath
├── .gitignore
├── .project
├── Automata Library
└── .DS_Store
├── Automatic Theorem Proving in Walnut.pdf
├── COPYING.txt
├── Command Files
├── .DS_Store
├── demo.txt
├── fibonacci_tests.txt
├── my_file.txt
├── paperfolding_tests.txt
├── paperfolding_trapezoidal_tests.txt
├── period_doubling_tests.txt
├── pf_theorem1part2.txt
├── pf_theorem5.txt
├── rudin_shapiro_tests.txt
├── rudin_shapiro_trapezoidal_tests.txt
└── thue_tests.txt
├── Custom Bases
├── .DS_Store
├── msd_fib.txt
├── msd_fib_addition.txt
├── msd_trib.txt
└── msd_trib_addition.txt
├── Documentation
├── .DS_Store
├── Automata
│ ├── Automaton.html
│ ├── NumberSystem.html
│ ├── ParseMethods.html
│ ├── class-use
│ │ ├── Automaton.html
│ │ ├── NumberSystem.html
│ │ └── ParseMethods.html
│ ├── package-frame.html
│ ├── package-summary.html
│ ├── package-tree.html
│ └── package-use.html
├── Main
│ ├── Computer.html
│ ├── Expression.html
│ ├── GraphViz.html
│ ├── IntegrationTest.html
│ ├── Predicate.html
│ ├── TestCase.html
│ ├── Type.html
│ ├── UtilityMethods.html
│ ├── class-use
│ │ ├── Computer.html
│ │ ├── Expression.html
│ │ ├── GraphViz.html
│ │ ├── IntegrationTest.html
│ │ ├── Predicate.html
│ │ ├── TestCase.html
│ │ ├── Type.html
│ │ ├── UtilityMethods.html
│ │ └── prover.html
│ ├── package-frame.html
│ ├── package-summary.html
│ ├── package-tree.html
│ ├── package-use.html
│ └── prover.html
├── Token
│ ├── AlphabetLetter.html
│ ├── ArithmeticOperator.html
│ ├── Function.html
│ ├── LeftParenthesis.html
│ ├── LogicalOperator.html
│ ├── NumberLiteral.html
│ ├── Operator.html
│ ├── RelationalOperator.html
│ ├── RightParenthesis.html
│ ├── Token.html
│ ├── Variable.html
│ ├── Word.html
│ ├── class-use
│ │ ├── AlphabetLetter.html
│ │ ├── ArithmeticOperator.html
│ │ ├── Function.html
│ │ ├── LeftParenthesis.html
│ │ ├── LogicalOperator.html
│ │ ├── NumberLiteral.html
│ │ ├── Operator.html
│ │ ├── RelationalOperator.html
│ │ ├── RightParenthesis.html
│ │ ├── Token.html
│ │ ├── Variable.html
│ │ └── Word.html
│ ├── package-frame.html
│ ├── package-summary.html
│ ├── package-tree.html
│ └── package-use.html
├── allclasses-frame.html
├── allclasses-noframe.html
├── constant-values.html
├── deprecated-list.html
├── dk
│ └── brics
│ │ └── automaton
│ │ ├── Automaton.html
│ │ ├── AutomatonMatcher.html
│ │ ├── AutomatonProvider.html
│ │ ├── BasicAutomata.html
│ │ ├── BasicOperations.html
│ │ ├── Datatypes.html
│ │ ├── DatatypesAutomatonProvider.html
│ │ ├── MinimizationOperations.html
│ │ ├── RegExp.html
│ │ ├── RunAutomaton.html
│ │ ├── ShuffleOperations.html
│ │ ├── SpecialOperations.html
│ │ ├── State.html
│ │ ├── StatePair.html
│ │ ├── StringUnionOperations.html
│ │ ├── Transition.html
│ │ ├── class-use
│ │ ├── Automaton.html
│ │ ├── AutomatonMatcher.html
│ │ ├── AutomatonProvider.html
│ │ ├── BasicAutomata.html
│ │ ├── BasicOperations.html
│ │ ├── Datatypes.html
│ │ ├── DatatypesAutomatonProvider.html
│ │ ├── MinimizationOperations.html
│ │ ├── RegExp.html
│ │ ├── RunAutomaton.html
│ │ ├── ShuffleOperations.html
│ │ ├── SpecialOperations.html
│ │ ├── State.html
│ │ ├── StatePair.html
│ │ ├── StringUnionOperations.html
│ │ └── Transition.html
│ │ ├── package-frame.html
│ │ ├── package-summary.html
│ │ ├── package-tree.html
│ │ └── package-use.html
├── help-doc.html
├── index-files
│ ├── index-1.html
│ ├── index-10.html
│ ├── index-11.html
│ ├── index-12.html
│ ├── index-13.html
│ ├── index-14.html
│ ├── index-15.html
│ ├── index-16.html
│ ├── index-17.html
│ ├── index-18.html
│ ├── index-19.html
│ ├── index-2.html
│ ├── index-20.html
│ ├── index-21.html
│ ├── index-22.html
│ ├── index-3.html
│ ├── index-4.html
│ ├── index-5.html
│ ├── index-6.html
│ ├── index-7.html
│ ├── index-8.html
│ └── index-9.html
├── index.html
├── overview-frame.html
├── overview-summary.html
├── overview-tree.html
├── package-list
├── resources
│ ├── background.gif
│ ├── tab.gif
│ ├── titlebar.gif
│ └── titlebar_end.gif
├── serialized-form.html
└── stylesheet.css
├── LICENSE
├── Macro Library
├── .DS_Store
├── border.txt
└── palindrome.txt
├── README.md
├── Result
└── .DS_Store
├── Test Results
├── .DS_Store
├── Automaton Unit Tests
│ ├── .DS_Store
│ ├── RegExp
│ │ ├── RegExp12[^1456789].gv
│ │ ├── RegExp12[^1456789].txt
│ │ ├── RegExp3[^4].gv
│ │ ├── RegExp3[^4].txt
│ │ ├── RegExpArithmetic(0|2)1+.gv
│ │ ├── RegExpArithmetic(0|2)1+.txt
│ │ ├── RegExpArithmetic.+.gv
│ │ ├── RegExpArithmetic.+.txt
│ │ ├── RegExpArithmetic.gv
│ │ ├── RegExpArithmetic.txt
│ │ ├── RegExpArithmetic0+1*.gv
│ │ ├── RegExpArithmetic0+1*.txt
│ │ ├── RegExpArithmetic012.gv
│ │ ├── RegExpArithmetic012.txt
│ │ ├── RegExpArithmetic1*.gv
│ │ ├── RegExpArithmetic1*.txt
│ │ ├── RegExpArithmetic91[0](1)?(2).gv
│ │ ├── RegExpArithmetic91[0](1)?(2).txt
│ │ ├── RegExpArithmetic9[0-4]*(0|[4-6]).gv
│ │ ├── RegExpArithmetic9[0-4]*(0|[4-6]).txt
│ │ ├── RegExpArithmeticDescending(0|2)1+.gv
│ │ ├── RegExpArithmeticDescending(0|2)1+.txt
│ │ ├── RegExpArithmeticDescending.+.gv
│ │ ├── RegExpArithmeticDescending.+.txt
│ │ ├── RegExpArithmeticDescending.gv
│ │ ├── RegExpArithmeticDescending.txt
│ │ ├── RegExpArithmeticDescending0+1*.gv
│ │ ├── RegExpArithmeticDescending0+1*.txt
│ │ ├── RegExpArithmeticDescending012.gv
│ │ ├── RegExpArithmeticDescending012.txt
│ │ ├── RegExpArithmeticDescending1*.gv
│ │ ├── RegExpArithmeticDescending1*.txt
│ │ ├── RegExpArithmeticDescending91[0](1)?(2).gv
│ │ ├── RegExpArithmeticDescending91[0](1)?(2).txt
│ │ ├── RegExpArithmeticDescending9[0-4]*(0|[4-6]).gv
│ │ ├── RegExpArithmeticDescending9[0-4]*(0|[4-6]).txt
│ │ ├── RegExpArithmeticDescending[4-7][^56]+3.gv
│ │ ├── RegExpArithmeticDescending[4-7][^56]+3.txt
│ │ ├── RegExpArithmeticDescending~(1*).gv
│ │ ├── RegExpArithmeticDescending~(1*).txt
│ │ ├── RegExpArithmetic[4-7][^56]+3.gv
│ │ ├── RegExpArithmetic[4-7][^56]+3.txt
│ │ ├── RegExpArithmetic~(1*).gv
│ │ ├── RegExpArithmetic~(1*).txt
│ │ ├── RegExp[^0-7]5.gv
│ │ └── RegExp[^0-7]5.txt
│ ├── input1.txt
│ ├── input1AfterSortLabel.gv
│ ├── input1AfterSortLabel.txt
│ ├── input2.gv
│ ├── input2.txt
│ ├── input2AfterBind.gv
│ ├── input2AfterBind.txt
│ └── isEmpty
│ │ ├── input1false.gv
│ │ ├── input1false.txt
│ │ ├── input1falserewrite.txt
│ │ ├── input2true.gv
│ │ ├── input2true.txt
│ │ ├── input2truerewrite.txt
│ │ ├── input3false.gv
│ │ ├── input3false.txt
│ │ ├── input3falserewrite.txt
│ │ ├── input4true.gv
│ │ ├── input4true.txt
│ │ ├── input4truerewrite.txt
│ │ ├── input5true.gv
│ │ ├── input5true.txt
│ │ ├── input5truerewrite.txt
│ │ ├── input6true.gv
│ │ ├── input6true.txt
│ │ └── input6truerewrite.txt
├── Integreation Tests
│ ├── .DS_Store
│ ├── automaton0.txt
│ ├── automaton1.txt
│ ├── automaton10.txt
│ ├── automaton100.txt
│ ├── automaton101.txt
│ ├── automaton102.txt
│ ├── automaton103.txt
│ ├── automaton104.txt
│ ├── automaton105.txt
│ ├── automaton106.txt
│ ├── automaton107.txt
│ ├── automaton108.txt
│ ├── automaton109.txt
│ ├── automaton11.txt
│ ├── automaton110.txt
│ ├── automaton111.txt
│ ├── automaton112.txt
│ ├── automaton113.txt
│ ├── automaton114.txt
│ ├── automaton115.txt
│ ├── automaton116.txt
│ ├── automaton117.txt
│ ├── automaton118.txt
│ ├── automaton119.txt
│ ├── automaton12.txt
│ ├── automaton120.txt
│ ├── automaton121.txt
│ ├── automaton122.txt
│ ├── automaton123.txt
│ ├── automaton124.txt
│ ├── automaton125.txt
│ ├── automaton126.txt
│ ├── automaton127.txt
│ ├── automaton128.txt
│ ├── automaton129.txt
│ ├── automaton13.txt
│ ├── automaton130.txt
│ ├── automaton131.txt
│ ├── automaton132.txt
│ ├── automaton133.txt
│ ├── automaton134.txt
│ ├── automaton135.txt
│ ├── automaton136.txt
│ ├── automaton137.txt
│ ├── automaton138.txt
│ ├── automaton139.txt
│ ├── automaton14.txt
│ ├── automaton140.txt
│ ├── automaton141.txt
│ ├── automaton143.txt
│ ├── automaton144.txt
│ ├── automaton145.txt
│ ├── automaton146.txt
│ ├── automaton147.txt
│ ├── automaton148.txt
│ ├── automaton149.txt
│ ├── automaton15.txt
│ ├── automaton150.txt
│ ├── automaton151.txt
│ ├── automaton152.txt
│ ├── automaton153.txt
│ ├── automaton154.txt
│ ├── automaton155.txt
│ ├── automaton157.txt
│ ├── automaton158.txt
│ ├── automaton159.txt
│ ├── automaton16.txt
│ ├── automaton160.txt
│ ├── automaton161.txt
│ ├── automaton162.txt
│ ├── automaton163.txt
│ ├── automaton164.txt
│ ├── automaton165.txt
│ ├── automaton166.txt
│ ├── automaton167.txt
│ ├── automaton168.txt
│ ├── automaton169.txt
│ ├── automaton17.txt
│ ├── automaton170.txt
│ ├── automaton171.txt
│ ├── automaton172.txt
│ ├── automaton173.txt
│ ├── automaton174.txt
│ ├── automaton175.txt
│ ├── automaton176.txt
│ ├── automaton177.txt
│ ├── automaton178.txt
│ ├── automaton179.txt
│ ├── automaton18.txt
│ ├── automaton180.txt
│ ├── automaton181.txt
│ ├── automaton182.txt
│ ├── automaton183.txt
│ ├── automaton184.txt
│ ├── automaton185.txt
│ ├── automaton186.txt
│ ├── automaton187.txt
│ ├── automaton188.txt
│ ├── automaton189.txt
│ ├── automaton19.txt
│ ├── automaton191.txt
│ ├── automaton192.txt
│ ├── automaton193.txt
│ ├── automaton194.txt
│ ├── automaton195.txt
│ ├── automaton196.txt
│ ├── automaton197.txt
│ ├── automaton198.txt
│ ├── automaton199.txt
│ ├── automaton2.txt
│ ├── automaton20.txt
│ ├── automaton200.txt
│ ├── automaton201.txt
│ ├── automaton202.txt
│ ├── automaton203.txt
│ ├── automaton204.txt
│ ├── automaton205.txt
│ ├── automaton206.txt
│ ├── automaton207.txt
│ ├── automaton208.txt
│ ├── automaton209.txt
│ ├── automaton21.txt
│ ├── automaton210.txt
│ ├── automaton211.txt
│ ├── automaton212.txt
│ ├── automaton213.txt
│ ├── automaton214.txt
│ ├── automaton215.txt
│ ├── automaton216.txt
│ ├── automaton217.txt
│ ├── automaton218.txt
│ ├── automaton219.txt
│ ├── automaton22.txt
│ ├── automaton220.txt
│ ├── automaton221.txt
│ ├── automaton222.txt
│ ├── automaton223.txt
│ ├── automaton224.txt
│ ├── automaton225.txt
│ ├── automaton226.txt
│ ├── automaton227.txt
│ ├── automaton228.txt
│ ├── automaton229.txt
│ ├── automaton23.txt
│ ├── automaton230.txt
│ ├── automaton231.txt
│ ├── automaton232.txt
│ ├── automaton233.txt
│ ├── automaton234.txt
│ ├── automaton235.txt
│ ├── automaton236.txt
│ ├── automaton237.txt
│ ├── automaton238.txt
│ ├── automaton239.txt
│ ├── automaton24.txt
│ ├── automaton240.txt
│ ├── automaton241.txt
│ ├── automaton242.txt
│ ├── automaton243.txt
│ ├── automaton244.txt
│ ├── automaton245.txt
│ ├── automaton246.txt
│ ├── automaton247.txt
│ ├── automaton248.txt
│ ├── automaton249.txt
│ ├── automaton25.txt
│ ├── automaton250.txt
│ ├── automaton251.txt
│ ├── automaton252.txt
│ ├── automaton253.txt
│ ├── automaton254.txt
│ ├── automaton255.txt
│ ├── automaton256.txt
│ ├── automaton257.txt
│ ├── automaton258.txt
│ ├── automaton259.txt
│ ├── automaton26.txt
│ ├── automaton260.txt
│ ├── automaton261.txt
│ ├── automaton262.txt
│ ├── automaton263.txt
│ ├── automaton264.txt
│ ├── automaton265.txt
│ ├── automaton266.txt
│ ├── automaton267.txt
│ ├── automaton268.txt
│ ├── automaton269.txt
│ ├── automaton27.txt
│ ├── automaton270.txt
│ ├── automaton271.txt
│ ├── automaton272.txt
│ ├── automaton273.txt
│ ├── automaton274.txt
│ ├── automaton275.txt
│ ├── automaton276.txt
│ ├── automaton277.txt
│ ├── automaton278.txt
│ ├── automaton279.txt
│ ├── automaton28.txt
│ ├── automaton280.txt
│ ├── automaton281.txt
│ ├── automaton282.txt
│ ├── automaton283.txt
│ ├── automaton284.txt
│ ├── automaton285.txt
│ ├── automaton286.txt
│ ├── automaton287.txt
│ ├── automaton288.txt
│ ├── automaton289.txt
│ ├── automaton29.txt
│ ├── automaton290.txt
│ ├── automaton291.txt
│ ├── automaton292.txt
│ ├── automaton293.txt
│ ├── automaton294.txt
│ ├── automaton295.txt
│ ├── automaton296.txt
│ ├── automaton297.txt
│ ├── automaton298.txt
│ ├── automaton299.txt
│ ├── automaton3.txt
│ ├── automaton30.txt
│ ├── automaton300.txt
│ ├── automaton301.txt
│ ├── automaton302.txt
│ ├── automaton303.txt
│ ├── automaton304.txt
│ ├── automaton305.txt
│ ├── automaton306.txt
│ ├── automaton307.txt
│ ├── automaton308.txt
│ ├── automaton309.txt
│ ├── automaton31.txt
│ ├── automaton310.txt
│ ├── automaton311.txt
│ ├── automaton312.txt
│ ├── automaton313.txt
│ ├── automaton314.txt
│ ├── automaton315.txt
│ ├── automaton316.txt
│ ├── automaton317.txt
│ ├── automaton318.txt
│ ├── automaton319.txt
│ ├── automaton32.txt
│ ├── automaton320.txt
│ ├── automaton321.txt
│ ├── automaton322.txt
│ ├── automaton323.txt
│ ├── automaton324.txt
│ ├── automaton325.txt
│ ├── automaton326.txt
│ ├── automaton327.txt
│ ├── automaton328.txt
│ ├── automaton329.txt
│ ├── automaton33.txt
│ ├── automaton330.txt
│ ├── automaton331.txt
│ ├── automaton332.txt
│ ├── automaton333.txt
│ ├── automaton334.txt
│ ├── automaton335.txt
│ ├── automaton336.txt
│ ├── automaton337.txt
│ ├── automaton338.txt
│ ├── automaton339.txt
│ ├── automaton34.txt
│ ├── automaton340.txt
│ ├── automaton341.txt
│ ├── automaton342.txt
│ ├── automaton343.txt
│ ├── automaton344.txt
│ ├── automaton345.txt
│ ├── automaton346.txt
│ ├── automaton347.txt
│ ├── automaton348.txt
│ ├── automaton349.txt
│ ├── automaton35.txt
│ ├── automaton350.txt
│ ├── automaton351.txt
│ ├── automaton352.txt
│ ├── automaton353.txt
│ ├── automaton354.txt
│ ├── automaton355.txt
│ ├── automaton356.txt
│ ├── automaton357.txt
│ ├── automaton358.txt
│ ├── automaton359.txt
│ ├── automaton36.txt
│ ├── automaton360.txt
│ ├── automaton361.txt
│ ├── automaton362.txt
│ ├── automaton363.txt
│ ├── automaton364.txt
│ ├── automaton365.txt
│ ├── automaton366.txt
│ ├── automaton367.txt
│ ├── automaton368.txt
│ ├── automaton369.txt
│ ├── automaton37.txt
│ ├── automaton370.txt
│ ├── automaton371.txt
│ ├── automaton372.txt
│ ├── automaton374.txt
│ ├── automaton375.txt
│ ├── automaton376.txt
│ ├── automaton377.txt
│ ├── automaton378.txt
│ ├── automaton379.txt
│ ├── automaton38.txt
│ ├── automaton383.txt
│ ├── automaton384.txt
│ ├── automaton385.txt
│ ├── automaton386.txt
│ ├── automaton387.txt
│ ├── automaton388.txt
│ ├── automaton389.txt
│ ├── automaton39.txt
│ ├── automaton390.txt
│ ├── automaton391.txt
│ ├── automaton392.txt
│ ├── automaton4.txt
│ ├── automaton40.txt
│ ├── automaton41.txt
│ ├── automaton42.txt
│ ├── automaton43.txt
│ ├── automaton44.txt
│ ├── automaton45.txt
│ ├── automaton46.txt
│ ├── automaton47.txt
│ ├── automaton48.txt
│ ├── automaton49.txt
│ ├── automaton5.txt
│ ├── automaton50.txt
│ ├── automaton51.txt
│ ├── automaton52.txt
│ ├── automaton53.txt
│ ├── automaton54.txt
│ ├── automaton55.txt
│ ├── automaton56.txt
│ ├── automaton57.txt
│ ├── automaton58.txt
│ ├── automaton59.txt
│ ├── automaton6.txt
│ ├── automaton60.txt
│ ├── automaton61.txt
│ ├── automaton62.txt
│ ├── automaton63.txt
│ ├── automaton64.txt
│ ├── automaton65.txt
│ ├── automaton66.txt
│ ├── automaton67.txt
│ ├── automaton68.txt
│ ├── automaton69.txt
│ ├── automaton7.txt
│ ├── automaton70.txt
│ ├── automaton71.txt
│ ├── automaton72.txt
│ ├── automaton73.txt
│ ├── automaton74.txt
│ ├── automaton75.txt
│ ├── automaton76.txt
│ ├── automaton77.txt
│ ├── automaton78.txt
│ ├── automaton79.txt
│ ├── automaton8.txt
│ ├── automaton80.txt
│ ├── automaton81.txt
│ ├── automaton82.txt
│ ├── automaton83.txt
│ ├── automaton84.txt
│ ├── automaton85.txt
│ ├── automaton86.txt
│ ├── automaton87.txt
│ ├── automaton88.txt
│ ├── automaton89.txt
│ ├── automaton9.txt
│ ├── automaton90.txt
│ ├── automaton91.txt
│ ├── automaton92.txt
│ ├── automaton93.txt
│ ├── automaton94.txt
│ ├── automaton95.txt
│ ├── automaton96.txt
│ ├── automaton97.txt
│ ├── automaton98.txt
│ ├── automaton99.txt
│ ├── details375.txt
│ ├── details376.txt
│ ├── details377.txt
│ ├── details378.txt
│ ├── details379.txt
│ ├── details382.txt
│ ├── details383.txt
│ ├── error142.txt
│ ├── error156.txt
│ ├── error190.txt
│ ├── error373.txt
│ ├── error380.txt
│ ├── error381.txt
│ ├── error382.txt
│ ├── mpl374.mpl
│ ├── mpl375.mpl
│ ├── mpl376.mpl
│ ├── mpl377.mpl
│ ├── mpl378.mpl
│ ├── mpl379.mpl
│ ├── mpl383.mpl
│ └── performance_test.txt
├── NumberSystemUnitTestResults
│ ├── .DS_Store
│ ├── lsd_10
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── lsd_15
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── lsd_2
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── lsd_3
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── lsd_4
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── lsd_fib
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── lsd_trib
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_11.gv
│ │ ├── constant_12.gv
│ │ ├── constant_13.gv
│ │ ├── constant_14.gv
│ │ ├── constant_15.gv
│ │ ├── constant_16.gv
│ │ ├── constant_17.gv
│ │ ├── constant_18.gv
│ │ ├── constant_19.gv
│ │ ├── constant_2.gv
│ │ ├── constant_20.gv
│ │ ├── constant_21.gv
│ │ ├── constant_22.gv
│ │ ├── constant_23.gv
│ │ ├── constant_24.gv
│ │ ├── constant_25.gv
│ │ ├── constant_26.gv
│ │ ├── constant_27.gv
│ │ ├── constant_28.gv
│ │ ├── constant_29.gv
│ │ ├── constant_3.gv
│ │ ├── constant_30.gv
│ │ ├── constant_31.gv
│ │ ├── constant_32.gv
│ │ ├── constant_33.gv
│ │ ├── constant_34.gv
│ │ ├── constant_35.gv
│ │ ├── constant_36.gv
│ │ ├── constant_37.gv
│ │ ├── constant_38.gv
│ │ ├── constant_39.gv
│ │ ├── constant_4.gv
│ │ ├── constant_5.gv
│ │ ├── constant_6.gv
│ │ ├── constant_7.gv
│ │ ├── constant_8.gv
│ │ ├── constant_9.gv
│ │ ├── equality.gv
│ │ └── lessThan.gv
│ ├── msd_10
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── msd_101
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── equality.gv
│ │ └── lessThan.gv
│ ├── msd_15
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── msd_2
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── msd_3
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── msd_4
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ ├── msd_fib
│ │ ├── .DS_Store
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_139.gv
│ │ ├── constant_15.gv
│ │ ├── constant_2.gv
│ │ ├── constant_3.gv
│ │ ├── constant_4.gv
│ │ ├── constant_7.gv
│ │ ├── division_0_1.gv
│ │ ├── division_0_14.gv
│ │ ├── division_100_9.gv
│ │ ├── division_11_3.gv
│ │ ├── division_15_14.gv
│ │ ├── division_1_1.gv
│ │ ├── division_20_20.gv
│ │ ├── division_25_5.gv
│ │ ├── division_3_2.gv
│ │ ├── division_5_1.gv
│ │ ├── division_5_2.gv
│ │ ├── division_5_3.gv
│ │ ├── division_5_4.gv
│ │ ├── division_702_18.gv
│ │ ├── equality.gv
│ │ ├── lessThan.gv
│ │ ├── multiplication_10_10.gv
│ │ ├── multiplication_12_1.gv
│ │ ├── multiplication_17_3.gv
│ │ ├── multiplication_1_11.gv
│ │ ├── multiplication_2_2.gv
│ │ └── multiplication_2_6.gv
│ └── msd_trib
│ │ ├── addition.gv
│ │ ├── constant_0.gv
│ │ ├── constant_1.gv
│ │ ├── constant_10.gv
│ │ ├── constant_11.gv
│ │ ├── constant_12.gv
│ │ ├── constant_13.gv
│ │ ├── constant_14.gv
│ │ ├── constant_15.gv
│ │ ├── constant_16.gv
│ │ ├── constant_17.gv
│ │ ├── constant_18.gv
│ │ ├── constant_19.gv
│ │ ├── constant_2.gv
│ │ ├── constant_20.gv
│ │ ├── constant_21.gv
│ │ ├── constant_22.gv
│ │ ├── constant_23.gv
│ │ ├── constant_24.gv
│ │ ├── constant_25.gv
│ │ ├── constant_26.gv
│ │ ├── constant_27.gv
│ │ ├── constant_28.gv
│ │ ├── constant_29.gv
│ │ ├── constant_3.gv
│ │ ├── constant_30.gv
│ │ ├── constant_31.gv
│ │ ├── constant_32.gv
│ │ ├── constant_33.gv
│ │ ├── constant_34.gv
│ │ ├── constant_35.gv
│ │ ├── constant_36.gv
│ │ ├── constant_37.gv
│ │ ├── constant_38.gv
│ │ ├── constant_39.gv
│ │ ├── constant_4.gv
│ │ ├── constant_5.gv
│ │ ├── constant_6.gv
│ │ ├── constant_7.gv
│ │ ├── constant_8.gv
│ │ ├── constant_9.gv
│ │ ├── equality.gv
│ │ └── lessThan.gv
└── Old Integration Tests
│ ├── automaton0.txt
│ ├── automaton1.txt
│ ├── automaton10.txt
│ ├── automaton100.txt
│ ├── automaton101.txt
│ ├── automaton102.txt
│ ├── automaton103.txt
│ ├── automaton104.txt
│ ├── automaton105.txt
│ ├── automaton106.txt
│ ├── automaton107.txt
│ ├── automaton108.txt
│ ├── automaton109.txt
│ ├── automaton11.txt
│ ├── automaton110.txt
│ ├── automaton111.txt
│ ├── automaton112.txt
│ ├── automaton113.txt
│ ├── automaton114.txt
│ ├── automaton115.txt
│ ├── automaton116.txt
│ ├── automaton117.txt
│ ├── automaton118.txt
│ ├── automaton119.txt
│ ├── automaton12.txt
│ ├── automaton120.txt
│ ├── automaton121.txt
│ ├── automaton122.txt
│ ├── automaton123.txt
│ ├── automaton124.txt
│ ├── automaton125.txt
│ ├── automaton126.txt
│ ├── automaton127.txt
│ ├── automaton128.txt
│ ├── automaton129.txt
│ ├── automaton13.txt
│ ├── automaton130.txt
│ ├── automaton131.txt
│ ├── automaton132.txt
│ ├── automaton133.txt
│ ├── automaton134.txt
│ ├── automaton135.txt
│ ├── automaton136.txt
│ ├── automaton137.txt
│ ├── automaton138.txt
│ ├── automaton139.txt
│ ├── automaton14.txt
│ ├── automaton140.txt
│ ├── automaton141.txt
│ ├── automaton143.txt
│ ├── automaton144.txt
│ ├── automaton145.txt
│ ├── automaton146.txt
│ ├── automaton147.txt
│ ├── automaton148.txt
│ ├── automaton149.txt
│ ├── automaton15.txt
│ ├── automaton150.txt
│ ├── automaton151.txt
│ ├── automaton152.txt
│ ├── automaton153.txt
│ ├── automaton154.txt
│ ├── automaton155.txt
│ ├── automaton157.txt
│ ├── automaton158.txt
│ ├── automaton159.txt
│ ├── automaton16.txt
│ ├── automaton160.txt
│ ├── automaton161.txt
│ ├── automaton162.txt
│ ├── automaton163.txt
│ ├── automaton164.txt
│ ├── automaton165.txt
│ ├── automaton166.txt
│ ├── automaton167.txt
│ ├── automaton168.txt
│ ├── automaton169.txt
│ ├── automaton17.txt
│ ├── automaton170.txt
│ ├── automaton171.txt
│ ├── automaton172.txt
│ ├── automaton173.txt
│ ├── automaton174.txt
│ ├── automaton175.txt
│ ├── automaton176.txt
│ ├── automaton177.txt
│ ├── automaton178.txt
│ ├── automaton179.txt
│ ├── automaton18.txt
│ ├── automaton180.txt
│ ├── automaton181.txt
│ ├── automaton182.txt
│ ├── automaton183.txt
│ ├── automaton184.txt
│ ├── automaton185.txt
│ ├── automaton186.txt
│ ├── automaton187.txt
│ ├── automaton188.txt
│ ├── automaton189.txt
│ ├── automaton19.txt
│ ├── automaton191.txt
│ ├── automaton192.txt
│ ├── automaton193.txt
│ ├── automaton194.txt
│ ├── automaton195.txt
│ ├── automaton196.txt
│ ├── automaton197.txt
│ ├── automaton198.txt
│ ├── automaton199.txt
│ ├── automaton2.txt
│ ├── automaton20.txt
│ ├── automaton200.txt
│ ├── automaton201.txt
│ ├── automaton202.txt
│ ├── automaton203.txt
│ ├── automaton204.txt
│ ├── automaton205.txt
│ ├── automaton206.txt
│ ├── automaton207.txt
│ ├── automaton208.txt
│ ├── automaton209.txt
│ ├── automaton21.txt
│ ├── automaton22.txt
│ ├── automaton23.txt
│ ├── automaton24.txt
│ ├── automaton25.txt
│ ├── automaton26.txt
│ ├── automaton27.txt
│ ├── automaton28.txt
│ ├── automaton29.txt
│ ├── automaton3.txt
│ ├── automaton30.txt
│ ├── automaton31.txt
│ ├── automaton32.txt
│ ├── automaton33.txt
│ ├── automaton34.txt
│ ├── automaton35.txt
│ ├── automaton36.txt
│ ├── automaton37.txt
│ ├── automaton38.txt
│ ├── automaton39.txt
│ ├── automaton4.txt
│ ├── automaton40.txt
│ ├── automaton41.txt
│ ├── automaton42.txt
│ ├── automaton43.txt
│ ├── automaton44.txt
│ ├── automaton45.txt
│ ├── automaton46.txt
│ ├── automaton47.txt
│ ├── automaton48.txt
│ ├── automaton49.txt
│ ├── automaton5.txt
│ ├── automaton50.txt
│ ├── automaton51.txt
│ ├── automaton52.txt
│ ├── automaton53.txt
│ ├── automaton54.txt
│ ├── automaton55.txt
│ ├── automaton56.txt
│ ├── automaton57.txt
│ ├── automaton58.txt
│ ├── automaton59.txt
│ ├── automaton6.txt
│ ├── automaton60.txt
│ ├── automaton61.txt
│ ├── automaton62.txt
│ ├── automaton63.txt
│ ├── automaton64.txt
│ ├── automaton65.txt
│ ├── automaton66.txt
│ ├── automaton67.txt
│ ├── automaton68.txt
│ ├── automaton69.txt
│ ├── automaton7.txt
│ ├── automaton70.txt
│ ├── automaton71.txt
│ ├── automaton72.txt
│ ├── automaton73.txt
│ ├── automaton74.txt
│ ├── automaton75.txt
│ ├── automaton76.txt
│ ├── automaton77.txt
│ ├── automaton78.txt
│ ├── automaton79.txt
│ ├── automaton8.txt
│ ├── automaton80.txt
│ ├── automaton81.txt
│ ├── automaton82.txt
│ ├── automaton83.txt
│ ├── automaton84.txt
│ ├── automaton85.txt
│ ├── automaton86.txt
│ ├── automaton87.txt
│ ├── automaton88.txt
│ ├── automaton89.txt
│ ├── automaton9.txt
│ ├── automaton90.txt
│ ├── automaton91.txt
│ ├── automaton92.txt
│ ├── automaton93.txt
│ ├── automaton94.txt
│ ├── automaton95.txt
│ ├── automaton96.txt
│ ├── automaton97.txt
│ ├── automaton98.txt
│ ├── automaton99.txt
│ ├── error142.txt
│ ├── error156.txt
│ └── error190.txt
├── Word Automata Library
├── .DS_Store
├── C.txt
├── F.txt
├── P.txt
├── PD.txt
├── PF.txt
├── PFmsd.txt
├── PR.txt
├── R.txt
├── RS.txt
├── T.txt
├── T2.txt
├── TR.txt
├── V.txt
└── ZC.txt
├── bin
├── .DS_Store
├── .gitignore
├── Automata
│ └── .DS_Store
├── Main
│ └── .DS_Store
├── Token
│ └── .DS_Store
└── dk
│ ├── .DS_Store
│ └── brics
│ └── automaton
│ └── Unicode.txt
├── build.sh
└── src
├── .DS_Store
├── Automata
├── .DS_Store
├── Automaton.java
├── NumberSystem.java
├── ParseMethods.java
└── Partition.java
├── Main
├── .DS_Store
├── Computer.java
├── Expression.java
├── GraphViz.java
├── IntegrationTest.java
├── Predicate.java
├── PredicateTest.java
├── TestCase.java
├── Type.java
├── UtilityMethods.java
└── prover.java
├── Token
├── .DS_Store
├── AlphabetLetter.java
├── ArithmeticOperator.java
├── Function.java
├── LeftParenthesis.java
├── LogicalOperator.java
├── NumberLiteral.java
├── Operator.java
├── RelationalOperator.java
├── RightParenthesis.java
├── Token.java
├── Variable.java
└── Word.java
└── dk
├── .DS_Store
└── brics
└── automaton
├── Automaton.java
├── AutomatonMatcher.java
├── AutomatonProvider.java
├── BasicAutomata.java
├── BasicOperations.java
├── Datatypes.java
├── DatatypesAutomatonProvider.java
├── MinimizationOperations.java
├── RegExp.java
├── RunAutomaton.java
├── ShuffleOperations.java
├── SpecialOperations.java
├── State.java
├── StatePair.java
├── StringUnionOperations.java
├── Transition.java
├── TransitionComparator.java
└── Unicode.txt
/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/.DS_Store
--------------------------------------------------------------------------------
/.classpath:
--------------------------------------------------------------------------------
1 |
2 |
3 |
4 |
5 |
6 |
7 |
--------------------------------------------------------------------------------
/.gitignore:
--------------------------------------------------------------------------------
1 | *.class
2 |
3 | # Mobile Tools for Java (J2ME)
4 | .mtj.tmp/
5 |
6 | # Package Files #
7 | *.jar
8 | *.war
9 | *.ear
10 |
11 | # virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
12 | hs_err_pid*
13 |
14 | # Result files
15 | Result/
16 |
--------------------------------------------------------------------------------
/Automata Library/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Automata Library/.DS_Store
--------------------------------------------------------------------------------
/Automatic Theorem Proving in Walnut.pdf:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Automatic Theorem Proving in Walnut.pdf
--------------------------------------------------------------------------------
/Command Files/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Command Files/.DS_Store
--------------------------------------------------------------------------------
/Command Files/my_file.txt:
--------------------------------------------------------------------------------
1 | eval from_load_command "a=1";
2 |
--------------------------------------------------------------------------------
/Custom Bases/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Custom Bases/.DS_Store
--------------------------------------------------------------------------------
/Custom Bases/msd_fib.txt:
--------------------------------------------------------------------------------
1 | {0,1}
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 |
--------------------------------------------------------------------------------
/Custom Bases/msd_trib.txt:
--------------------------------------------------------------------------------
1 | {0,1}
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 | 1 -> 2
8 | 2 1
9 | 0 -> 0
--------------------------------------------------------------------------------
/Documentation/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/.DS_Store
--------------------------------------------------------------------------------
/Documentation/package-list:
--------------------------------------------------------------------------------
1 | Automata
2 | Main
3 | Token
4 | dk.brics.automaton
5 |
--------------------------------------------------------------------------------
/Documentation/resources/background.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/resources/background.gif
--------------------------------------------------------------------------------
/Documentation/resources/tab.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/resources/tab.gif
--------------------------------------------------------------------------------
/Documentation/resources/titlebar.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/resources/titlebar.gif
--------------------------------------------------------------------------------
/Documentation/resources/titlebar_end.gif:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Documentation/resources/titlebar_end.gif
--------------------------------------------------------------------------------
/Macro Library/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Macro Library/.DS_Store
--------------------------------------------------------------------------------
/Macro Library/border.txt:
--------------------------------------------------------------------------------
1 | ?%0 m>=1 & m<=n & $%1_factoreq(i,i+n-m,m)
--------------------------------------------------------------------------------
/Macro Library/palindrome.txt:
--------------------------------------------------------------------------------
1 | ?%0 Ak (k %1[i+k] = %1[i+n-1-k]
--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
1 | # Walnut
2 | Automated Theorem Prover for Automatic Words
3 | Please read the pdf file, included in the repository, to learn what Walnut is and how one would work with it.
4 |
--------------------------------------------------------------------------------
/Result/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Result/.DS_Store
--------------------------------------------------------------------------------
/Test Results/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/.DS_Store
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/.DS_Store
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExp12[^1456789].txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExp12[^1456789].txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExp3[^4].txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExp3[^4].txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic(0|2)1+.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic(0|2)1+.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.+.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.+.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): ";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | }
8 |
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic0+1*.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic0+1*.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic012.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic012.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic1*.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): 1*";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(1)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic1*.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic1*.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic91[0](1)?(2).txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic91[0](1)?(2).txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic9[0-4]*(0|[4-6]).txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic9[0-4]*(0|[4-6]).txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending(0|2)1+.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending(0|2)1+.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.+.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.+.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): ";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | }
8 |
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending0+1*.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending0+1*.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending012.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending012.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending1*.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): 1*";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(1)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending1*.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending1*.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending91[0](1)?(2).txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending91[0](1)?(2).txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending9[0-4]*(0|[4-6]).txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending9[0-4]*(0|[4-6]).txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending[4-7][^56]+3.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending[4-7][^56]+3.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending~(1*).txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmeticDescending~(1*).txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic[4-7][^56]+3.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic[4-7][^56]+3.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic~(1*).txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExpArithmetic~(1*).txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/RegExp/RegExp[^0-7]5.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/RegExp/RegExp[^0-7]5.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/input1.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/input1.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/input1AfterSortLabel.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/input1AfterSortLabel.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/input2.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/input2.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/input2AfterBind.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/input2AfterBind.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input1false.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input1false.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input1falserewrite.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input1falserewrite.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input2true.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): input2true";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "*"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input2true.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input2true.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input2truerewrite.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input2truerewrite.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input3false.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): input3false";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | }
8 |
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input3false.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input3false.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input3falserewrite.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input3falserewrite.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input4true.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input4true.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input4truerewrite.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input4truerewrite.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input5true.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): input5true";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | }
8 |
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input5true.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input5true.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input5truerewrite.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input5truerewrite.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input6true.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): input6true";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | }
8 |
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input6true.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input6true.txt
--------------------------------------------------------------------------------
/Test Results/Automaton Unit Tests/isEmpty/input6truerewrite.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Automaton Unit Tests/isEmpty/input6truerewrite.txt
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Integreation Tests/.DS_Store
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton0.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2 msd_2 msd_2
2 | 0 0
3 | 0 0 0 0 -> 0
4 | 0 0 0 1 -> 1
5 | 1 0
6 | 0 0 0 0 -> 2
7 | 2 0
8 | 1 1 1 0 -> 3
9 | 3 0
10 | 0 0 1 0 -> 4
11 | 4 0
12 | 0 1 0 1 -> 5
13 | 5 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton1.txt:
--------------------------------------------------------------------------------
1 | lsd_2 lsd_2 lsd_2 lsd_2
2 | 0 0
3 | 0 1 0 1 -> 1
4 | 1 0
5 | 0 0 1 0 -> 2
6 | 2 0
7 | 1 1 1 0 -> 3
8 | 3 0
9 | 0 0 0 0 -> 4
10 | 4 0
11 | 0 0 0 1 -> 5
12 | 5 1
13 | 0 0 0 0 -> 5
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton10.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 1 -> 3
8 | 2 0
9 | 0 -> 4
10 | 1 -> 4
11 | 3 0
12 | 1 -> 4
13 | 4 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton100.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton101.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton102.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton103.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton104.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton105.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton106.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton107.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton108.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton109.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton11.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 1 -> 4
10 | 3 0
11 | 0 -> 5
12 | 4 1
13 | 0 -> 5
14 | 5 1
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton110.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 0
7 | 1 -> 3
8 | 3 1
9 | 0 -> 3
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton111.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 1
3 | 0 -> 1
4 | 1 -> 2
5 | 1 1
6 | 0 -> 3
7 | 1 -> 2
8 | 2 1
9 | 0 -> 4
10 | 3 1
11 | 0 -> 4
12 | 1 -> 5
13 | 4 1
14 | 0 -> 4
15 | 1 -> 2
16 | 5 0
17 | 0 -> 6
18 | 6 0
19 | 0 -> 6
20 | 1 -> 2
21 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton112.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 1
3 | 0 -> 1
4 | 1 -> 2
5 | 1 1
6 | 0 -> 3
7 | 1 -> 2
8 | 2 1
9 | 0 -> 2
10 | 3 1
11 | 0 -> 2
12 | 1 -> 2
13 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton113.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 1
3 | 0 -> 1
4 | 1 -> 2
5 | 1 1
6 | 0 -> 3
7 | 1 -> 2
8 | 2 1
9 | 0 -> 2
10 | 3 1
11 | 0 -> 2
12 | 1 -> 2
13 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton114.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 1
3 | 0 -> 1
4 | 1 -> 2
5 | 1 1
6 | 0 -> 3
7 | 1 -> 2
8 | 2 1
9 | 0 -> 2
10 | 3 1
11 | 0 -> 2
12 | 1 -> 2
13 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton115.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 1
3 | 0 -> 1
4 | 1 -> 2
5 | 1 1
6 | 0 -> 3
7 | 1 -> 2
8 | 2 1
9 | 0 -> 2
10 | 3 1
11 | 0 -> 2
12 | 1 -> 2
13 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton116.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 0
14 | 0 -> 6
15 | 6 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton117.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 0
14 | 0 -> 6
15 | 6 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton118.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 0
14 | 0 -> 6
15 | 6 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton119.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 1 -> 4
10 | 3 0
11 | 1 -> 5
12 | 4 0
13 | 0 -> 6
14 | 5 0
15 | 0 -> 5
16 | 1 -> 6
17 | 6 1
18 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton12.txt:
--------------------------------------------------------------------------------
1 | lsd_10
2 | 0 0
3 | 4 -> 1
4 | 5 -> 1
5 | 7 -> 1
6 | 1 1
7 | 0 -> 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton120.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton121.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton122.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton123.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 1
14 | 0 -> 5
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton124.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 1
14 | 0 -> 5
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton125.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 1 -> 2
6 | 2 0
7 | 1 -> 3
8 | 3 0
9 | 0 -> 4
10 | 4 0
11 | 1 -> 5
12 | 5 1
13 | 0 -> 5
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton126.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 1
4 | 1 0
5 | 1 -> 2
6 | 2 0
7 | 0 -> 3
8 | 3 0
9 | 0 -> 4
10 | 4 0
11 | 0 -> 5
12 | 5 0
13 | 1 -> 6
14 | 6 1
15 | 0 -> 6
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton127.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 0
10 | 1 -> 4
11 | 4 1
12 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton128.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 0
14 | 0 -> 6
15 | 6 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton129.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 1 -> 2
6 | 2 0
7 | 1 -> 3
8 | 3 0
9 | 1 -> 4
10 | 4 1
11 | 0 -> 4
12 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton13.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 1 -> 3
8 | 2 0
9 | 0 -> 4
10 | 1 -> 4
11 | 3 0
12 | 1 -> 4
13 | 4 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton130.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton131.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 2
10 | 1 -> 2
11 | 3 0
12 | 0 -> 2
13 | 1 -> 2
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton132.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 3 1
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton133.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 2 1
8 | 0 -> 3
9 | 1 -> 4
10 | 3 0
11 | 0 -> 5
12 | 1 -> 4
13 | 4 1
14 | 0 -> 5
15 | 5 1
16 | 0 -> 5
17 | 1 -> 4
18 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton134.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 2
8 | 2 1
9 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton135.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 1
3 | 0 -> 1
4 | 1 -> 2
5 | 1 1
6 | 0 -> 3
7 | 1 -> 4
8 | 2 1
9 | 0 -> 3
10 | 3 1
11 | 0 -> 4
12 | 1 -> 4
13 | 4 1
14 | 0 -> 4
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton136.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 0
7 | 1 -> 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton137.txt:
--------------------------------------------------------------------------------
1 | lsd_2 lsd_3
2 | 0 1
3 | 0 0 -> 1
4 | 0 1 -> 1
5 | 1 1
6 | 0 0 -> 1
7 | 1 0 -> 1
8 | 0 1 -> 1
9 | 1 1 -> 1
10 | 0 2 -> 1
11 | 1 2 -> 1
12 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton138.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_3
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 0 1 -> 0
6 | 1 1 -> 1
7 | 0 2 -> 1
8 | 1 2 -> 1
9 | 1 0
10 | 0 0 -> 0
11 | 1 0 -> 1
12 | 0 1 -> 0
13 | 1 1 -> 1
14 | 0 2 -> 1
15 | 1 2 -> 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton139.txt:
--------------------------------------------------------------------------------
1 | {0,1}
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton14.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 1 -> 4
10 | 3 0
11 | 0 -> 5
12 | 4 1
13 | 0 -> 5
14 | 5 1
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton140.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton141.txt:
--------------------------------------------------------------------------------
1 | {0,1,2}
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton143.txt:
--------------------------------------------------------------------------------
1 | {0,1,2,4,5}
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton144.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton145.txt:
--------------------------------------------------------------------------------
1 | lsd_10
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton146.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton147.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton148.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton149.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton15.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 1
4 | 1 -> 2
5 | 1 0
6 | 0 -> 2
7 | 1 -> 2
8 | 2 0
9 | 0 -> 3
10 | 3 0
11 | 1 -> 4
12 | 4 1
13 | 0 -> 4
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton150.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton151.txt:
--------------------------------------------------------------------------------
1 | lsd_3
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 | 1 -> 3
9 | 3 1
10 | 1 -> 3
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton152.txt:
--------------------------------------------------------------------------------
1 | msd_3
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 1
7 | 0 -> 2
8 | 1 -> 3
9 | 2 -> 3
10 | 3 1
11 | 1 -> 3
12 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton153.txt:
--------------------------------------------------------------------------------
1 | {0,4,6,7}
2 | 0 0
3 | 0 -> 1
4 | 4 -> 1
5 | 6 -> 1
6 | 7 -> 1
7 | 1 0
8 | 4 -> 2
9 | 6 -> 3
10 | 2 1
11 | 3 1
12 | 4 -> 2
13 | 6 -> 3
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton154.txt:
--------------------------------------------------------------------------------
1 | msd_5
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton155.txt:
--------------------------------------------------------------------------------
1 | msd_5
2 | 0 0
3 | 0 -> 1
4 | 1 -> 1
5 | 2 -> 1
6 | 3 -> 1
7 | 4 -> 1
8 | 1 0
9 | 4 -> 2
10 | 2 0
11 | 0 -> 3
12 | 1 -> 3
13 | 2 -> 3
14 | 3 -> 3
15 | 4 -> 4
16 | 3 1
17 | 4 1
18 | 0 -> 3
19 | 1 -> 3
20 | 2 -> 3
21 | 3 -> 3
22 | 4 -> 4
23 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton157.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton158.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton159.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton16.txt:
--------------------------------------------------------------------------------
1 | lsd_10
2 | 0 0
3 | 4 -> 1
4 | 5 -> 1
5 | 7 -> 1
6 | 1 1
7 | 0 -> 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton160.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 1
7 | 1 -> 0
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton161.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 1
7 | 1 -> 0
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton162.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton163.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 | 1 -> 0
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton164.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 | 1 -> 0
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton165.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 0
3 | 0 0 -> 0
4 | 0 1 -> 1
5 | 1 1 -> 0
6 | 1 0
7 | 1 0 -> 2
8 | 2 1
9 | 1 0 -> 1
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton166.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 1 -> 3
8 | 2 0
9 | 0 -> 4
10 | 3 0
11 | 1 -> 5
12 | 4 0
13 | 0 -> 5
14 | 5 1
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton167.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 3 0
11 | 1 -> 5
12 | 4 1
13 | 0 -> 5
14 | 5 1
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton168.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 3
11 | 3 0
12 | 1 -> 5
13 | 4 1
14 | 0 -> 5
15 | 5 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton169.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 1 1 -> 2
6 | 1 1
7 | 0 0 -> 3
8 | 1 0 -> 3
9 | 2 1
10 | 0 0 -> 2
11 | 3 1
12 | 0 0 -> 0
13 | 1 0 -> 1
14 | 1 1 -> 4
15 | 4 1
16 | 0 0 -> 2
17 | 1 1 -> 2
18 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton17.txt:
--------------------------------------------------------------------------------
1 | msd_trib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 1 -> 4
10 | 3 1
11 | 0 -> 4
12 | 4 1
13 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton170.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton171.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton172.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 5
11 | 3 0
12 | 0 -> 0
13 | 1 -> 5
14 | 4 1
15 | 0 -> 4
16 | 1 -> 1
17 | 5 1
18 | 0 -> 2
19 | 1 -> 2
20 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton173.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 1
10 | 1 -> 2
11 | 3 1
12 | 0 -> 3
13 | 1 -> 4
14 | 4 0
15 | 0 -> 5
16 | 1 -> 5
17 | 5 1
18 | 0 -> 5
19 | 1 -> 5
20 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton174.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 1
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton175.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton176.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib
2 | 0 0
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 0 1 -> 2
6 | 1 0
7 | 0 0 -> 0
8 | 0 1 -> 3
9 | 2 0
10 | 0 0 -> 4
11 | 3 1
12 | 0 0 -> 3
13 | 1 0 -> 5
14 | 4 0
15 | 0 0 -> 3
16 | 1 0 -> 2
17 | 5 1
18 | 0 0 -> 3
19 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton177.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 3 1
10 | 0 -> 4
11 | 4 0
12 | 0 -> 2
13 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton178.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 0
3 | 1 -> 1
4 | 1 1
5 | 0 -> 2
6 | 1 -> 3
7 | 2 1
8 | 0 -> 3
9 | 1 -> 3
10 | 3 1
11 | 0 -> 3
12 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton179.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 0
9 | 1 -> 3
10 | 3 1
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton18.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 1 -> 3
8 | 2 0
9 | 0 -> 4
10 | 1 -> 4
11 | 3 0
12 | 1 -> 4
13 | 4 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton180.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 0
3 | 1 -> 1
4 | 1 1
5 | 0 -> 1
6 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton181.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 0
3 | 0 0 -> 0
4 | 0 1 -> 1
5 | 1 1 -> 0
6 | 1 1
7 | 1 0 -> 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton182.txt:
--------------------------------------------------------------------------------
1 | msd_3
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 2 -> 2
6 | 1 1
7 | 0 -> 2
8 | 1 -> 2
9 | 2 1
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton183.txt:
--------------------------------------------------------------------------------
1 | msd_10
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 7 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton184.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 1 -> 3
8 | 2 0
9 | 0 -> 3
10 | 3 1
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton185.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 1 -> 2
8 | 2 1
9 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton186.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton187.txt:
--------------------------------------------------------------------------------
1 | msd_10
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton188.txt:
--------------------------------------------------------------------------------
1 | msd_10
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 7 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton189.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton19.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 1 -> 4
10 | 3 0
11 | 0 -> 5
12 | 4 1
13 | 0 -> 5
14 | 5 1
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton191.txt:
--------------------------------------------------------------------------------
1 | msd_10
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 7 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton192.txt:
--------------------------------------------------------------------------------
1 | msd_10
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 7 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton193.txt:
--------------------------------------------------------------------------------
1 | msd_3
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 2 -> 1
6 | 1 1
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton194.txt:
--------------------------------------------------------------------------------
1 | msd_3
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 2 -> 2
6 | 1 1
7 | 0 -> 2
8 | 1 -> 2
9 | 2 -> 2
10 | 2 1
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton195.txt:
--------------------------------------------------------------------------------
1 | msd_10
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 6 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton196.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 0 1 -> 1
6 | 1 1 -> 0
7 | 1 0
8 | 0 0 -> 1
9 | 1 0 -> 0
10 | 0 1 -> 0
11 | 1 1 -> 1
12 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton197.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton198.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton199.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton2.txt:
--------------------------------------------------------------------------------
1 | msd_3 msd_3 msd_3 msd_3
2 | 0 0
3 | 0 0 0 0 -> 0
4 | 0 0 0 1 -> 1
5 | 1 0
6 | 1 1 2 2 -> 2
7 | 2 0
8 | 1 2 0 2 -> 3
9 | 3 1
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton20.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 1
4 | 1 -> 2
5 | 1 0
6 | 0 -> 2
7 | 1 -> 2
8 | 2 0
9 | 0 -> 3
10 | 3 0
11 | 1 -> 4
12 | 4 1
13 | 0 -> 4
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton200.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton201.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton202.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton203.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 0
7 | 1 -> 0
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton204.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton205.txt:
--------------------------------------------------------------------------------
1 | msd_17
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton206.txt:
--------------------------------------------------------------------------------
1 | lsd_17
2 | 0 0
3 | 0 -> 1
4 | 1 0
5 | 1 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton207.txt:
--------------------------------------------------------------------------------
1 | msd_17
2 | 0 0
3 | 0 -> 0
4 | 2 -> 1
5 | 1 0
6 | 3 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton208.txt:
--------------------------------------------------------------------------------
1 | msd_17 msd_17
2 | 0 1
3 | 0 0 -> 0
4 | 1 1 -> 0
5 | 2 2 -> 0
6 | 3 3 -> 0
7 | 4 4 -> 0
8 | 5 5 -> 0
9 | 6 6 -> 0
10 | 7 7 -> 0
11 | 8 8 -> 0
12 | 9 9 -> 0
13 | 10 10 -> 0
14 | 11 11 -> 0
15 | 12 12 -> 0
16 | 13 13 -> 0
17 | 14 14 -> 0
18 | 15 15 -> 0
19 | 16 16 -> 0
20 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton21.txt:
--------------------------------------------------------------------------------
1 | lsd_10
2 | 0 0
3 | 4 -> 1
4 | 5 -> 1
5 | 7 -> 1
6 | 1 1
7 | 0 -> 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton210.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 2
8 | 2 1
9 | 0 -> 2
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton211.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 2
8 | 2 1
9 | 0 -> 2
10 | 1 -> 3
11 | 3 0
12 | 0 -> 2
13 | 1 -> 3
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton212.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton213.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 3 1
10 | 0 -> 3
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton214.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton215.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 0
5 | 0 1 -> 0
6 | 1 1 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton216.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton217.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton218.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 0
5 | 0 1 -> 0
6 | 1 1 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton219.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton22.txt:
--------------------------------------------------------------------------------
1 | msd_10
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 -> 3
8 | 2 0
9 | 0 -> 3
10 | 3 1
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton220.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton223.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton224.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton225.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 1
10 | 1 -> 2
11 | 3 1
12 | 0 -> 3
13 | 1 -> 4
14 | 4 0
15 | 0 -> 5
16 | 1 -> 5
17 | 5 1
18 | 0 -> 5
19 | 1 -> 5
20 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton226.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 5
11 | 3 1
12 | 0 -> 5
13 | 1 -> 5
14 | 4 1
15 | 0 -> 6
16 | 1 -> 7
17 | 5 1
18 | 0 -> 7
19 | 1 -> 7
20 | 6 1
21 | 0 -> 7
22 | 7 1
23 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton227.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 3 1
10 | 0 -> 3
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton228.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 1
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton229.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 5
11 | 3 1
12 | 0 -> 5
13 | 1 -> 5
14 | 4 1
15 | 0 -> 5
16 | 5 1
17 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton23.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 2
8 | 2 1
9 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton230.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 1
8 | 0 -> 1
9 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton231.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton24.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 1
3 | 0 -> 1
4 | 1 -> 2
5 | 1 1
6 | 0 -> 3
7 | 1 -> 2
8 | 2 1
9 | 0 -> 2
10 | 3 1
11 | 0 -> 2
12 | 1 -> 2
13 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton241.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton242.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 0
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 1 1 -> 2
6 | 1 0
7 | 0 0 -> 0
8 | 1 0 -> 0
9 | 2 0
10 | 0 1 -> 3
11 | 1 1 -> 3
12 | 3 1
13 | 0 0 -> 4
14 | 4 0
15 | 0 0 -> 3
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton254.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 5
11 | 3 1
12 | 0 -> 5
13 | 1 -> 5
14 | 4 1
15 | 0 -> 6
16 | 1 -> 7
17 | 5 1
18 | 0 -> 7
19 | 1 -> 7
20 | 6 1
21 | 0 -> 7
22 | 7 1
23 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton256.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 1
8 | 0 -> 3
9 | 3 0
10 | 0 -> 2
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton257.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 5
11 | 3 1
12 | 0 -> 5
13 | 1 -> 5
14 | 4 1
15 | 0 -> 5
16 | 5 1
17 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton258.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 5
11 | 3 1
12 | 0 -> 5
13 | 1 -> 5
14 | 4 1
15 | 0 -> 5
16 | 5 1
17 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton26.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton264.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 4
11 | 3 1
12 | 0 -> 4
13 | 1 -> 5
14 | 4 1
15 | 0 -> 6
16 | 1 -> 6
17 | 5 1
18 | 0 -> 6
19 | 1 -> 7
20 | 6 1
21 | 0 -> 8
22 | 1 -> 8
23 | 7 1
24 | 0 -> 8
25 | 8 1
26 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton27.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton273.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 1 -> 3
8 | 2 0
9 | 1 -> 4
10 | 3 0
11 | 1 -> 5
12 | 4 0
13 | 0 -> 6
14 | 5 1
15 | 0 -> 6
16 | 6 1
17 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton279.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 4
11 | 3 1
12 | 0 -> 5
13 | 1 -> 6
14 | 4 1
15 | 0 -> 6
16 | 1 -> 6
17 | 5 1
18 | 0 -> 6
19 | 6 1
20 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton28.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton282.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 4
11 | 3 1
12 | 0 -> 5
13 | 1 -> 6
14 | 4 1
15 | 0 -> 6
16 | 1 -> 6
17 | 5 1
18 | 0 -> 6
19 | 6 1
20 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton29.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton292.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 1
3 | 0 -> 1
4 | 1 -> 2
5 | 1 1
6 | 0 -> 3
7 | 1 -> 4
8 | 2 1
9 | 0 -> 4
10 | 1 -> 4
11 | 3 1
12 | 0 -> 5
13 | 1 -> 5
14 | 4 1
15 | 0 -> 5
16 | 1 -> 6
17 | 5 1
18 | 0 -> 6
19 | 1 -> 6
20 | 6 1
21 | 0 -> 6
22 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton298.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 3
10 | 1 -> 3
11 | 3 1
12 | 0 -> 4
13 | 1 -> 4
14 | 4 1
15 | 0 -> 5
16 | 1 -> 5
17 | 5 1
18 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton3.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib msd_fib msd_fib
2 | 0 0
3 | 0 0 0 0 -> 0
4 | 0 0 0 1 -> 1
5 | 1 0
6 | 0 0 0 0 -> 2
7 | 2 0
8 | 0 1 1 0 -> 3
9 | 3 0
10 | 1 0 0 1 -> 4
11 | 4 0
12 | 0 0 0 0 -> 5
13 | 5 0
14 | 1 0 1 1 -> 6
15 | 6 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton30.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 3
10 | 1 -> 3
11 | 3 1
12 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton307.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 1 -> 3
8 | 2 0
9 | 0 -> 4
10 | 3 0
11 | 0 -> 5
12 | 4 0
13 | 1 -> 6
14 | 5 1
15 | 1 -> 6
16 | 6 1
17 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton309.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 4
10 | 1 -> 5
11 | 3 1
12 | 0 -> 5
13 | 1 -> 5
14 | 4 1
15 | 0 -> 5
16 | 5 1
17 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton31.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 2 1
8 | 0 -> 3
9 | 1 -> 4
10 | 3 1
11 | 0 -> 4
12 | 4 1
13 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton319.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 1
3 | 0 -> 1
4 | 1 -> 2
5 | 1 1
6 | 0 -> 3
7 | 1 -> 4
8 | 2 1
9 | 0 -> 4
10 | 1 -> 4
11 | 3 1
12 | 0 -> 4
13 | 1 -> 5
14 | 4 1
15 | 0 -> 5
16 | 1 -> 5
17 | 5 1
18 | 0 -> 5
19 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton32.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 3
10 | 1 -> 3
11 | 3 0
12 | 0 -> 4
13 | 1 -> 4
14 | 4 1
15 | 0 -> 4
16 | 1 -> 4
17 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton324.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 0
5 | 0 1 -> 0
6 | 1 1 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton325.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton326.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton33.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 2 1
8 | 0 -> 3
9 | 1 -> 4
10 | 3 0
11 | 0 -> 5
12 | 1 -> 6
13 | 4 0
14 | 0 -> 7
15 | 5 0
16 | 0 -> 7
17 | 1 -> 6
18 | 6 1
19 | 0 -> 7
20 | 7 1
21 | 0 -> 7
22 | 1 -> 6
23 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton330.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 2
8 | 2 1
9 | 0 -> 3
10 | 1 -> 2
11 | 3 0
12 | 0 -> 3
13 | 1 -> 2
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton333.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 0
5 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton334.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 0
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 1 1 -> 2
6 | 1 0
7 | 0 0 -> 0
8 | 1 0 -> 0
9 | 2 0
10 | 0 0 -> 3
11 | 1 0 -> 3
12 | 3 1
13 | 0 1 -> 3
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton335.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 1
8 | 1 -> 2
9 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton34.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib
2 | 0 1
3 | 0 0 -> 0
4 | 1 1 -> 1
5 | 1 1
6 | 0 0 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton344.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 2
8 | 2 1
9 | 0 -> 3
10 | 1 -> 3
11 | 3 1
12 | 0 -> 4
13 | 1 -> 4
14 | 4 1
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton347.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 2
8 | 2 1
9 | 0 -> 3
10 | 1 -> 3
11 | 3 1
12 | 0 -> 4
13 | 1 -> 4
14 | 4 1
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton35.txt:
--------------------------------------------------------------------------------
1 | lsd_3 lsd_3
2 | 0 1
3 | 0 0 -> 0
4 | 1 1 -> 0
5 | 2 2 -> 0
6 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton352.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 0 1 -> 2
6 | 1 1 -> 3
7 | 1 1
8 | 0 0 -> 0
9 | 0 1 -> 2
10 | 2 1
11 | 0 0 -> 0
12 | 1 0 -> 1
13 | 3 1
14 | 0 0 -> 0
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton353.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton354.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton356.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton359.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton36.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton360.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton361.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton367.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 0 1 -> 2
6 | 1 1 -> 3
7 | 1 1
8 | 0 0 -> 0
9 | 0 1 -> 2
10 | 2 1
11 | 0 0 -> 0
12 | 1 0 -> 1
13 | 3 1
14 | 0 0 -> 0
15 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton368.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton369.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton37.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton370.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton371.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton372.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton374.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 0
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 1 1 -> 0
6 | 1 1
7 | 0 1 -> 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton38.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton383.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 1
12 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton39.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 1
3 | 0 -> 0
4 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton4.txt:
--------------------------------------------------------------------------------
1 | lsd_fib lsd_fib lsd_fib lsd_fib
2 | 0 0
3 | 1 0 1 1 -> 1
4 | 1 0
5 | 0 0 0 0 -> 2
6 | 2 0
7 | 1 0 0 1 -> 3
8 | 3 0
9 | 0 1 1 0 -> 4
10 | 4 0
11 | 0 0 0 0 -> 5
12 | 5 0
13 | 0 0 0 1 -> 6
14 | 6 1
15 | 0 0 0 0 -> 6
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton40.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton41.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton42.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 0
7 | 0 -> 3
8 | 3 0
9 | 0 -> 4
10 | 4 0
11 | 1 -> 5
12 | 5 0
13 | 0 -> 6
14 | 6 0
15 | 1 -> 7
16 | 7 1
17 | 0 -> 7
18 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton43.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 0
10 | 0 -> 4
11 | 4 0
12 | 1 -> 5
13 | 5 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton44.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_fib msd_fib msd_2
2 | 0 0
3 | 0 0 0 0 -> 0
4 | 1 0 0 0 -> 1
5 | 1 0
6 | 0 0 0 1 -> 2
7 | 2 0
8 | 0 0 0 0 -> 3
9 | 3 0
10 | 0 1 1 1 -> 4
11 | 4 0
12 | 0 0 0 0 -> 5
13 | 5 0
14 | 1 0 1 0 -> 6
15 | 6 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton45.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib msd_2
2 | 0 0
3 | 0 0 0 -> 0
4 | 0 0 1 -> 1
5 | 1 0
6 | 0 0 0 -> 2
7 | 2 0
8 | 1 1 1 -> 3
9 | 3 0
10 | 0 0 0 -> 4
11 | 4 0
12 | 0 1 0 -> 5
13 | 5 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton46.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_fib msd_fib
2 | 0 0
3 | 0 0 0 -> 0
4 | 1 0 0 -> 1
5 | 1 0
6 | 0 0 0 -> 2
7 | 2 0
8 | 0 0 0 -> 3
9 | 3 0
10 | 0 1 1 -> 4
11 | 4 0
12 | 0 0 0 -> 5
13 | 5 0
14 | 1 0 1 -> 6
15 | 6 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton47.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib
2 | 0 0
3 | 0 0 -> 0
4 | 1 1 -> 1
5 | 1 0
6 | 0 0 -> 2
7 | 2 0
8 | 0 1 -> 3
9 | 3 1
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton48.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton49.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 1
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton5.txt:
--------------------------------------------------------------------------------
1 | lsd_trib lsd_trib lsd_trib lsd_trib
2 | 0 0
3 | 0 1 0 0 -> 1
4 | 1 0
5 | 0 0 1 0 -> 2
6 | 2 0
7 | 1 1 1 1 -> 3
8 | 3 0
9 | 0 0 0 0 -> 4
10 | 4 0
11 | 0 0 0 1 -> 5
12 | 5 1
13 | 0 0 0 0 -> 5
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton50.txt:
--------------------------------------------------------------------------------
1 | lsd_2 lsd_fib lsd_fib lsd_2
2 | 0 0
3 | 1 0 1 0 -> 1
4 | 1 0
5 | 0 0 0 0 -> 2
6 | 2 0
7 | 0 1 1 1 -> 3
8 | 3 0
9 | 0 0 0 0 -> 4
10 | 4 0
11 | 0 0 0 1 -> 5
12 | 5 0
13 | 1 0 0 0 -> 6
14 | 6 1
15 | 0 0 0 0 -> 6
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton51.txt:
--------------------------------------------------------------------------------
1 | lsd_fib lsd_fib lsd_2
2 | 0 0
3 | 0 1 0 -> 1
4 | 1 0
5 | 0 0 0 -> 2
6 | 2 0
7 | 1 1 1 -> 3
8 | 3 0
9 | 0 0 0 -> 4
10 | 4 0
11 | 0 0 1 -> 5
12 | 5 1
13 | 0 0 0 -> 5
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton52.txt:
--------------------------------------------------------------------------------
1 | lsd_2 lsd_fib lsd_fib
2 | 0 0
3 | 1 0 1 -> 1
4 | 1 0
5 | 0 0 0 -> 2
6 | 2 0
7 | 0 1 1 -> 3
8 | 3 0
9 | 0 0 0 -> 4
10 | 4 0
11 | 0 0 0 -> 5
12 | 5 0
13 | 1 0 0 -> 6
14 | 6 1
15 | 0 0 0 -> 6
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton53.txt:
--------------------------------------------------------------------------------
1 | lsd_fib lsd_fib
2 | 0 0
3 | 0 1 -> 1
4 | 1 0
5 | 0 0 -> 2
6 | 2 0
7 | 1 1 -> 3
8 | 3 1
9 | 0 0 -> 3
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton54.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 1
4 | 1 0
5 | 1 -> 2
6 | 2 1
7 | 0 -> 2
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton55.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 0
7 | 1 -> 3
8 | 3 1
9 | 0 -> 3
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton56.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_2
2 | 0 0
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 1 0
6 | 0 0 -> 2
7 | 2 0
8 | 0 0 -> 3
9 | 3 0
10 | 1 1 -> 4
11 | 4 0
12 | 0 1 -> 5
13 | 5 0
14 | 1 0 -> 6
15 | 6 1
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton58.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 1 -> 1
4 | 1 0
5 | 0 -> 2
6 | 2 0
7 | 1 -> 3
8 | 3 0
9 | 0 -> 4
10 | 4 0
11 | 0 -> 5
12 | 5 0
13 | 1 -> 6
14 | 6 1
15 | 0 -> 6
16 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton59.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 0
8 | 0 -> 3
9 | 3 1
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton6.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_3 msd_2 msd_2
2 | 0 0
3 | 0 0 0 0 -> 0
4 | 0 0 0 1 -> 1
5 | 1 0
6 | 0 0 0 0 -> 2
7 | 2 0
8 | 1 0 1 0 -> 3
9 | 3 0
10 | 0 1 1 0 -> 4
11 | 4 0
12 | 0 2 0 1 -> 5
13 | 5 1
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton60.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 0 -> 3
9 | 1 -> 3
10 | 3 1
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton61.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 1
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 1
10 | 0 -> 3
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton62.txt:
--------------------------------------------------------------------------------
1 | lsd_fib
2 | 0 0
3 | 0 -> 1
4 | 1 -> 1
5 | 1 0
6 | 0 -> 2
7 | 2 0
8 | 1 -> 3
9 | 3 1
10 | 0 -> 3
11 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton63.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 0
3 | 0 -> 1
4 | 1 0
5 | 1 -> 2
6 | 2 0
7 | 1 -> 3
8 | 3 1
9 | 0 -> 3
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton64.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 0
3 | 0 -> 1
4 | 1 0
5 | 1 -> 2
6 | 2 0
7 | 1 -> 3
8 | 3 1
9 | 0 -> 3
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton65.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton66.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton67.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton68.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton69.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton7.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_3 msd_3 msd_3
2 | 0 0
3 | 0 0 0 0 -> 0
4 | 1 0 0 1 -> 1
5 | 1 0
6 | 0 1 2 2 -> 2
7 | 2 0
8 | 0 2 0 2 -> 3
9 | 3 1
10 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton70.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton71.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton72.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton73.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton74.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton75.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton76.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton77.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton78.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton79.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton80.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 2
10 | 1 -> 2
11 | 3 0
12 | 0 -> 2
13 | 1 -> 2
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton81.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton82.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton83.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton84.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton85.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton86.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 1 -> 2
7 | 2 1
8 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton87.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 2
10 | 1 -> 2
11 | 3 0
12 | 0 -> 2
13 | 1 -> 2
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton88.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 2
7 | 1 -> 3
8 | 2 1
9 | 0 -> 2
10 | 1 -> 2
11 | 3 0
12 | 0 -> 2
13 | 1 -> 2
14 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton89.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton90.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton91.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton92.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton93.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton94.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton95.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton96.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton97.txt:
--------------------------------------------------------------------------------
1 | true
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton98.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/automaton99.txt:
--------------------------------------------------------------------------------
1 | false
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/details382.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Integreation Tests/details382.txt
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/error142.txt:
--------------------------------------------------------------------------------
1 | the input alphabet of an automaton generated from a regular expression must be a subset of {0,1,...,9}
2 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/error156.txt:
--------------------------------------------------------------------------------
1 | invalid use of reg command
2 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/error190.txt:
--------------------------------------------------------------------------------
1 | in computing cross product of two automaton, variables with the same label must have the same alphabet
2 | : char at 8
3 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/error373.txt:
--------------------------------------------------------------------------------
1 | incidence matrices for the variable n cannot be calculated, because n is not a free variable.
2 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/error380.txt:
--------------------------------------------------------------------------------
1 | invalid use of eval/def command
2 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/error381.txt:
--------------------------------------------------------------------------------
1 | incidence matrices cannot be calculated, because the automaton does not have a free variable.
2 |
--------------------------------------------------------------------------------
/Test Results/Integreation Tests/error382.txt:
--------------------------------------------------------------------------------
1 | incidence matrices for the variable n23 cannot be calculated, because n23 is not a free variable.
2 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/NumberSystemUnitTestResults/.DS_Store
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_10/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_10:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_10/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_10:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_10/constant_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_10:2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(2)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_10/constant_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_10:3";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(3)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_10/constant_4.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_10:4";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(4)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_10/constant_7.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_10:7";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(7)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_10/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_10:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_10/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_10:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_15/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_15:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_15/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_15:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_15/constant_10.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_15:10";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(10)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_15/constant_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_15:2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(2)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_15/constant_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_15:3";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(3)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_15/constant_4.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_15:4";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(4)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_15/constant_7.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_15:7";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(7)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_15/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_15:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_15/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_15:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_2/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_2:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_2/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_2:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_2/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_2:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_2/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_2:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_2/division_1_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_2:1/1=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_2/division_3_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_2:3/2=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_2/division_5_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_2:5/3=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_2/division_5_4.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_2:5/4=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_2/equality.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): equality";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0,0)"];
8 | 0 -> 0[ label = "(1,1)"];
9 | }
10 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_3:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_3:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/constant_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_3:2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(2)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_3:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_3:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/division_1_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_3:1/1=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/division_3_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_3:3/2=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/division_5_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_3:5/2=2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(2)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/division_5_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_3:5/3=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/division_5_4.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_3:5/4=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_3/equality.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): equality";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0,0)"];
8 | 0 -> 0[ label = "(1,1)"];
9 | 0 -> 0[ label = "(2,2)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_4:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_4:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/constant_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_4:2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(2)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/constant_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): lsd_4:3";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(3)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_4:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_4:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/division_1_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_4:1/1=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/division_3_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_4:3/2=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/division_5_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_4:5/2=2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(2)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/division_5_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_4:5/3=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_4/division_5_4.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_4:5/4=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_fib/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_fib:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_fib/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_fib:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_fib/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_fib:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_fib/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): lsd_fib:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_fib/equality.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): equality";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0,0)"];
8 | 0 -> 0[ label = "(1,1)"];
9 | }
10 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_trib/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_trib:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_trib/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): lsd_trib:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 1[ label = "(1)"];
9 | 1 -> 1[ label = "(0)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/lsd_trib/equality.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): equality";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0,0)"];
8 | 0 -> 0[ label = "(1,1)"];
9 | }
10 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_10/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_10:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_10/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_10:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_10/constant_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_10:2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(2)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_10/constant_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_10:3";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(3)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_10/constant_4.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_10:4";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(4)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_10/constant_7.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_10:7";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(7)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_10/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_10:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_10/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_10:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_101/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_101:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_101/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_101:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_15/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_15:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_15/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_15:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_15/constant_10.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_15:10";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(10)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_15/constant_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_15:2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(2)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_15/constant_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_15:3";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(3)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_15/constant_4.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_15:4";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(4)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_15/constant_7.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_15:7";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(7)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_15/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_15:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_15/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_15:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_2/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_2:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_2/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_2:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_2/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_2:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_2/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_2:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_2/division_1_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_2:1/1=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_2/division_3_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_2:3/2=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_2/division_5_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_2:5/3=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_2/division_5_4.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_2:5/4=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_2/equality.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): equality";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0,0)"];
8 | 0 -> 0[ label = "(1,1)"];
9 | }
10 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_3:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_3:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/constant_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_3:2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(2)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_3:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_3:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/division_1_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_3:1/1=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/division_3_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_3:3/2=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/division_5_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_3:5/2=2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(2)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/division_5_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_3:5/3=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/division_5_4.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_3:5/4=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_3/equality.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): equality";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0,0)"];
8 | 0 -> 0[ label = "(1,1)"];
9 | 0 -> 0[ label = "(2,2)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_4/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_4:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_4/constant_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_4:1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_4/constant_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_4:2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(2)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_4/constant_3.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(c): msd_4:3";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(3)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_4/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_4:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_4/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_4:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_4/division_1_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_4:1/1=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_4/division_3_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_4:3/2=1";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(1)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_4/division_5_2.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_4:5/2=2";
3 | rankdir = LR;
4 | node [shape = circle, label="0", fontsize=12]0;
5 | node [shape = doublecircle, label="1", fontsize=12]1;
6 | node [shape = point ]; qi
7 | qi ->0;
8 | 0 -> 0[ label = "(0)"];
9 | 0 -> 1[ label = "(2)"];
10 | }
11 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_fib/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/NumberSystemUnitTestResults/msd_fib/.DS_Store
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_fib/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_fib:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_fib/division_0_1.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_fib:0/1=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_fib/division_0_14.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(b): msd_fib:0/14=0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_fib/equality.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): equality";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0,0)"];
8 | 0 -> 0[ label = "(1,1)"];
9 | }
10 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_trib/constant_0.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): msd_trib:0";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0)"];
8 | }
9 |
--------------------------------------------------------------------------------
/Test Results/NumberSystemUnitTestResults/msd_trib/equality.gv:
--------------------------------------------------------------------------------
1 | digraph G {
2 | label = "(): equality";
3 | rankdir = LR;
4 | node [shape = doublecircle, label="0", fontsize=12]0;
5 | node [shape = point ]; qi
6 | qi ->0;
7 | 0 -> 0[ label = "(0,0)"];
8 | 0 -> 0[ label = "(1,1)"];
9 | }
10 |
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton0.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton0.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton1.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton1.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton10.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton10.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton100.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton100.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton101.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton101.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton102.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton102.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton103.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton103.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton104.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton104.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton105.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton105.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton106.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton106.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton107.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton107.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton108.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton108.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton109.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton109.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton11.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton11.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton110.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton110.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton111.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton111.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton112.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton112.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton113.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton113.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton114.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton114.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton115.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton115.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton116.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton116.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton117.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton117.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton118.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton118.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton119.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton119.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton12.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton12.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton120.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton120.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton121.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton121.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton122.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton122.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton123.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton123.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton124.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton124.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton125.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton125.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton126.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton126.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton127.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton127.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton128.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton128.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton129.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton129.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton13.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton13.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton130.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton130.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton131.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton131.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton132.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton132.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton133.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton133.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton134.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton134.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton135.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton135.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton136.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton136.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton137.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton137.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton138.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton138.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton139.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton139.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton14.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton14.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton140.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton140.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton141.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton141.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton143.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton143.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton144.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton144.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton145.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton145.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton146.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton146.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton147.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton147.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton148.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton148.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton149.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton149.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton15.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton15.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton150.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton150.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton151.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton151.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton152.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton152.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton153.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton153.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton154.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton154.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton155.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton155.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton157.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton157.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton158.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton158.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton159.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton159.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton16.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton16.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton160.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton160.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton161.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton161.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton162.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton162.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton163.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton163.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton164.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton164.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton165.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton165.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton166.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton166.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton167.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton167.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton168.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton168.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton169.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton169.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton17.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton17.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton170.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton170.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton171.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton171.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton172.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton172.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton173.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton173.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton174.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton174.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton175.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton175.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton176.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton176.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton177.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton177.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton178.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton178.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton179.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton179.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton18.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton18.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton180.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton180.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton181.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton181.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton182.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton182.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton183.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton183.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton184.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton184.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton185.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton185.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton186.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton186.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton187.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton187.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton188.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton188.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton189.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton189.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton19.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton19.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton191.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton191.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton192.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton192.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton193.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton193.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton194.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton194.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton195.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton195.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton196.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton196.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton197.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton197.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton198.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton198.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton199.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton199.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton2.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton2.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton20.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton20.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton200.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton200.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton201.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton201.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton202.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton202.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton203.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton203.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton204.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton204.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton205.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton205.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton206.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton206.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton207.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton207.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton208.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton208.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton209.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton209.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton21.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton21.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton22.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton22.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton23.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton23.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton24.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton24.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton25.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton25.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton26.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton26.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton27.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton27.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton28.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton28.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton29.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton29.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton3.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton3.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton30.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton30.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton31.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton31.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton32.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton32.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton33.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton33.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton34.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton34.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton35.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton35.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton36.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton36.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton37.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton37.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton38.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton38.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton39.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton39.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton4.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton4.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton40.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton40.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton41.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton41.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton42.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton42.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton43.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton43.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton44.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton44.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton45.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton45.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton46.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton46.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton47.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton47.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton48.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton48.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton49.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton49.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton5.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton5.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton50.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton50.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton51.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton51.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton52.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton52.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton53.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton53.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton54.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton54.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton55.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton55.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton56.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton56.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton57.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton57.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton58.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton58.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton59.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton59.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton6.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton6.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton60.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton60.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton61.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton61.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton62.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton62.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton63.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton63.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton64.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton64.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton65.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton65.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton66.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton66.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton67.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton67.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton68.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton68.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton69.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton69.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton7.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton7.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton70.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton70.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton71.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton71.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton72.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton72.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton73.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton73.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton74.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton74.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton75.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton75.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton76.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton76.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton77.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton77.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton78.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton78.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton79.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton79.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton8.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton8.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton80.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton80.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton81.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton81.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton82.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton82.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton83.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton83.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton84.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton84.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton85.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton85.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton86.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton86.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton87.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton87.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton88.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton88.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton89.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton89.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton9.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton9.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton90.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton90.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton91.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton91.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton92.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton92.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton93.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton93.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton94.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton94.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton95.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton95.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton96.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton96.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton97.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton97.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton98.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton98.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/automaton99.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/automaton99.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/error142.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/error142.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/error156.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/error156.txt
--------------------------------------------------------------------------------
/Test Results/Old Integration Tests/error190.txt:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Test Results/Old Integration Tests/error190.txt
--------------------------------------------------------------------------------
/Word Automata Library/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/Word Automata Library/.DS_Store
--------------------------------------------------------------------------------
/Word Automata Library/F.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 |
3 | 0 0
4 | 0 -> 0
5 | 1 -> 1
6 |
7 | 1 1
8 | 0 -> 0
9 |
10 |
11 |
--------------------------------------------------------------------------------
/Word Automata Library/P.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 0
7 | 1 -> 2
8 | 2 1
9 | 0 -> 3
10 | 1 -> 2
11 | 3 1
12 | 0 -> 3
13 | 1 -> 1
14 |
--------------------------------------------------------------------------------
/Word Automata Library/PD.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 1
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 0
7 | 1 -> 0
8 |
--------------------------------------------------------------------------------
/Word Automata Library/PF.txt:
--------------------------------------------------------------------------------
1 | {-1,1} lsd_2
2 |
3 | 0 0
4 | * 0 -> 0
5 | 1 1 -> 1
6 | -1 1 -> 2
7 |
8 | 1 1
9 | * 1 -> 4
10 | * 0 -> 3
11 |
12 | 2 -1
13 | * 0 -> 4
14 | * 1 -> 3
15 |
16 | 3 1
17 | * * -> 3
18 |
19 | 4 -1
20 | * * -> 4
21 |
--------------------------------------------------------------------------------
/Word Automata Library/PR.txt:
--------------------------------------------------------------------------------
1 | lsd_2
2 | 0 0
3 | 0 -> 1
4 | 1 -> 0
5 | 1 0
6 | 0 -> 2
7 | 1 -> 3
8 | 2 0
9 | 0 -> 2
10 | 1 -> 2
11 | 3 1
12 | 0 -> 3
13 | 1 -> 3
14 |
--------------------------------------------------------------------------------
/Word Automata Library/R.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 |
3 | 0 0
4 | 1 -> 1
5 | 0 -> 0
6 |
7 | 1 0
8 | 0 -> 2
9 |
10 | 2 1
11 | 0 -> 3
12 | 1 -> 4
13 |
14 | 3 0
15 | 0 -> 5
16 | 1 -> 7
17 |
18 | 4 0
19 | 0 -> 3
20 |
21 | 5 1
22 | 1 -> 6
23 | 0 -> 2
24 |
25 | 6 1
26 | 0 -> 5
27 |
28 | 7 1
29 | 0 -> 0
30 |
31 |
32 |
33 |
--------------------------------------------------------------------------------
/Word Automata Library/RS.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 0
6 | 0 -> 0
7 | 1 -> 2
8 | 2 1
9 | 0 -> 3
10 | 1 -> 1
11 | 3 1
12 | 0 -> 3
13 | 1 -> 2
14 |
--------------------------------------------------------------------------------
/Word Automata Library/T.txt:
--------------------------------------------------------------------------------
1 | msd_2
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 1
7 | 1 -> 0
8 |
9 |
--------------------------------------------------------------------------------
/Word Automata Library/T2.txt:
--------------------------------------------------------------------------------
1 | msd_2 msd_2
2 | 0 1
3 | 0 0 -> 0
4 | 1 0 -> 1
5 | 0 1 -> 1
6 | 1 1 -> 0
7 | 1 0
8 | 0 0 -> 1
9 | 1 0 -> 0
10 | 0 1 -> 0
11 | 1 1 -> 1
12 |
--------------------------------------------------------------------------------
/Word Automata Library/TR.txt:
--------------------------------------------------------------------------------
1 | msd_trib
2 | 0 0
3 | 0 -> 0
4 | 1 -> 1
5 | 1 1
6 | 0 -> 0
7 | 1 -> 2
8 | 2 2
9 | 0 -> 0
10 |
--------------------------------------------------------------------------------
/Word Automata Library/V.txt:
--------------------------------------------------------------------------------
1 | msd_fib
2 |
3 | 0 0
4 | 1 -> 1
5 | 0 -> 0
6 |
7 | 1 1
8 | 0 -> 2
9 |
10 | 2 1
11 | 0 -> 2
12 | 1 -> 3
13 |
14 | 3 0
15 | 0 -> 0
16 |
17 |
18 |
19 |
--------------------------------------------------------------------------------
/Word Automata Library/ZC.txt:
--------------------------------------------------------------------------------
1 | msd_fib msd_fib
2 |
3 | 0 1
4 | 0 0 -> 0
5 | 1 0 -> 1
6 | 1 1 -> 2
7 |
8 | 1 0
9 | 0 0 -> 3
10 | 1 1 -> 1
11 | 0 1 -> 0
12 |
13 | 2 1
14 | 0 0 -> 4
15 | 1 0 -> 0
16 |
17 | 3 0
18 | 1 1 -> 5
19 | 0 1 -> 1
20 |
21 | 5 0
22 | 0 1 -> 3
23 |
24 | 4 0
25 | 1 0 -> 2
26 |
27 |
28 |
--------------------------------------------------------------------------------
/bin/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/.DS_Store
--------------------------------------------------------------------------------
/bin/.gitignore:
--------------------------------------------------------------------------------
1 | /.DS_Store
2 | /Automata/
3 | /Main/
4 | /Token/
5 | /dk/
6 |
--------------------------------------------------------------------------------
/bin/Automata/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/Automata/.DS_Store
--------------------------------------------------------------------------------
/bin/Main/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/Main/.DS_Store
--------------------------------------------------------------------------------
/bin/Token/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/Token/.DS_Store
--------------------------------------------------------------------------------
/bin/dk/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/bin/dk/.DS_Store
--------------------------------------------------------------------------------
/build.sh:
--------------------------------------------------------------------------------
1 | #!/bin/bash
2 |
3 | javac -d bin/ -cp src ./src/Automata/*.java
4 | javac -d bin/ -cp src ./src/dk/brics/automaton/*.java
5 | javac -d bin/ -cp src ./src/Token/*.java
6 | javac -d bin/ -cp src ./src/Main/*.java
7 |
--------------------------------------------------------------------------------
/src/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/.DS_Store
--------------------------------------------------------------------------------
/src/Automata/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/Automata/.DS_Store
--------------------------------------------------------------------------------
/src/Main/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/Main/.DS_Store
--------------------------------------------------------------------------------
/src/Token/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/Token/.DS_Store
--------------------------------------------------------------------------------
/src/dk/.DS_Store:
--------------------------------------------------------------------------------
https://raw.githubusercontent.com/hamousavi/Walnut/156e72c688b6f832d3e717742250034c660db455/src/dk/.DS_Store
--------------------------------------------------------------------------------