# nova .model /tmp/SISaaMmta.esp .start_kiss .symbolic input no_action 0_cents 0_cents 0 no_action 5_cents 5_cents 0 no_action 10_cents 10_cents 0 no_action 15_cents 15_cents 0 nickel 0_cents 5_cents 0 nickel 5_cents 10_cents 0 nickel 10_cents 15_cents 0 nickel 15_cents 15_cents 0 dime 0_cents 10_cents 0 dime 5_cents 15_cents 0 dime 10_cents 15_cents 0 dime 15_cents 15_cents 0 button_press 0_cents 0_cents 0 button_press 5_cents 0_cents 0 button_press 10_cents 0_cents 0 button_press 15_cents 0_cents 1 .end .end_kiss # # Prod.-terms of minimized MV cover = 11 # Prod.-terms of encoded cover = 7 # Pla area = 77 # # .start_codes .code no_action 00 .code nickel 11 .code dime 01 .code button_press 10 .code 0_cents 11 .code 5_cents 10 .code 10_cents 01 .code 15_cents 00 # .end_codes # # .start_network .inputs v0 v1 .outputs v4.2 .latch v4.0 v2 1 .latch v4.1 v3 1 .latch_order v2 v3 .names v0 v1 v2 v3 v4.0 10-- 1 -01- 1 1-11 1 .names v0 v1 v2 v3 v4.1 10-- 1 -0-1 1 0-11 1 1-10 1 .names v0 v1 v2 v3 v4.2 1000 1 # .end_network # # CPU time = 0.0 seconds