function loop2_2($env0, $arg0, $arg1)
{
    /*
      // $apy0
      // $apy1
      // $tmp14
      // $tmp16
      // $tmp28
      // $tmp29
    */
    __patsflab_loop2_2:
    $tmp14 = ats2phppre_lt_int0_int0($arg1, $env0);
    if ($tmp14) {
        $tmp16 = ats2phppre_gt_int0_int0($arg1, $arg0);
        if ($tmp16) {
            _057_home_057_hwxi_057_research_057_Postiats_055_contrib_057_git_057_contrib_057_libatscc_057_libatscc2php_057_basics_php_056_sats__echo1__3__3("<td width=5% align=center></td>");
        } else {
            $tmp28 = ats2phppre_mul_int0_int0($arg0, $arg1);
            _057_home_057_hwxi_057_research_057_Postiats_055_contrib_057_git_057_contrib_057_libatscc_057_libatscc2php_057_basics_php_056_sats__echo3__11__1("<td width=5% align=center>", $tmp28, "</td>");
        }
        // endif
        $tmp29 = ats2phppre_add_int0_int0($arg1, 1);
        // ATStailcalseq_beg
        $apy0 = $arg0;
        $apy1 = $tmp29;
        $arg0 = $apy0;
        $arg1 = $apy1;
        goto __patsflab_loop2_2;
        // ATStailcalseq_end
    } else {
        // ATSINSmove_void;
    }
    // endif
    return;
}
function fact($arg0)
{
    /*
      // $tmpret0
      // $tmp1
      // $tmp2
      // $tmp3
    */
    __patsflab_fact:
    $tmp1 = ats2phppre_gt_int0_int0($arg0, 0);
    if ($tmp1) {
        $tmp3 = ats2phppre_sub_int0_int0($arg0, 1);
        $tmp2 = fact($tmp3);
        $tmpret0 = ats2phppre_mul_int0_int0($arg0, $tmp2);
    } else {
        $tmpret0 = 1;
    }
    // endif
    return $tmpret0;
}
function ats2phppre_list_make_intrange_3($arg0, $arg1, $arg2)
{
    /*
      // $tmpret1
      // $tmp12
      // $tmp13
      // $tmp14
      // $tmp15
      // $tmp16
      // $tmp17
      // $tmp18
      // $tmp19
      // $tmp20
      // $tmp21
      // $tmp22
      // $tmp23
      // $tmp24
      // $tmp25
      // $tmp26
      // $tmp27
      // $tmp28
      // $tmp29
      // $tmp30
      // $tmp31
      // $tmp32
    */
    __patsflab_list_make_intrange_3:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab0:
        $tmp12 = ats2phppre_gt_int0_int0($arg2, 0);
        if (!ATSCKpat_bool($tmp12, true)) {
            goto __atstmplab1;
        }
        $tmp13 = ats2phppre_lt_int0_int0($arg0, $arg1);
        if ($tmp13) {
            $tmp17 = ats2phppre_sub_int0_int0($arg1, $arg0);
            $tmp16 = ats2phppre_add_int0_int0($tmp17, $arg2);
            $tmp15 = ats2phppre_sub_int0_int0($tmp16, 1);
            $tmp14 = ats2phppre_div_int0_int0($tmp15, $arg2);
            $tmp20 = ats2phppre_sub_int0_int0($tmp14, 1);
            $tmp19 = ats2phppre_mul_int0_int0($tmp20, $arg2);
            $tmp18 = ats2phppre_add_int0_int0($arg0, $tmp19);
            $tmp21 = null;
            $tmpret1 = _ats2phppre_list_loop1_2($tmp14, $tmp18, $arg2, $tmp21);
        } else {
            $tmpret1 = null;
        }
        // endif
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab1:
        $tmp22 = ats2phppre_lt_int0_int0($arg2, 0);
        if (!ATSCKpat_bool($tmp22, true)) {
            goto __atstmplab2;
        }
        $tmp23 = ats2phppre_gt_int0_int0($arg0, $arg1);
        if ($tmp23) {
            $tmp24 = ats2phppre_neg_int0($arg2);
            $tmp28 = ats2phppre_sub_int0_int0($arg0, $arg1);
            $tmp27 = ats2phppre_add_int0_int0($tmp28, $tmp24);
            $tmp26 = ats2phppre_sub_int0_int0($tmp27, 1);
            $tmp25 = ats2phppre_div_int0_int0($tmp26, $tmp24);
            $tmp31 = ats2phppre_sub_int0_int0($tmp25, 1);
            $tmp30 = ats2phppre_mul_int0_int0($tmp31, $tmp24);
            $tmp29 = ats2phppre_sub_int0_int0($arg0, $tmp30);
            $tmp32 = null;
            $tmpret1 = _ats2phppre_list_loop2_3($tmp25, $tmp29, $tmp24, $tmp32);
        } else {
            $tmpret1 = null;
        }
        // endif
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab2:
        $tmpret1 = null;
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret1;
}