---------------------------------------- |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> ----------------------------------------