From 69f15263e9805e95b5fbc2f039377298945199db Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Thu, 16 Apr 2026 14:58:10 +0200 Subject: [PATCH 1/2] Adding stack shuffler loop bug --- .../ssa/stackShuffler/loop-fuzzer.stack | 1011 +++++++++++++++++ 1 file changed, 1011 insertions(+) create mode 100644 test/libyul/ssa/stackShuffler/loop-fuzzer.stack diff --git a/test/libyul/ssa/stackShuffler/loop-fuzzer.stack b/test/libyul/ssa/stackShuffler/loop-fuzzer.stack new file mode 100644 index 000000000000..4a18bdfbd682 --- /dev/null +++ b/test/libyul/ssa/stackShuffler/loop-fuzzer.stack @@ -0,0 +1,1011 @@ +initial: [v0, phi0, phi0, lit0, v0, v0] +targetStackTop: [phi0, v0, v0, JUNK, phi0] +targetStackTailSet: {v0} +targetStackSize: 7 +// ---- +// | 0 1 | 2 3 4 5 6 +// +-------------- +----------------------------------- +// (initial)| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 +// POP| v0 phi0 | phi0 lit0 v0 v0 +// +-------------- +----------------------------------- +// (target)| {v0} | phi0 v0 v0 * phi0 +// Status: MaxIterationsReached From 1c0badaa4970372623473b16a509bd33fc69b90c Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Thu, 16 Apr 2026 15:59:28 +0200 Subject: [PATCH 2/2] Fixing test --- .../ssa/stackShuffler/loop-fuzzer.stack | 972 +----------------- 1 file changed, 1 insertion(+), 971 deletions(-) diff --git a/test/libyul/ssa/stackShuffler/loop-fuzzer.stack b/test/libyul/ssa/stackShuffler/loop-fuzzer.stack index 4a18bdfbd682..49e6cf8192b8 100644 --- a/test/libyul/ssa/stackShuffler/loop-fuzzer.stack +++ b/test/libyul/ssa/stackShuffler/loop-fuzzer.stack @@ -35,977 +35,7 @@ targetStackSize: 7 // DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 // POP| v0 phi0 | phi0 lit0 v0 v0 // DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 -// DUP4| v0 phi0 | phi0 lit0 v0 v0 phi0 -// POP| v0 phi0 | phi0 lit0 v0 v0 +// ...| // +-------------- +----------------------------------- // (target)| {v0} | phi0 v0 v0 * phi0 // Status: MaxIterationsReached