{"j":1,"init":1,"x0":1,"x1":1,"x2":1,"x3":1,"x4":1,"x5":3}
{"j":2,"init":1,"x0":1,"x1":1,"x2":1,"x3":3}
{"j":3,"init":2,"x0":2,"x1":3}
{"j":4,"init":2,"x0":1,"x1":2,"x2":1,"x3":1,"x4":1,"x5":3}
{"j":5,"init":1,"x0":1,"x1":1,"x2":1,"x3":1,"x4":2,"x5":3}
{"j":6,"init":1,"x0":1,"x1":1,"x2":1,"x3":3}
{"j":7,"init":1,"x0":1,"x1":2,"x2":1,"x3":1,"x4":3}
{"j":8,"init":2,"x0":1,"x1":2,"x2":3}
{"j":9,"init":1,"x0":1,"x1":1,"x2":1,"x3":1}
{"j":10,"init":2,"x0":2,"x1":3}
{"j":11,"init":2,"x0":2,"x1":3}
{"j":12,"init":1,"x0":1,"x1":1,"x2":1,"x3":3}
{"j":13,"init":2,"x0":2,"x1":3}
{"j":14,"init":2,"x0":1,"x1":1,"x2":1,"x3":3}
{"j":15,"init":2,"x0":2}
{"j":16,"init":2,"x0":2,"x1":3}
{"j":17,"init":1,"x0":1,"x1":1,"x2":1,"x3":3}
{"j":18,"init":2,"x0":2,"x1":2,"x2":3}
{"j":19,"init":1,"x0":1,"x1":3}
{"j":20,"init":1,"x0":1,"x1":2,"x2":2,"x3":2,"x4":3}
{"j":21,"init":2,"x0":2,"x1":3}
{"j":22,"init":2,"x0":1,"x1":1,"x2":1,"x3":1,"x4":1}
{"j":23,"init":2,"x0":2,"x1":3}
{"j":24,"init":1,"x0":1,"x1":2,"x2":4,"x3":3}
{"j":25,"init":1,"x0":1,"x1":1,"x2":1,"x3":1,"x4":3}
{"j":26,"init":2,"x0":2,"x1":2,"x2":2,"x3":2,"x4":3}
{"j":27,"init":2,"x0":1,"x1":2,"x2":2,"x3":2,"x4":3}
{"j":28,"init":2,"x0":1,"x1":1,"x2":1,"x3":1,"x4":3}
{"j":29,"init":2,"x0":1,"x1":2,"x2":2,"x3":3}
{"j":30,"init":2,"x0":1,"x1":1,"x2":2,"x3":3}
{"j":31,"init":2,"x0":1,"x1":2,"x2":2,"x3":2}
{"j":32,"init":1,"x0":1,"x1":1,"x2":2,"x3":2,"x4":3}
{"j":33,"init":2,"x0":1,"x1":2,"x2":2,"x3":3}
{"j":34,"init":1,"x0":1,"x1":1,"x2":1,"x3":3}
{"j":35,"init":1,"x0":1,"x1":1,"x2":3}
{"j":36,"init":2,"x0":2,"x1":3}
{"j":37,"init":2,"x0":2,"x1":3}