#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ printf(char *);
void print_domain() {
  printf("(define (domain drive-unrolled)\n");
  printf("  (:requirements :typing :probabilistic-effects :conditional-effects "
         ":equality)\n");
  printf("  (:types coord direction color delay preference length rotation)\n");
  printf("  (:predicates\n");
  printf("    (heading ?d - direction)\n");
  printf("    (clockwise ?d1 ?d2 - direction)\n");
  printf("    (at ?x - coord ?y - coord)\n");
  printf("    (nextx ?a - coord ?b - coord ?h - direction)\n");
  printf("    (nexty ?a - coord ?b - coord ?h - direction)\n");
  printf("    (light_color ?c - color)\n");
  printf("    (light_delay ?x ?y - coord ?d - delay)\n");
  printf("    (light_preference ?x ?y - coord ?p - preference)\n");
  printf("    (road-length ?start-x ?start-y ?end-x ?end-y - coord ?l - "
         "length)\n");
  printf("    (alive)\n");
  printf("  )\n");
  printf("  (:constants\n");
  printf("    left right straight - rotation\n");
  printf("    north south east west - direction\n");
  printf("    green red unknown - color\n");
  printf("    quick normal slow - delay\n");
  printf("    north_south none east_west - preference\n");
  printf("    short medium long - length\n");
  printf("  )\n");
  printf("  (:action look_at_light_north\n");
  printf("    :parameters (?x - coord ?y - coord)\n");
  printf("    :precondition (and (light_color unknown) (at ?x ?y) (heading "
         "north))\n");
  printf("    :effect\n");
  printf("      (and (probabilistic\n");
  printf("             9/10 (when (light_preference ?x ?y north_south)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "green)))\n");
  printf("             1/10 (when (light_preference ?x ?y north_south)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "red))))\n");
  printf("           (probabilistic\n");
  printf("             1/10 (when (light_preference ?x ?y east_west)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "green)))\n");
  printf("             9/10 (when (light_preference ?x ?y east_west)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "red)))))\n");
  printf("  )\n");
  printf("  (:action look_at_light_south\n");
  printf("    :parameters (?x - coord ?y - coord)\n");
  printf("    :precondition (and (light_color unknown) (at ?x ?y) (heading "
         "south))\n");
  printf("    :effect\n");
  printf("      (and (probabilistic\n");
  printf("             9/10 (when (light_preference ?x ?y north_south)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "green)))\n");
  printf("             1/10 (when (light_preference ?x ?y north_south)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "red))))\n");
  printf("           (probabilistic\n");
  printf("             1/10 (when (light_preference ?x ?y east_west)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "green)))\n");
  printf("             9/10 (when (light_preference ?x ?y east_west)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "red)))))\n");
  printf("  )\n");
  printf("  (:action look_at_light_east\n");
  printf("    :parameters (?x - coord ?y - coord)\n");
  printf("    :precondition (and (light_color unknown) (at ?x ?y) (heading "
         "east))\n");
  printf("    :effect\n");
  printf("      (and (probabilistic\n");
  printf("             1/10 (when (light_preference ?x ?y north_south)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "green)))\n");
  printf("             9/10 (when (light_preference ?x ?y north_south)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "red))))\n");
  printf("           (probabilistic\n");
  printf("             9/10 (when (light_preference ?x ?y east_west)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "green)))\n");
  printf("             1/10 (when (light_preference ?x ?y east_west)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "red)))))\n");
  printf("  )\n");
  printf("  (:action look_at_light_west\n");
  printf("    :parameters (?x - coord ?y - coord)\n");
  printf("    :precondition (and (light_color unknown) (at ?x ?y) (heading "
         "west))\n");
  printf("    :effect\n");
  printf("      (and (probabilistic\n");
  printf("             1/10 (when (light_preference ?x ?y north_south)\n");
  printf("                    (and (not (light_color unknown)) (light_color "
         "green)))\n");
  printf("             9/10 (when (light_preference ?x ?y north_south)\n");
  printf("                    (and (not (light_color unknown))(light_color "
         "red))))\n");
  printf("           (probabilistic\n");
  printf("             9/10 (when (light_preference ?x ?y east_west)\n");
  printf("                    (and (not (light_color unknown))(light_color "
         "green)))\n");
  printf("             1/10 (when (light_preference ?x ?y east_west)\n");
  printf("                    (and (not (light_color unknown))(light_color "
         "red)))))\n");
  printf("  )\n");
  printf("  (:action look_at_light_none\n");
  printf("    :parameters (?x - coord ?y - coord)\n");
  printf("    :precondition (and (light_color unknown) (at ?x ?y) "
         "(light_preference ?x ?y none))\n");
  printf("    :effect\n");
  printf("      (and (probabilistic\n");
  printf("             1/2 (and (not (light_color unknown)) (light_color "
         "green))\n");
  printf("             1/2 (and (not (light_color unknown)) (light_color "
         "red))))\n");
  printf("  )\n");
  printf("  (:action wait_on_light\n");
  printf("    :parameters (?x - coord ?y - coord)\n");
  printf("    :precondition (and (light_color red) (at ?x ?y))\n");
  printf("    :effect (and (probabilistic 1/100 (not (alive)))\n");
  printf("                 (probabilistic\n");
  printf("                   1/2 (when (light_delay ?x ?y quick)\n");
  printf("                         (and (not (light_color red)) (light_color "
         "green))))\n");
  printf("                 (probabilistic\n");
  printf("                   1/5 (when (light_delay ?x ?y normal)\n");
  printf("                         (and (not (light_color red))(light_color "
         "green))))\n");
  printf("                 (probabilistic\n");
  printf("                   1/10 (when (light_delay ?x ?y slow)\n");
  printf("                         (and (not (light_color red))(light_color "
         "green))))\n");
  printf("            )\n");
  printf("  )\n");
  printf("  (:action proceed-right\n");
  printf("    :parameters (?x ?y ?new-x ?new-y - coord ?old-heading "
         "?new-heading - direction ?length - length)\n");
  printf("    :precondition (and (light_color green) (at ?x ?y) (heading "
         "?old-heading) (clockwise ?old-heading ?new-heading) (nextx ?x ?new-x "
         "?new-heading) (nexty ?y ?new-y ?new-heading) (road-length ?x ?y "
         "?new-x ?new-y ?length))\n");
  printf("    :effect (and (not (light_color green))\n");
  printf("                 (light_color unknown)\n");
  printf("                 (probabilistic 1/50 (when (= ?length short) (not "
         "(alive))))\n");
  printf("                 (probabilistic 1/20 (when (= ?length medium) (not "
         "(alive))))\n");
  printf("                 (probabilistic 1/10 (when (= ?length long) (not "
         "(alive))))\n");
  printf("                 (not (heading ?old-heading))\n");
  printf("                 (heading ?new-heading)\n");
  printf("                 (not (at ?x ?y))\n");
  printf("                 (at ?new-x ?new-y))\n");
  printf("  )\n");
  printf("  (:action proceed-left\n");
  printf("    :parameters (?x ?y ?new-x ?new-y - coord ?old-heading "
         "?new-heading - direction ?length - length)\n");
  printf("    :precondition (and (light_color green) (at ?x ?y) (heading "
         "?old-heading) (clockwise ?new-heading ?old-heading) (nextx ?x ?new-x "
         "?new-heading) (nexty ?y ?new-y ?new-heading) (road-length ?x ?y "
         "?new-x ?new-y ?length))\n");
  printf("    :effect (and (not (light_color green))\n");
  printf("                 (light_color unknown)\n");
  printf("                 (probabilistic 1/50 (when (= ?length short) (not "
         "(alive))))\n");
  printf("                 (probabilistic 1/20 (when (= ?length medium) (not "
         "(alive))))\n");
  printf("                 (probabilistic 1/10 (when (= ?length long) (not "
         "(alive))))\n");
  printf("                 (not (heading ?old-heading))\n");
  printf("                 (heading ?new-heading)\n");
  printf("                 (not (at ?x ?y))\n");
  printf("                 (at ?new-x ?new-y))\n");
  printf("  )\n");
  printf("  (:action proceed-straight\n");
  printf("    :parameters (?x ?y ?new-x ?new-y - coord ?heading - direction "
         "?length - length)\n");
  printf("    :precondition (and (light_color green) (at ?x ?y) (heading "
         "?heading) (nextx ?x ?new-x ?heading) (nexty ?y ?new-y ?heading) "
         "(road-length ?x ?y ?new-x ?new-y ?length))\n");
  printf("    :effect (and (not (light_color green))\n");
  printf("                 (light_color unknown)\n");
  printf("                 (probabilistic 1/50 (when (= ?length short) (not "
         "(alive))))\n");
  printf("                 (probabilistic 1/20 (when (= ?length medium) (not "
         "(alive))))\n");
  printf("                 (probabilistic 1/10 (when (= ?length long) (not "
         "(alive))))\n");
  printf("                 (not (at ?x ?y))\n");
  printf("                 (at ?new-x ?new-y))\n");
  printf("  )\n");
  printf(")\n");
}


x86 assembly (clang, -O0):
<print_domain>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
call   1030 <printf@plt>
lea    0xefa(%rip),%rdi
call   1030 <printf@plt>
lea    0xf3f(%rip),%rdi
call   1030 <printf@plt>
lea    0xf76(%rip),%rdi
call   1030 <printf@plt>
lea    0xf7a(%rip),%rdi
call   1030 <printf@plt>
lea    0xf8c(%rip),%rdi
call   1030 <printf@plt>
lea    0xfa5(%rip),%rdi
call   1030 <printf@plt>
lea    0xfb9(%rip),%rdi
call   1030 <printf@plt>
lea    0xfdf(%rip),%rdi
call   1030 <printf@plt>
lea    0x1005(%rip),%rdi
call   1030 <printf@plt>
lea    0x1017(%rip),%rdi
call   1030 <printf@plt>
lea    0x1037(%rip),%rdi
call   1030 <printf@plt>
lea    0x1061(%rip),%rdi
call   1030 <printf@plt>
lea    0x109c(%rip),%rdi
call   1030 <printf@plt>
lea    0x192a(%rip),%rdi
call   1030 <printf@plt>
lea    0x1091(%rip),%rdi
call   1030 <printf@plt>
lea    0x1094(%rip),%rdi
call   1030 <printf@plt>
lea    0x10ac(%rip),%rdi
call   1030 <printf@plt>
lea    0x10c7(%rip),%rdi
call   1030 <printf@plt>
lea    0x10da(%rip),%rdi
call   1030 <printf@plt>
lea    0x10ed(%rip),%rdi
call   1030 <printf@plt>
lea    0x110e(%rip),%rdi
call   1030 <printf@plt>
lea    0x18ca(%rip),%rdi
call   1030 <printf@plt>
lea    0x1116(%rip),%rdi
call   1030 <printf@plt>
lea    0x112a(%rip),%rdi
call   1030 <printf@plt>
lea    0x1147(%rip),%rdi
call   1030 <printf@plt>
lea    0x1185(%rip),%rdi
call   1030 <printf@plt>
lea    0x1186(%rip),%rdi
call   1030 <printf@plt>
lea    0x1195(%rip),%rdi
call   1030 <printf@plt>
lea    0x11c7(%rip),%rdi
call   1030 <printf@plt>
lea    0x1207(%rip),%rdi
call   1030 <printf@plt>
lea    0x1239(%rip),%rdi
call   1030 <printf@plt>
lea    0x16e9(%rip),%rdi
call   1030 <printf@plt>
lea    0x126c(%rip),%rdi
call   1030 <printf@plt>
lea    0x118b(%rip),%rdi
call   1030 <printf@plt>
lea    0x1290(%rip),%rdi
call   1030 <printf@plt>
lea    0x12c0(%rip),%rdi
call   1030 <printf@plt>
lea    0x1816(%rip),%rdi
call   1030 <printf@plt>
lea    0x12f4(%rip),%rdi
call   1030 <printf@plt>
lea    0x1076(%rip),%rdi
call   1030 <printf@plt>
lea    0x12fc(%rip),%rdi
call   1030 <printf@plt>
lea    0x10d1(%rip),%rdi
call   1030 <printf@plt>
lea    0x10d2(%rip),%rdi
call   1030 <printf@plt>
lea    0x10e1(%rip),%rdi
call   1030 <printf@plt>
lea    0x1113(%rip),%rdi
call   1030 <printf@plt>
lea    0x1153(%rip),%rdi
call   1030 <printf@plt>
lea    0x1185(%rip),%rdi
call   1030 <printf@plt>
lea    0x1635(%rip),%rdi
call   1030 <printf@plt>
lea    0x11b8(%rip),%rdi
call   1030 <printf@plt>
lea    0x10d7(%rip),%rdi
call   1030 <printf@plt>
lea    0x11dc(%rip),%rdi
call   1030 <printf@plt>
lea    0x120c(%rip),%rdi
call   1030 <printf@plt>
lea    0x1762(%rip),%rdi
call   1030 <printf@plt>
lea    0x12aa(%rip),%rdi
call   1030 <printf@plt>
lea    0xfc2(%rip),%rdi
call   1030 <printf@plt>
lea    0x12b1(%rip),%rdi
call   1030 <printf@plt>
lea    0x101d(%rip),%rdi
call   1030 <printf@plt>
lea    0x101e(%rip),%rdi
call   1030 <printf@plt>
lea    0x10b7(%rip),%rdi
call   1030 <printf@plt>
lea    0x105f(%rip),%rdi
call   1030 <printf@plt>
lea    0x1015(%rip),%rdi
call   1030 <printf@plt>
lea    0x10d1(%rip),%rdi
call   1030 <printf@plt>
lea    0x1581(%rip),%rdi
call   1030 <printf@plt>
lea    0x1140(%rip),%rdi
call   1030 <printf@plt>
lea    0x1023(%rip),%rdi
call   1030 <printf@plt>
lea    0x10ec(%rip),%rdi
call   1030 <printf@plt>
lea    0x1158(%rip),%rdi
call   1030 <printf@plt>
lea    0x16ae(%rip),%rdi
call   1030 <printf@plt>
lea    0x125e(%rip),%rdi
call   1030 <printf@plt>
lea    0xf0e(%rip),%rdi
call   1030 <printf@plt>
lea    0x1265(%rip),%rdi
call   1030 <printf@plt>
lea    0xf69(%rip),%rdi
call   1030 <printf@plt>
lea    0xf6a(%rip),%rdi
call   1030 <printf@plt>
lea    0x1003(%rip),%rdi
call   1030 <printf@plt>
lea    0xfab(%rip),%rdi
call   1030 <printf@plt>
lea    0xf61(%rip),%rdi
call   1030 <printf@plt>
lea    0x1266(%rip),%rdi
call   1030 <printf@plt>
lea    0x14cd(%rip),%rdi
call   1030 <printf@plt>
lea    0x108c(%rip),%rdi
call   1030 <printf@plt>
lea    0x128c(%rip),%rdi
call   1030 <printf@plt>
lea    0x1038(%rip),%rdi
call   1030 <printf@plt>
lea    0x12bf(%rip),%rdi
call   1030 <printf@plt>
lea    0x15fa(%rip),%rdi
call   1030 <printf@plt>
lea    0x12f2(%rip),%rdi
call   1030 <printf@plt>
lea    0xe5a(%rip),%rdi
call   1030 <printf@plt>
lea    0x12f9(%rip),%rdi
call   1030 <printf@plt>
lea    0xeb5(%rip),%rdi
call   1030 <printf@plt>
lea    0xeb6(%rip),%rdi
call   1030 <printf@plt>
lea    0x132d(%rip),%rdi
call   1030 <printf@plt>
lea    0x1369(%rip),%rdi
call   1030 <printf@plt>
lea    0x159a(%rip),%rdi
call   1030 <printf@plt>
lea    0x1399(%rip),%rdi
call   1030 <printf@plt>
lea    0xdfa(%rip),%rdi
call   1030 <printf@plt>
lea    0x139b(%rip),%rdi
call   1030 <printf@plt>
lea    0x13c5(%rip),%rdi
call   1030 <printf@plt>
lea    0x13ef(%rip),%rdi
call   1030 <printf@plt>
lea    0x1404(%rip),%rdi
call   1030 <printf@plt>
lea    0x1430(%rip),%rdi
call   1030 <printf@plt>
lea    0x13cb(%rip),%rdi
call   1030 <printf@plt>
lea    0x1466(%rip),%rdi
call   1030 <printf@plt>
lea    0x1493(%rip),%rdi
call   1030 <printf@plt>
lea    0x13a7(%rip),%rdi
call   1030 <printf@plt>
lea    0x14c8(%rip),%rdi
call   1030 <printf@plt>
lea    0x146f(%rip),%rdi
call   1030 <printf@plt>
lea    0x14e8(%rip),%rdi
call   1030 <printf@plt>
lea    0x14e6(%rip),%rdi
call   1030 <printf@plt>
lea    0x14df(%rip),%rdi
call   1030 <printf@plt>
lea    0x14ed(%rip),%rdi
call   1030 <printf@plt>
lea    0x1547(%rip),%rdi
call   1030 <printf@plt>
lea    0x1618(%rip),%rdi
call   1030 <printf@plt>
lea    0x1638(%rip),%rdi
call   1030 <printf@plt>
lea    0x1654(%rip),%rdi
call   1030 <printf@plt>
lea    0x1696(%rip),%rdi
call   1030 <printf@plt>
lea    0x16d9(%rip),%rdi
call   1030 <printf@plt>
lea    0x171a(%rip),%rdi
call   1030 <printf@plt>
lea    0x173d(%rip),%rdi
call   1030 <printf@plt>
lea    0x175a(%rip),%rdi
call   1030 <printf@plt>
lea    0x1771(%rip),%rdi
call   1030 <printf@plt>
lea    0x144a(%rip),%rdi
call   1030 <printf@plt>
lea    0x177f(%rip),%rdi
call   1030 <printf@plt>
lea    0x1451(%rip),%rdi
call   1030 <printf@plt>
lea    0x1780(%rip),%rdi
call   1030 <printf@plt>
lea    0x157c(%rip),%rdi
call   1030 <printf@plt>
lea    0x159c(%rip),%rdi
call   1030 <printf@plt>
lea    0x15b8(%rip),%rdi
call   1030 <printf@plt>
lea    0x15fa(%rip),%rdi
call   1030 <printf@plt>
lea    0x163d(%rip),%rdi
call   1030 <printf@plt>
lea    0x167e(%rip),%rdi
call   1030 <printf@plt>
lea    0x16a1(%rip),%rdi
call   1030 <printf@plt>
lea    0x16be(%rip),%rdi
call   1030 <printf@plt>
lea    0x16d5(%rip),%rdi
call   1030 <printf@plt>
lea    0x13ae(%rip),%rdi
call   1030 <printf@plt>
lea    0x17d9(%rip),%rdi
call   1030 <printf@plt>
lea    0x17ea(%rip),%rdi
call   1030 <printf@plt>
lea    0x1833(%rip),%rdi
call   1030 <printf@plt>
lea    0x14e0(%rip),%rdi
call   1030 <printf@plt>
lea    0x1500(%rip),%rdi
call   1030 <printf@plt>
lea    0x151c(%rip),%rdi
call   1030 <printf@plt>
lea    0x155e(%rip),%rdi
call   1030 <printf@plt>
lea    0x15a1(%rip),%rdi
call   1030 <printf@plt>
lea    0x163a(%rip),%rdi
call   1030 <printf@plt>
lea    0x1651(%rip),%rdi
call   1030 <printf@plt>
lea    0x132a(%rip),%rdi
call   1030 <printf@plt>
lea    0x1320(%rip),%rdi
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<print_domain>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
lea    0xede(%rip),%rdi
call   1030 <puts@plt>
lea    0xef2(%rip),%rdi
call   1030 <puts@plt>
lea    0xf36(%rip),%rdi
call   1030 <puts@plt>
lea    0xf6c(%rip),%rdi
call   1030 <puts@plt>
lea    0xf6f(%rip),%rdi
call   1030 <puts@plt>
lea    0xf80(%rip),%rdi
call   1030 <puts@plt>
lea    0xf98(%rip),%rdi
call   1030 <puts@plt>
lea    0xfab(%rip),%rdi
call   1030 <puts@plt>
lea    0xfd0(%rip),%rdi
call   1030 <puts@plt>
lea    0xff5(%rip),%rdi
call   1030 <puts@plt>
lea    0x1006(%rip),%rdi
call   1030 <puts@plt>
lea    0x1025(%rip),%rdi
call   1030 <puts@plt>
lea    0x104e(%rip),%rdi
call   1030 <puts@plt>
lea    0x1088(%rip),%rdi
call   1030 <puts@plt>
lea    0x18ec(%rip),%r12
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0x1079(%rip),%rdi
call   1030 <puts@plt>
lea    0x107b(%rip),%rdi
call   1030 <puts@plt>
lea    0x1092(%rip),%rdi
call   1030 <puts@plt>
lea    0x10ac(%rip),%rdi
call   1030 <puts@plt>
lea    0x10be(%rip),%rdi
call   1030 <puts@plt>
lea    0x10d0(%rip),%rdi
call   1030 <puts@plt>
lea    0x10f0(%rip),%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0x10fb(%rip),%rdi
call   1030 <puts@plt>
lea    0x167a(%rip),%r13
mov    %r13,%rdi
call   1030 <puts@plt>
lea    0x10ff(%rip),%rdi
call   1030 <puts@plt>
lea    0x1592(%rip),%rbp
mov    %rbp,%rdi
call   1030 <puts@plt>
lea    0x158f(%rip),%rbx
mov    %rbx,%rdi
call   1030 <puts@plt>
lea    0x136f(%rip),%rdi
call   1030 <puts@plt>
lea    0x1318(%rip),%r14
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0x12cc(%rip),%rdi
call   1030 <puts@plt>
lea    0x11c5(%rip),%rdi
call   1030 <puts@plt>
lea    0x1762(%rip),%rdi
call   1030 <puts@plt>
lea    0x143b(%rip),%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0x13a2(%rip),%rdi
call   1030 <puts@plt>
lea    0x11d7(%rip),%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0x10ab(%rip),%rdi
call   1030 <puts@plt>
mov    %r13,%rdi
call   1030 <puts@plt>
lea    0x10b6(%rip),%rdi
call   1030 <puts@plt>
mov    %rbp,%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1030 <puts@plt>
lea    0x12cc(%rip),%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0x1230(%rip),%rdi
mov    %rdi,%rbx
call   1030 <puts@plt>
lea    0x1126(%rip),%rdi
call   1030 <puts@plt>
lea    0x16c3(%rip),%rdi
mov    %rdi,%r13
call   1030 <puts@plt>
lea    0x1399(%rip),%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0x1300(%rip),%rdi
mov    %rdi,%r15
call   1030 <puts@plt>
lea    0x1132(%rip),%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0x106e(%rip),%rdi
call   1030 <puts@plt>
lea    0x151d(%rip),%rdi
call   1030 <puts@plt>
lea    0x1074(%rip),%rdi
call   1030 <puts@plt>
mov    %rbp,%rdi
call   1030 <puts@plt>
lea    0x143c(%rip),%rdi
mov    %rdi,%rbp
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0x120c(%rip),%rdi
call   1030 <puts@plt>
lea    0x107d(%rip),%rdi
call   1030 <puts@plt>
mov    %r13,%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
mov    %r15,%rbx
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0x12e4(%rip),%rdi
call   1030 <puts@plt>
lea    0x1094(%rip),%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0x10cb(%rip),%rdi
call   1030 <puts@plt>
lea    0x147f(%rip),%rdi
mov    %rdi,%r15
call   1030 <puts@plt>
lea    0x10ce(%rip),%rdi
call   1030 <puts@plt>
lea    0x1397(%rip),%rdi
call   1030 <puts@plt>
mov    %rbp,%rdi
call   1030 <puts@plt>
lea    0x10f6(%rip),%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0x116a(%rip),%rdi
call   1030 <puts@plt>
lea    0x119b(%rip),%rdi
call   1030 <puts@plt>
mov    %r13,%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1030 <puts@plt>
lea    0x1203(%rip),%rdi
call   1030 <puts@plt>
lea    0x1241(%rip),%rdi
call   1030 <puts@plt>
lea    0x1270(%rip),%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0x12a6(%rip),%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
call   1030 <puts@plt>
lea    0x12b0(%rip),%rdi
call   1030 <puts@plt>
lea    0x12fb(%rip),%rdi
call   1030 <puts@plt>
mov    %rbp,%rdi
call   1030 <puts@plt>
lea    0x130d(%rip),%rdi
call   1030 <puts@plt>
lea    0x1348(%rip),%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0x137b(%rip),%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
call   1030 <puts@plt>
lea    0x13a8(%rip),%rdi
call   1030 <puts@plt>
lea    0x13d1(%rip),%rdi
call   1030 <puts@plt>
lea    0x14b6(%rip),%rbx
mov    %rbx,%rdi
call   1030 <puts@plt>
lea    0x13eb(%rip),%rdi
call   1030 <puts@plt>
lea    0x1416(%rip),%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1030 <puts@plt>
lea    0x144f(%rip),%rdi
call   1030 <puts@plt>
lea    0x14d2(%rip),%rbp
mov    %rbp,%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1030 <puts@plt>
lea    0x1484(%rip),%rdi
call   1030 <puts@plt>
mov    %rbp,%rdi
call   1030 <puts@plt>
lea    0x14f3(%rip),%rdi
call   1030 <puts@plt>
mov    %r12,%rbx
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0x14ea(%rip),%rdi
call   1030 <puts@plt>
lea    0x15eb(%rip),%rdi
call   1030 <puts@plt>
lea    0x14eb(%rip),%rdi
call   1030 <puts@plt>
lea    0x1884(%rip),%rdi
call   1030 <puts@plt>
lea    0x18a3(%rip),%rdi
call   1030 <puts@plt>
lea    0x18be(%rip),%rdi
call   1030 <puts@plt>
lea    0x18ff(%rip),%rdi
call   1030 <puts@plt>
lea    0x1941(%rip),%r14
mov    %r14,%rdi
call   1030 <puts@plt>
lea    0x16d5(%rip),%r12
mov    %r12,%rdi
call   1030 <puts@plt>
lea    0x16f4(%rip),%r13
mov    %r13,%rdi
call   1030 <puts@plt>
lea    0x1960(%rip),%r15
mov    %r15,%rdi
call   1030 <puts@plt>
lea    0x1973(%rip),%rbp
mov    %rbp,%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1030 <puts@plt>
lea    0x1538(%rip),%rdi
call   1030 <puts@plt>
lea    0x1544(%rip),%rdi
call   1030 <puts@plt>
lea    0x159d(%rip),%rdi
call   1030 <puts@plt>
lea    0x17dd(%rip),%rdi
call   1030 <puts@plt>
lea    0x17fc(%rip),%rdi
call   1030 <puts@plt>
lea    0x1817(%rip),%rdi
call   1030 <puts@plt>
lea    0x1858(%rip),%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
mov    %r12,%rdi
call   1030 <puts@plt>
mov    %r13,%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
call   1030 <puts@plt>
mov    %rbp,%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1030 <puts@plt>
lea    0x1663(%rip),%rdi
call   1030 <puts@plt>
lea    0x1673(%rip),%rdi
call   1030 <puts@plt>
lea    0x16bb(%rip),%rdi
call   1030 <puts@plt>
lea    0x1759(%rip),%rdi
call   1030 <puts@plt>
lea    0x1778(%rip),%rdi
call   1030 <puts@plt>
lea    0x1793(%rip),%rdi
call   1030 <puts@plt>
lea    0x17d4(%rip),%rdi
call   1030 <puts@plt>
mov    %r14,%rdi
call   1030 <puts@plt>
mov    %r15,%rdi
call   1030 <puts@plt>
mov    %rbp,%rdi
call   1030 <puts@plt>
mov    %rbx,%rdi
call   1030 <puts@plt>
lea    0x1349(%rip),%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [33 x i8] c"(define (domain drive-unrolled)\0A\00"
@.str.1 = [81 x i8] c" (:requirements :typing :probabilistic-effects :conditional-effects :equality)\0A\00"
@.str.2 = [67 x i8] c" (:types coord direction color delay preference length rotation)\0A\00"
@.str.3 = [16 x i8] c" (:predicates\0A\00"
@.str.4 = [30 x i8] c" (heading ?d - direction)\0A\00"
@.str.5 = [37 x i8] c" (clockwise ?d1 ?d2 - direction)\0A\00"
@.str.6 = [32 x i8] c" (at ?x - coord ?y - coord)\0A\00"
@.str.7 = [50 x i8] c" (nextx ?a - coord ?b - coord ?h - direction)\0A\00"
@.str.8 = [50 x i8] c" (nexty ?a - coord ?b - coord ?h - direction)\0A\00"
@.str.9 = [30 x i8] c" (light_color ?c - color)\0A\00"
@.str.10 = [44 x i8] c" (light_delay ?x ?y - coord ?d - delay)\0A\00"
@.str.11 = [54 x i8] c" (light_preference ?x ?y - coord ?p - preference)\0A\00"
@.str.12 = [71 x i8] c" (road-length ?start-x ?start-y ?end-x ?end-y - coord ?l - length)\0A\00"
@.str.13 = [13 x i8] c" (alive)\0A\00"
@.str.14 = [5 x i8] c" )\0A\00"
@.str.15 = [15 x i8] c" (:constants\0A\00"
@.str.16 = [36 x i8] c" left right straight - rotation\0A\00"
@.str.17 = [39 x i8] c" north south east west - direction\0A\00"
@.str.18 = [31 x i8] c" green red unknown - color\0A\00"
@.str.19 = [31 x i8] c" quick normal slow - delay\0A\00"
@.str.20 = [45 x i8] c" north_south none east_west - preference\0A\00"
@.str.21 = [32 x i8] c" short medium long - length\0A\00"
@.str.22 = [32 x i8] c" (:action look_at_light_north\0A\00"
@.str.23 = [41 x i8] c" :parameters (?x - coord ?y - coord)\0A\00"
@.str.24 = [74 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (heading north))\0A\00"
@.str.25 = [13 x i8] c" :effect\0A\00"
@.str.26 = [27 x i8] c" (and (probabilistic\0A\00"
@.str.27 = [62 x i8] c" 9/10 (when (light_preference ?x ?y north_south)\0A\00"
@.str.28 = [76 x i8] c" (and (not (light_color unknown)) (light_color green)))\0A\00"
@.str.29 = [62 x i8] c" 1/10 (when (light_preference ?x ?y north_south)\0A\00"
@.str.30 = [75 x i8] c" (and (not (light_color unknown)) (light_color red))))\0A\00"
@.str.31 = [27 x i8] c" (probabilistic\0A\00"
@.str.32 = [60 x i8] c" 1/10 (when (light_preference ?x ?y east_west)\0A\00"
@.str.33 = [60 x i8] c" 9/10 (when (light_preference ?x ?y east_west)\0A\00"
@.str.34 = [76 x i8] c" (and (not (light_color unknown)) (light_color red)))))\0A\00"
@.str.35 = [32 x i8] c" (:action look_at_light_south\0A\00"
@.str.36 = [74 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (heading south))\0A\00"
@.str.37 = [31 x i8] c" (:action look_at_light_east\0A\00"
@.str.38 = [73 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (heading east))\0A\00"
@.str.39 = [31 x i8] c" (:action look_at_light_west\0A\00"
@.str.40 = [73 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (heading west))\0A\00"
@.str.41 = [74 x i8] c" (and (not (light_color unknown))(light_color red))))\0A\00"
@.str.42 = [75 x i8] c" (and (not (light_color unknown))(light_color green)))\0A\00"
@.str.43 = [75 x i8] c" (and (not (light_color unknown))(light_color red)))))\0A\00"
@.str.44 = [31 x i8] c" (:action look_at_light_none\0A\00"
@.str.45 = [88 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (light_preference ?x ?y none))\0A\00"
@.str.46 = [72 x i8] c" 1/2 (and (not (light_color unknown)) (light_color green))\0A\00"
@.str.47 = [72 x i8] c" 1/2 (and (not (light_color unknown)) (light_color red))))\0A\00"
@.str.48 = [26 x i8] c" (:action wait_on_light\0A\00"
@.str.49 = [54 x i8] c" :precondition (and (light_color red) (at ?x ?y))\0A\00"
@.str.50 = [54 x i8] c" :effect (and (probabilistic 1/100 (not (alive)))\0A\00"
@.str.51 = [33 x i8] c" (probabilistic\0A\00"
@.str.52 = [56 x i8] c" 1/2 (when (light_delay ?x ?y quick)\0A\00"
@.str.53 = [78 x i8] c" (and (not (light_color red)) (light_color green))))\0A\00"
@.str.54 = [57 x i8] c" 1/5 (when (light_delay ?x ?y normal)\0A\00"
@.str.55 = [77 x i8] c" (and (not (light_color red))(light_color green))))\0A\00"
@.str.56 = [56 x i8] c" 1/10 (when (light_delay ?x ?y slow)\0A\00"
@.str.57 = [15 x i8] c" )\0A\00"
@.str.58 = [26 x i8] c" (:action proceed-right\0A\00"
@.str.59 = [102 x i8] c" :parameters (?x ?y ?new-x ?new-y - coord ?old-heading ?new-heading - direction ?length - length)\0A\00"
@.str.60 = [221 x i8] c" :precondition (and (light_color green) (at ?x ?y) (heading ?old-heading) (clockwise ?old-heading ?new-heading) (nextx ?x ?new-x ?new-heading) (nexty ?y ?new-y ?new-heading) (road-length ?x ?y ?new-x ?new-y ?length))\0A\00"
@.str.61 = [44 x i8] c" :effect (and (not (light_color green))\0A\00"
@.str.62 = [40 x i8] c" (light_color unknown)\0A\00"
@.str.63 = [78 x i8] c" (probabilistic 1/50 (when (= ?length short) (not (alive))))\0A\00"
@.str.64 = [79 x i8] c" (probabilistic 1/20 (when (= ?length medium) (not (alive))))\0A\00"
@.str.65 = [77 x i8] c" (probabilistic 1/10 (when (= ?length long) (not (alive))))\0A\00"
@.str.66 = [47 x i8] c" (not (heading ?old-heading))\0A\00"
@.str.67 = [41 x i8] c" (heading ?new-heading)\0A\00"
@.str.68 = [35 x i8] c" (not (at ?x ?y))\0A\00"
@.str.69 = [38 x i8] c" (at ?new-x ?new-y))\0A\00"
@.str.70 = [25 x i8] c" (:action proceed-left\0A\00"
@.str.71 = [221 x i8] c" :precondition (and (light_color green) (at ?x ?y) (heading ?old-heading) (clockwise ?new-heading ?old-heading) (nextx ?x ?new-x ?new-heading) (nexty ?y ?new-y ?new-heading) (road-length ?x ?y ?new-x ?new-y ?length))\0A\00"
@.str.72 = [29 x i8] c" (:action proceed-straight\0A\00"
@.str.73 = [85 x i8] c" :parameters (?x ?y ?new-x ?new-y - coord ?heading - direction ?length - length)\0A\00"
@.str.74 = [171 x i8] c" :precondition (and (light_color green) (at ?x ?y) (heading ?heading) (nextx ?x ?new-x ?heading) (nexty ?y ?new-y ?heading) (road-length ?x ?y ?new-x ?new-y ?length))\0A\00"
@.str.75 = [3 x i8] c")\0A\00"
define void @print_domain() {
%1 = call i32 @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str, i64 0, i64 0))
%2 = call i32 @printf(i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.1, i64 0, i64 0))
%3 = call i32 @printf(i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.2, i64 0, i64 0))
%4 = call i32 @printf(i8* getelementptr inbounds ([16 x i8], [16 x i8]* @.str.3, i64 0, i64 0))
%5 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.4, i64 0, i64 0))
%6 = call i32 @printf(i8* getelementptr inbounds ([37 x i8], [37 x i8]* @.str.5, i64 0, i64 0))
%7 = call i32 @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.6, i64 0, i64 0))
%8 = call i32 @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.7, i64 0, i64 0))
%9 = call i32 @printf(i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.8, i64 0, i64 0))
%10 = call i32 @printf(i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str.9, i64 0, i64 0))
%11 = call i32 @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.10, i64 0, i64 0))
%12 = call i32 @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.11, i64 0, i64 0))
%13 = call i32 @printf(i8* getelementptr inbounds ([71 x i8], [71 x i8]* @.str.12, i64 0, i64 0))
%14 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.13, i64 0, i64 0))
%15 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%16 = call i32 @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.15, i64 0, i64 0))
%17 = call i32 @printf(i8* getelementptr inbounds ([36 x i8], [36 x i8]* @.str.16, i64 0, i64 0))
%18 = call i32 @printf(i8* getelementptr inbounds ([39 x i8], [39 x i8]* @.str.17, i64 0, i64 0))
%19 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.18, i64 0, i64 0))
%20 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.19, i64 0, i64 0))
%21 = call i32 @printf(i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.20, i64 0, i64 0))
%22 = call i32 @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.21, i64 0, i64 0))
%23 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%24 = call i32 @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.22, i64 0, i64 0))
%25 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.23, i64 0, i64 0))
%26 = call i32 @printf(i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.24, i64 0, i64 0))
%27 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.25, i64 0, i64 0))
%28 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.26, i64 0, i64 0))
%29 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.27, i64 0, i64 0))
%30 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.28, i64 0, i64 0))
%31 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.29, i64 0, i64 0))
%32 = call i32 @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str.30, i64 0, i64 0))
%33 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.31, i64 0, i64 0))
%34 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.32, i64 0, i64 0))
%35 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.28, i64 0, i64 0))
%36 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.33, i64 0, i64 0))
%37 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.34, i64 0, i64 0))
%38 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%39 = call i32 @printf(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @.str.35, i64 0, i64 0))
%40 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.23, i64 0, i64 0))
%41 = call i32 @printf(i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.36, i64 0, i64 0))
%42 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.25, i64 0, i64 0))
%43 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.26, i64 0, i64 0))
%44 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.27, i64 0, i64 0))
%45 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.28, i64 0, i64 0))
%46 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.29, i64 0, i64 0))
%47 = call i32 @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str.30, i64 0, i64 0))
%48 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.31, i64 0, i64 0))
%49 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.32, i64 0, i64 0))
%50 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.28, i64 0, i64 0))
%51 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.33, i64 0, i64 0))
%52 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.34, i64 0, i64 0))
%53 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%54 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.37, i64 0, i64 0))
%55 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.23, i64 0, i64 0))
%56 = call i32 @printf(i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.38, i64 0, i64 0))
%57 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.25, i64 0, i64 0))
%58 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.26, i64 0, i64 0))
%59 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.29, i64 0, i64 0))
%60 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.28, i64 0, i64 0))
%61 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.27, i64 0, i64 0))
%62 = call i32 @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str.30, i64 0, i64 0))
%63 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.31, i64 0, i64 0))
%64 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.33, i64 0, i64 0))
%65 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.28, i64 0, i64 0))
%66 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.32, i64 0, i64 0))
%67 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.34, i64 0, i64 0))
%68 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%69 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.39, i64 0, i64 0))
%70 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.23, i64 0, i64 0))
%71 = call i32 @printf(i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.40, i64 0, i64 0))
%72 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.25, i64 0, i64 0))
%73 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.26, i64 0, i64 0))
%74 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.29, i64 0, i64 0))
%75 = call i32 @printf(i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.28, i64 0, i64 0))
%76 = call i32 @printf(i8* getelementptr inbounds ([62 x i8], [62 x i8]* @.str.27, i64 0, i64 0))
%77 = call i32 @printf(i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.41, i64 0, i64 0))
%78 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.31, i64 0, i64 0))
%79 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.33, i64 0, i64 0))
%80 = call i32 @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str.42, i64 0, i64 0))
%81 = call i32 @printf(i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.32, i64 0, i64 0))
%82 = call i32 @printf(i8* getelementptr inbounds ([75 x i8], [75 x i8]* @.str.43, i64 0, i64 0))
%83 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%84 = call i32 @printf(i8* getelementptr inbounds ([31 x i8], [31 x i8]* @.str.44, i64 0, i64 0))
%85 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.23, i64 0, i64 0))
%86 = call i32 @printf(i8* getelementptr inbounds ([88 x i8], [88 x i8]* @.str.45, i64 0, i64 0))
%87 = call i32 @printf(i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.25, i64 0, i64 0))
%88 = call i32 @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.26, i64 0, i64 0))
%89 = call i32 @printf(i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.46, i64 0, i64 0))
%90 = call i32 @printf(i8* getelementptr inbounds ([72 x i8], [72 x i8]* @.str.47, i64 0, i64 0))
%91 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%92 = call i32 @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.48, i64 0, i64 0))
%93 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.23, i64 0, i64 0))
%94 = call i32 @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.49, i64 0, i64 0))
%95 = call i32 @printf(i8* getelementptr inbounds ([54 x i8], [54 x i8]* @.str.50, i64 0, i64 0))
%96 = call i32 @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.51, i64 0, i64 0))
%97 = call i32 @printf(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.52, i64 0, i64 0))
%98 = call i32 @printf(i8* getelementptr inbounds ([78 x i8], [78 x i8]* @.str.53, i64 0, i64 0))
%99 = call i32 @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.51, i64 0, i64 0))
%100 = call i32 @printf(i8* getelementptr inbounds ([57 x i8], [57 x i8]* @.str.54, i64 0, i64 0))
%101 = call i32 @printf(i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.55, i64 0, i64 0))
%102 = call i32 @printf(i8* getelementptr inbounds ([33 x i8], [33 x i8]* @.str.51, i64 0, i64 0))
%103 = call i32 @printf(i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.56, i64 0, i64 0))
%104 = call i32 @printf(i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.55, i64 0, i64 0))
%105 = call i32 @printf(i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.57, i64 0, i64 0))
%106 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%107 = call i32 @printf(i8* getelementptr inbounds ([26 x i8], [26 x i8]* @.str.58, i64 0, i64 0))
%108 = call i32 @printf(i8* getelementptr inbounds ([102 x i8], [102 x i8]* @.str.59, i64 0, i64 0))
%109 = call i32 @printf(i8* getelementptr inbounds ([221 x i8], [221 x i8]* @.str.60, i64 0, i64 0))
%110 = call i32 @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.61, i64 0, i64 0))
%111 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.62, i64 0, i64 0))
%112 = call i32 @printf(i8* getelementptr inbounds ([78 x i8], [78 x i8]* @.str.63, i64 0, i64 0))
%113 = call i32 @printf(i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.64, i64 0, i64 0))
%114 = call i32 @printf(i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.65, i64 0, i64 0))
%115 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.66, i64 0, i64 0))
%116 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.67, i64 0, i64 0))
%117 = call i32 @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.68, i64 0, i64 0))
%118 = call i32 @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.69, i64 0, i64 0))
%119 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%120 = call i32 @printf(i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.70, i64 0, i64 0))
%121 = call i32 @printf(i8* getelementptr inbounds ([102 x i8], [102 x i8]* @.str.59, i64 0, i64 0))
%122 = call i32 @printf(i8* getelementptr inbounds ([221 x i8], [221 x i8]* @.str.71, i64 0, i64 0))
%123 = call i32 @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.61, i64 0, i64 0))
%124 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.62, i64 0, i64 0))
%125 = call i32 @printf(i8* getelementptr inbounds ([78 x i8], [78 x i8]* @.str.63, i64 0, i64 0))
%126 = call i32 @printf(i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.64, i64 0, i64 0))
%127 = call i32 @printf(i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.65, i64 0, i64 0))
%128 = call i32 @printf(i8* getelementptr inbounds ([47 x i8], [47 x i8]* @.str.66, i64 0, i64 0))
%129 = call i32 @printf(i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.67, i64 0, i64 0))
%130 = call i32 @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.68, i64 0, i64 0))
%131 = call i32 @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.69, i64 0, i64 0))
%132 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%133 = call i32 @printf(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.72, i64 0, i64 0))
%134 = call i32 @printf(i8* getelementptr inbounds ([85 x i8], [85 x i8]* @.str.73, i64 0, i64 0))
%135 = call i32 @printf(i8* getelementptr inbounds ([171 x i8], [171 x i8]* @.str.74, i64 0, i64 0))
%136 = call i32 @printf(i8* getelementptr inbounds ([44 x i8], [44 x i8]* @.str.61, i64 0, i64 0))
%137 = call i32 @printf(i8* getelementptr inbounds ([40 x i8], [40 x i8]* @.str.62, i64 0, i64 0))
%138 = call i32 @printf(i8* getelementptr inbounds ([78 x i8], [78 x i8]* @.str.63, i64 0, i64 0))
%139 = call i32 @printf(i8* getelementptr inbounds ([79 x i8], [79 x i8]* @.str.64, i64 0, i64 0))
%140 = call i32 @printf(i8* getelementptr inbounds ([77 x i8], [77 x i8]* @.str.65, i64 0, i64 0))
%141 = call i32 @printf(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.68, i64 0, i64 0))
%142 = call i32 @printf(i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.69, i64 0, i64 0))
%143 = call i32 @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0))
%144 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.75, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@str = [32 x i8] c"(define (domain drive-unrolled)\00"
@str.76 = [80 x i8] c" (:requirements :typing :probabilistic-effects :conditional-effects :equality)\00"
@str.77 = [66 x i8] c" (:types coord direction color delay preference length rotation)\00"
@str.78 = [15 x i8] c" (:predicates\00"
@str.79 = [29 x i8] c" (heading ?d - direction)\00"
@str.80 = [36 x i8] c" (clockwise ?d1 ?d2 - direction)\00"
@str.81 = [31 x i8] c" (at ?x - coord ?y - coord)\00"
@str.82 = [49 x i8] c" (nextx ?a - coord ?b - coord ?h - direction)\00"
@str.83 = [49 x i8] c" (nexty ?a - coord ?b - coord ?h - direction)\00"
@str.84 = [29 x i8] c" (light_color ?c - color)\00"
@str.85 = [43 x i8] c" (light_delay ?x ?y - coord ?d - delay)\00"
@str.86 = [53 x i8] c" (light_preference ?x ?y - coord ?p - preference)\00"
@str.87 = [70 x i8] c" (road-length ?start-x ?start-y ?end-x ?end-y - coord ?l - length)\00"
@str.88 = [12 x i8] c" (alive)\00"
@str.90 = [14 x i8] c" (:constants\00"
@str.91 = [35 x i8] c" left right straight - rotation\00"
@str.92 = [38 x i8] c" north south east west - direction\00"
@str.93 = [30 x i8] c" green red unknown - color\00"
@str.94 = [30 x i8] c" quick normal slow - delay\00"
@str.95 = [44 x i8] c" north_south none east_west - preference\00"
@str.96 = [31 x i8] c" short medium long - length\00"
@str.98 = [31 x i8] c" (:action look_at_light_north\00"
@str.100 = [73 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (heading north))\00"
@str.113 = [31 x i8] c" (:action look_at_light_south\00"
@str.115 = [73 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (heading south))\00"
@str.128 = [30 x i8] c" (:action look_at_light_east\00"
@str.130 = [72 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (heading east))\00"
@str.136 = [74 x i8] c" (and (not (light_color unknown)) (light_color red))))\00"
@str.141 = [75 x i8] c" (and (not (light_color unknown)) (light_color red)))))\00"
@str.143 = [30 x i8] c" (:action look_at_light_west\00"
@str.145 = [72 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (heading west))\00"
@str.148 = [61 x i8] c" 1/10 (when (light_preference ?x ?y north_south)\00"
@str.149 = [75 x i8] c" (and (not (light_color unknown)) (light_color green)))\00"
@str.150 = [61 x i8] c" 9/10 (when (light_preference ?x ?y north_south)\00"
@str.151 = [73 x i8] c" (and (not (light_color unknown))(light_color red))))\00"
@str.152 = [26 x i8] c" (probabilistic\00"
@str.153 = [59 x i8] c" 9/10 (when (light_preference ?x ?y east_west)\00"
@str.154 = [74 x i8] c" (and (not (light_color unknown))(light_color green)))\00"
@str.155 = [59 x i8] c" 1/10 (when (light_preference ?x ?y east_west)\00"
@str.156 = [74 x i8] c" (and (not (light_color unknown))(light_color red)))))\00"
@str.158 = [30 x i8] c" (:action look_at_light_none\00"
@str.160 = [87 x i8] c" :precondition (and (light_color unknown) (at ?x ?y) (light_preference ?x ?y none))\00"
@str.161 = [12 x i8] c" :effect\00"
@str.162 = [26 x i8] c" (and (probabilistic\00"
@str.163 = [71 x i8] c" 1/2 (and (not (light_color unknown)) (light_color green))\00"
@str.164 = [71 x i8] c" 1/2 (and (not (light_color unknown)) (light_color red))))\00"
@str.166 = [25 x i8] c" (:action wait_on_light\00"
@str.167 = [40 x i8] c" :parameters (?x - coord ?y - coord)\00"
@str.168 = [53 x i8] c" :precondition (and (light_color red) (at ?x ?y))\00"
@str.169 = [53 x i8] c" :effect (and (probabilistic 1/100 (not (alive)))\00"
@str.171 = [55 x i8] c" 1/2 (when (light_delay ?x ?y quick)\00"
@str.172 = [77 x i8] c" (and (not (light_color red)) (light_color green))))\00"
@str.174 = [56 x i8] c" 1/5 (when (light_delay ?x ?y normal)\00"
@str.176 = [32 x i8] c" (probabilistic\00"
@str.177 = [55 x i8] c" 1/10 (when (light_delay ?x ?y slow)\00"
@str.178 = [76 x i8] c" (and (not (light_color red))(light_color green))))\00"
@str.179 = [14 x i8] c" )\00"
@str.181 = [25 x i8] c" (:action proceed-right\00"
@str.183 = [220 x i8] c" :precondition (and (light_color green) (at ?x ?y) (heading ?old-heading) (clockwise ?old-heading ?new-heading) (nextx ?x ?new-x ?new-heading) (nexty ?y ?new-y ?new-heading) (road-length ?x ?y ?new-x ?new-y ?length))\00"
@str.194 = [24 x i8] c" (:action proceed-left\00"
@str.195 = [101 x i8] c" :parameters (?x ?y ?new-x ?new-y - coord ?old-heading ?new-heading - direction ?length - length)\00"
@str.196 = [220 x i8] c" :precondition (and (light_color green) (at ?x ?y) (heading ?old-heading) (clockwise ?new-heading ?old-heading) (nextx ?x ?new-x ?new-heading) (nexty ?y ?new-y ?new-heading) (road-length ?x ?y ?new-x ?new-y ?length))\00"
@str.202 = [46 x i8] c" (not (heading ?old-heading))\00"
@str.203 = [40 x i8] c" (heading ?new-heading)\00"
@str.207 = [28 x i8] c" (:action proceed-straight\00"
@str.208 = [84 x i8] c" :parameters (?x ?y ?new-x ?new-y - coord ?heading - direction ?length - length)\00"
@str.209 = [170 x i8] c" :precondition (and (light_color green) (at ?x ?y) (heading ?heading) (nextx ?x ?new-x ?heading) (nexty ?y ?new-y ?heading) (road-length ?x ?y ?new-x ?new-y ?length))\00"
@str.210 = [43 x i8] c" :effect (and (not (light_color green))\00"
@str.211 = [39 x i8] c" (light_color unknown)\00"
@str.212 = [77 x i8] c" (probabilistic 1/50 (when (= ?length short) (not (alive))))\00"
@str.213 = [78 x i8] c" (probabilistic 1/20 (when (= ?length medium) (not (alive))))\00"
@str.214 = [76 x i8] c" (probabilistic 1/10 (when (= ?length long) (not (alive))))\00"
@str.215 = [34 x i8] c" (not (at ?x ?y))\00"
@str.216 = [37 x i8] c" (at ?new-x ?new-y))\00"
@str.217 = [4 x i8] c" )\00"
@str.218 = [2 x i8] c")\00"
define void @print_domain() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @str, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([80 x i8], [80 x i8]* @str.76, i64 0, i64 0))
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([66 x i8], [66 x i8]* @str.77, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([15 x i8], [15 x i8]* @str.78, i64 0, i64 0))
%5 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([29 x i8], [29 x i8]* @str.79, i64 0, i64 0))
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([36 x i8], [36 x i8]* @str.80, i64 0, i64 0))
%7 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str.81, i64 0, i64 0))
%8 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @str.82, i64 0, i64 0))
%9 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([49 x i8], [49 x i8]* @str.83, i64 0, i64 0))
%10 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([29 x i8], [29 x i8]* @str.84, i64 0, i64 0))
%11 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.85, i64 0, i64 0))
%12 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.86, i64 0, i64 0))
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([70 x i8], [70 x i8]* @str.87, i64 0, i64 0))
%14 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.88, i64 0, i64 0))
%15 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%16 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @str.90, i64 0, i64 0))
%17 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([35 x i8], [35 x i8]* @str.91, i64 0, i64 0))
%18 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([38 x i8], [38 x i8]* @str.92, i64 0, i64 0))
%19 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @str.93, i64 0, i64 0))
%20 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @str.94, i64 0, i64 0))
%21 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([44 x i8], [44 x i8]* @str.95, i64 0, i64 0))
%22 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str.96, i64 0, i64 0))
%23 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%24 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str.98, i64 0, i64 0))
%25 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.167, i64 0, i64 0))
%26 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([73 x i8], [73 x i8]* @str.100, i64 0, i64 0))
%27 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.161, i64 0, i64 0))
%28 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.162, i64 0, i64 0))
%29 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.150, i64 0, i64 0))
%30 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.149, i64 0, i64 0))
%31 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.148, i64 0, i64 0))
%32 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([74 x i8], [74 x i8]* @str.136, i64 0, i64 0))
%33 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.152, i64 0, i64 0))
%34 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.155, i64 0, i64 0))
%35 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.149, i64 0, i64 0))
%36 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.153, i64 0, i64 0))
%37 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.141, i64 0, i64 0))
%38 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%39 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([31 x i8], [31 x i8]* @str.113, i64 0, i64 0))
%40 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.167, i64 0, i64 0))
%41 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([73 x i8], [73 x i8]* @str.115, i64 0, i64 0))
%42 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.161, i64 0, i64 0))
%43 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.162, i64 0, i64 0))
%44 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.150, i64 0, i64 0))
%45 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.149, i64 0, i64 0))
%46 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.148, i64 0, i64 0))
%47 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([74 x i8], [74 x i8]* @str.136, i64 0, i64 0))
%48 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.152, i64 0, i64 0))
%49 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.155, i64 0, i64 0))
%50 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.149, i64 0, i64 0))
%51 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.153, i64 0, i64 0))
%52 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.141, i64 0, i64 0))
%53 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%54 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @str.128, i64 0, i64 0))
%55 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.167, i64 0, i64 0))
%56 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([72 x i8], [72 x i8]* @str.130, i64 0, i64 0))
%57 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.161, i64 0, i64 0))
%58 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.162, i64 0, i64 0))
%59 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.148, i64 0, i64 0))
%60 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.149, i64 0, i64 0))
%61 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.150, i64 0, i64 0))
%62 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([74 x i8], [74 x i8]* @str.136, i64 0, i64 0))
%63 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.152, i64 0, i64 0))
%64 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.153, i64 0, i64 0))
%65 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.149, i64 0, i64 0))
%66 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.155, i64 0, i64 0))
%67 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.141, i64 0, i64 0))
%68 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%69 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @str.143, i64 0, i64 0))
%70 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.167, i64 0, i64 0))
%71 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([72 x i8], [72 x i8]* @str.145, i64 0, i64 0))
%72 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.161, i64 0, i64 0))
%73 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.162, i64 0, i64 0))
%74 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.148, i64 0, i64 0))
%75 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([75 x i8], [75 x i8]* @str.149, i64 0, i64 0))
%76 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([61 x i8], [61 x i8]* @str.150, i64 0, i64 0))
%77 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([73 x i8], [73 x i8]* @str.151, i64 0, i64 0))
%78 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.152, i64 0, i64 0))
%79 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.153, i64 0, i64 0))
%80 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([74 x i8], [74 x i8]* @str.154, i64 0, i64 0))
%81 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([59 x i8], [59 x i8]* @str.155, i64 0, i64 0))
%82 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([74 x i8], [74 x i8]* @str.156, i64 0, i64 0))
%83 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%84 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([30 x i8], [30 x i8]* @str.158, i64 0, i64 0))
%85 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.167, i64 0, i64 0))
%86 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([87 x i8], [87 x i8]* @str.160, i64 0, i64 0))
%87 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @str.161, i64 0, i64 0))
%88 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([26 x i8], [26 x i8]* @str.162, i64 0, i64 0))
%89 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([71 x i8], [71 x i8]* @str.163, i64 0, i64 0))
%90 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([71 x i8], [71 x i8]* @str.164, i64 0, i64 0))
%91 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%92 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @str.166, i64 0, i64 0))
%93 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.167, i64 0, i64 0))
%94 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.168, i64 0, i64 0))
%95 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([53 x i8], [53 x i8]* @str.169, i64 0, i64 0))
%96 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @str.176, i64 0, i64 0))
%97 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([55 x i8], [55 x i8]* @str.171, i64 0, i64 0))
%98 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.172, i64 0, i64 0))
%99 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @str.176, i64 0, i64 0))
%100 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([56 x i8], [56 x i8]* @str.174, i64 0, i64 0))
%101 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([76 x i8], [76 x i8]* @str.178, i64 0, i64 0))
%102 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([32 x i8], [32 x i8]* @str.176, i64 0, i64 0))
%103 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([55 x i8], [55 x i8]* @str.177, i64 0, i64 0))
%104 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([76 x i8], [76 x i8]* @str.178, i64 0, i64 0))
%105 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @str.179, i64 0, i64 0))
%106 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%107 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([25 x i8], [25 x i8]* @str.181, i64 0, i64 0))
%108 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @str.195, i64 0, i64 0))
%109 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([220 x i8], [220 x i8]* @str.183, i64 0, i64 0))
%110 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.210, i64 0, i64 0))
%111 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([39 x i8], [39 x i8]* @str.211, i64 0, i64 0))
%112 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.212, i64 0, i64 0))
%113 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([78 x i8], [78 x i8]* @str.213, i64 0, i64 0))
%114 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([76 x i8], [76 x i8]* @str.214, i64 0, i64 0))
%115 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @str.202, i64 0, i64 0))
%116 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.203, i64 0, i64 0))
%117 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.215, i64 0, i64 0))
%118 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @str.216, i64 0, i64 0))
%119 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%120 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([24 x i8], [24 x i8]* @str.194, i64 0, i64 0))
%121 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([101 x i8], [101 x i8]* @str.195, i64 0, i64 0))
%122 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([220 x i8], [220 x i8]* @str.196, i64 0, i64 0))
%123 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.210, i64 0, i64 0))
%124 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([39 x i8], [39 x i8]* @str.211, i64 0, i64 0))
%125 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.212, i64 0, i64 0))
%126 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([78 x i8], [78 x i8]* @str.213, i64 0, i64 0))
%127 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([76 x i8], [76 x i8]* @str.214, i64 0, i64 0))
%128 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([46 x i8], [46 x i8]* @str.202, i64 0, i64 0))
%129 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([40 x i8], [40 x i8]* @str.203, i64 0, i64 0))
%130 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.215, i64 0, i64 0))
%131 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @str.216, i64 0, i64 0))
%132 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%133 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([28 x i8], [28 x i8]* @str.207, i64 0, i64 0))
%134 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([84 x i8], [84 x i8]* @str.208, i64 0, i64 0))
%135 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([170 x i8], [170 x i8]* @str.209, i64 0, i64 0))
%136 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([43 x i8], [43 x i8]* @str.210, i64 0, i64 0))
%137 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([39 x i8], [39 x i8]* @str.211, i64 0, i64 0))
%138 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([77 x i8], [77 x i8]* @str.212, i64 0, i64 0))
%139 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([78 x i8], [78 x i8]* @str.213, i64 0, i64 0))
%140 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([76 x i8], [76 x i8]* @str.214, i64 0, i64 0))
%141 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([34 x i8], [34 x i8]* @str.215, i64 0, i64 0))
%142 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([37 x i8], [37 x i8]* @str.216, i64 0, i64 0))
%143 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str.217, i64 0, i64 0))
%144 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str.218, i64 0, i64 0))
ret void
}