----------------------------------------
|context> => |context: matrix to network>

op |1> => |11: 1> + |12: 2> + |13: 3> + |14: 4> + |15: 5> + |16: 6>

is-1 |*> => |no>
no-1 |*> #=> how-many such-that[is-1] stored-p6 |_self>
is-2 |*> => |no>
no-2 |*> #=> how-many such-that[is-2] stored-p6 |_self>
is-3 |*> => |no>
no-3 |*> #=> how-many such-that[is-3] stored-p6 |_self>
is-4 |*> => |no>
no-4 |*> #=> how-many such-that[is-4] stored-p6 |_self>
is-5 |*> => |no>
no-5 |*> #=> how-many such-that[is-5] stored-p6 |_self>
is-6 |*> => |no>
no-6 |*> #=> how-many such-that[is-6] stored-p6 |_self>
is-7 |*> => |no>
no-7 |*> #=> how-many such-that[is-7] stored-p6 |_self>
is-8 |*> => |no>
no-8 |*> #=> how-many such-that[is-8] stored-p6 |_self>
is-9 |*> => |no>
no-9 |*> #=> how-many such-that[is-9] stored-p6 |_self>
is-10 |*> => |no>
no-10 |*> #=> how-many such-that[is-10] stored-p6 |_self>
is-11 |*> => |no>
no-11 |*> #=> how-many such-that[is-11] stored-p6 |_self>
is-12 |*> => |no>
no-12 |*> #=> how-many such-that[is-12] stored-p6 |_self>
is-13 |*> => |no>
no-13 |*> #=> how-many such-that[is-13] stored-p6 |_self>
is-14 |*> => |no>
no-14 |*> #=> how-many such-that[is-14] stored-p6 |_self>
is-15 |*> => |no>
no-15 |*> #=> how-many such-that[is-15] stored-p6 |_self>
is-16 |*> => |no>
no-16 |*> #=> how-many such-that[is-16] stored-p6 |_self>
is-17 |*> => |no>
no-17 |*> #=> how-many such-that[is-17] stored-p6 |_self>
is-18 |*> => |no>
no-18 |*> #=> how-many such-that[is-18] stored-p6 |_self>
is-19 |*> => |no>
no-19 |*> #=> how-many such-that[is-19] stored-p6 |_self>
is-20 |*> => |no>
no-20 |*> #=> how-many such-that[is-20] stored-p6 |_self>
is-21 |*> => |no>
no-21 |*> #=> how-many such-that[is-21] stored-p6 |_self>
is-22 |*> => |no>
no-22 |*> #=> how-many such-that[is-22] stored-p6 |_self>
is-23 |*> => |no>
no-23 |*> #=> how-many such-that[is-23] stored-p6 |_self>
is-24 |*> => |no>
no-24 |*> #=> how-many such-that[is-24] stored-p6 |_self>
is-25 |*> => |no>
no-25 |*> #=> how-many such-that[is-25] stored-p6 |_self>
stored-p6 |*> !=> path-op[op]^6 |_self>

is-1 |1: *> => |yes>

op |2> => |11: 7> + |12: 8> + |17: 9> + |18: 10> + |19: 11> + |20: 12>

is-2 |2: *> => |yes>

op |3> => |11: 13> + |13: 14> + |17: 15> + |21: 16> + |22: 17> + |23: 18>

is-3 |3: *> => |yes>

op |4> => |11: 19> + |14: 20> + |18: 21> + |21: 22> + |24: 23> + |25: 24>

is-4 |4: *> => |yes>

op |5> => |12: 25> + |13: 26> + |19: 27> + |22: 28> + |24: 29> + |25: 30>

is-5 |5: *> => |yes>

op |6> => |12: 31> + |15: 32> + |20: 33> + |21: 34> + |23: 35> + |24: 36>

is-6 |6: *> => |yes>

op |7> => |13: 37> + |16: 38> + |18: 39> + |20: 40> + |23: 41> + |25: 42>

is-7 |7: *> => |yes>

op |8> => |14: 43> + |15: 44> + |17: 45> + |19: 46> + |23: 47> + |25: 48>

is-8 |8: *> => |yes>

op |9> => |14: 49> + |16: 50> + |17: 51> + |20: 52> + |22: 53> + |24: 54>

is-9 |9: *> => |yes>

op |10> => |15: 55> + |16: 56> + |18: 57> + |19: 58> + |21: 59> + |22: 60>

is-10 |10: *> => |yes>

op |11> => |1: 61> + |2: 62> + |3: 63> + |4: 64>

is-11 |11: *> => |yes>

op |12> => |1: 65> + |2: 66> + |5: 67> + |6: 68>

is-12 |12: *> => |yes>

op |13> => |1: 69> + |3: 70> + |5: 71> + |7: 72>

is-13 |13: *> => |yes>

op |14> => |1: 73> + |4: 74> + |8: 75> + |9: 76>

is-14 |14: *> => |yes>

op |15> => |1: 77> + |6: 78> + |8: 79> + |10: 80>

is-15 |15: *> => |yes>

op |16> => |1: 81> + |7: 82> + |9: 83> + |10: 84>

is-16 |16: *> => |yes>

op |17> => |2: 85> + |3: 86> + |8: 87> + |9: 88>

is-17 |17: *> => |yes>

op |18> => |2: 89> + |4: 90> + |7: 91> + |10: 92>

is-18 |18: *> => |yes>

op |19> => |2: 93> + |5: 94> + |8: 95> + |10: 96>

is-19 |19: *> => |yes>

op |20> => |2: 97> + |6: 98> + |7: 99> + |9: 100>

is-20 |20: *> => |yes>

op |21> => |3: 101> + |4: 102> + |6: 103> + |10: 104>

is-21 |21: *> => |yes>

op |22> => |3: 105> + |5: 106> + |9: 107> + |10: 108>

is-22 |22: *> => |yes>

op |23> => |3: 109> + |6: 110> + |7: 111> + |8: 112>

is-23 |23: *> => |yes>

op |24> => |4: 113> + |5: 114> + |6: 115> + |9: 116>

is-24 |24: *> => |yes>

op |25> => |4: 117> + |5: 118> + |7: 119> + |8: 120>

is-25 |25: *> => |yes>
----------------------------------------