sub dec23007c6 {
  $oc{$pad{10}} = 1 if defined $pad{10};
  &ocassign($pad{10}, "!(!(!$pad{22}&!$pad{25}&$pad{3}\n   #!$pad{22}&$pad{24}&!$pad{25}\n   #!$pad{22}&$pad{25}&!$pad{26}&!$pad{27}&!$pad{2}&$pad{5}&!$pad{8}\n   #!$pad{22}&$pad{8}\n   #!$pad{22}&$pad{26}&!$pad{27}\n   #!$pad{22}&$pad{25}&$pad{2}\n   #!$pad{22}&$pad{27}&$pad{5}&!$pad{8}\n   #!$pad{5}&!$pad{8}\n   #$pad{22}))&(!$pad{19})") if defined $pad{10};
  $oc{$pad{11}} = 1 if defined $pad{11};
  &ocassign($pad{11}, "!(!$pad{22}&$pad{23}&$pad{25}&$pad{3}\n   #!$pad{22}&!$pad{25}&$pad{3}\n   #$pad{4}\n   #!$pad{22}&$pad{8}\n   #!$pad{22}&!$pad{23}\n   #!$pad{5}&!$pad{8}\n   #$pad{22})&(!(!$pad{19}))") if defined $pad{11};
  $oc{$pad{12}} = 1 if defined $pad{12};
  &ocassign($pad{12}, "!($pad{20}&$pad{21}&!$pad{22}&$pad{9}&!$pad{5}&$pad{8}\n   #$pad{20}&!$pad{22}&!$pad{9}&!$pad{5}&$pad{8}\n   #!$pad{22}&$pad{24}&!$pad{7}\n   #!$pad{22}&!$pad{23}\n   #!$pad{22}&$pad{2}&!$pad{7}\n   #!$pad{22}&$pad{23}&!$pad{3}&!$pad{4}\n   #!$pad{5}&!$pad{8}\n   #!$pad{20}&!$pad{5}\n   #$pad{22})&(!(!$pad{19}))") if defined $pad{12};
  $oc{$pad{13}} = 1 if defined $pad{13};
  &ocassign($pad{13}, "!($pad{20}&$pad{21}&!$pad{22}&$pad{9}&!$pad{5}&$pad{8}\n   #$pad{20}&!$pad{22}&!$pad{9}&!$pad{5}&$pad{8}\n   #!$pad{22}&!$pad{23}&$pad{25}&!$pad{26}\n   #!$pad{22}&$pad{23}&$pad{24}&$pad{25}&!$pad{2}&$pad{7}\n   #!$pad{22}&$pad{24}&!$pad{25}\n   #!$pad{22}&!$pad{2}&!$pad{7}\n   #!$pad{22}&$pad{26}&!$pad{27}\n   #!$pad{22}&$pad{23}&$pad{2}\n   #!$pad{22}&$pad{2}&!$pad{7}\n   #!$pad{22}&!$pad{24}&$pad{7}\n   #!$pad{5}&!$pad{8}\n   #!$pad{20}&!$pad{5}\n   #$pad{22})&(!(!$pad{19}))") if defined $pad{13};
  $oc{$pad{15}} = 1 if defined $pad{15};
  &ocassign($pad{15}, "!($pad{4}\n   #!$pad{20}&$pad{21}&$pad{22}&!$pad{4}&$pad{5}&$pad{8}\n   #!$pad{21}&$pad{22}&!$pad{4}&$pad{8}\n   #!$pad{22}&!$pad{4}&$pad{8}\n   #!$pad{4}&$pad{5}&!$pad{8}\n   #$pad{20}&$pad{21}&$pad{22}&!$pad{2}&!$pad{3}&!$pad{4}&$pad{8}\n   #!$pad{5}&!$pad{8}\n   #!$pad{20}&!$pad{5})&(!(!$pad{19}))") if defined $pad{15};
  $oc{$pad{16}} = 1 if defined $pad{16};
  &ocassign($pad{16}, "!(!($pad{20}&$pad{21}&!$pad{22}&$pad{9}&!$pad{5}&$pad{8}\n   #$pad{20}&!$pad{22}&!$pad{9}&!$pad{5}&$pad{8}\n   #!$pad{22}&!$pad{23}&$pad{25}&!$pad{26}\n   #!$pad{22}&!$pad{23}&$pad{26}&!$pad{27}\n   #!$pad{22}&$pad{23}&$pad{25}&$pad{3}\n   #!$pad{22}&!$pad{25}&$pad{3}\n   #!$pad{22}&$pad{24}&!$pad{7}\n   #!$pad{22}&$pad{23}&$pad{24}&$pad{25}&!$pad{2}&$pad{7}\n   #!$pad{22}&$pad{24}&!$pad{25}\n   #!$pad{22}&!$pad{23}&!$pad{24}&!$pad{2}&$pad{7}\n   #!$pad{22}&!$pad{2}&!$pad{3}&$pad{4}&$pad{7}\n   #!$pad{22}&!$pad{2}&!$pad{7}\n   #!$pad{22}&!$pad{23}&!$pad{24}&$pad{27}&$pad{2}\n   #!$pad{22}&$pad{23}&$pad{2}\n   #!$pad{5}&!$pad{8}\n   #!$pad{20}&!$pad{5}\n   #$pad{22}))&(!$pad{19})") if defined $pad{16};
  $oc{$pad{17}} = 1 if defined $pad{17};
  &ocassign($pad{17}, "!(!($pad{20}&$pad{21}&!$pad{22}&$pad{9}&!$pad{5}&$pad{8}\n   #$pad{20}&!$pad{22}&!$pad{9}&!$pad{5}&$pad{8}\n   #!$pad{22}&!$pad{23}&$pad{25}&!$pad{26}\n   #!$pad{22}&$pad{23}&$pad{25}&$pad{3}\n   #!$pad{22}&!$pad{25}&$pad{3}\n   #!$pad{22}&$pad{24}&!$pad{7}\n   #!$pad{22}&$pad{23}&$pad{24}&$pad{25}&!$pad{2}&$pad{7}\n   #!$pad{22}&$pad{24}&!$pad{25}\n   #!$pad{22}&!$pad{23}&!$pad{24}&!$pad{25}&!$pad{26}&!$pad{27}&$pad{2}&!$pad{3}&$pad{4}\n   #!$pad{22}&!$pad{23}&!$pad{24}&!$pad{2}&$pad{7}\n   #!$pad{22}&!$pad{2}&!$pad{3}&$pad{4}&$pad{7}\n   #!$pad{22}&!$pad{2}&!$pad{7}\n   #!$pad{22}&!$pad{23}&!$pad{24}&$pad{27}&$pad{2}\n   #!$pad{22}&$pad{26}&!$pad{27}\n   #!$pad{22}&$pad{23}&$pad{2}\n   #!$pad{22}&$pad{23}&!$pad{24}&!$pad{26}&!$pad{27}&!$pad{3}&!$pad{4}\n   #!$pad{22}&$pad{25}&$pad{26}&$pad{27}&!$pad{3}&!$pad{4}&$pad{7}\n   #!$pad{5}&!$pad{8}\n   #!$pad{20}&!$pad{5}\n   #$pad{22}))&(!$pad{19})") if defined $pad{17};
  $oc{$pad{18}} = 1 if defined $pad{18};
  &ocassign($pad{18}, "!(!($pad{20}&$pad{21}&!$pad{22}&$pad{9}&!$pad{5}&$pad{8}\n   #$pad{20}&!$pad{22}&!$pad{9}&!$pad{5}&$pad{8}\n   #!$pad{22}&!$pad{23}&$pad{26}&!$pad{27}\n   #!$pad{22}&$pad{23}&$pad{25}&$pad{3}\n   #!$pad{22}&!$pad{25}&$pad{3}\n   #!$pad{22}&$pad{23}&$pad{24}&$pad{25}&!$pad{2}&$pad{7}\n   #!$pad{22}&$pad{24}&!$pad{25}\n   #!$pad{22}&!$pad{23}&$pad{27}&!$pad{4}\n   #$pad{4}\n   #!$pad{22}&!$pad{2}&!$pad{7}\n   #!$pad{22}&!$pad{27}&!$pad{2}&!$pad{4}&$pad{7}\n   #!$pad{22}&$pad{25}&$pad{2}\n   #!$pad{22}&$pad{23}&!$pad{24}&!$pad{26}&!$pad{27}&!$pad{3}&!$pad{4}\n   #!$pad{5}&!$pad{8}\n   #!$pad{20}&!$pad{5}\n   #$pad{22}))&(!$pad{19})") if defined $pad{18};
}
$hidden{"dec23007c6"} = 0;

sub dec23008c6 {
  $oc{$pad{10}} = 1 if defined $pad{10};
  &ocassign($pad{10}, "!('b'1)&(!(!$pad{19}&!$pad{6}))") if defined $pad{10};
  $oc{$pad{11}} = 1 if defined $pad{11};
  &ocassign($pad{11}, "!(!$pad{23}\n   #!!$pad{8})&(!(!$pad{19}&!$pad{6}))") if defined $pad{11};
  $oc{$pad{12}} = 1 if defined $pad{12};
  &ocassign($pad{12}, "!(!$pad{24}\n   #!!$pad{8})&(!(!$pad{19}&!$pad{6}))") if defined $pad{12};
  $oc{$pad{13}} = 1 if defined $pad{13};
  &ocassign($pad{13}, "!(!$pad{21}\n   #!!$pad{9})&(!(!$pad{19}&!$pad{6}))") if defined $pad{13};
  $oc{$pad{15}} = 1 if defined $pad{15};
  &ocassign($pad{15}, "!(!$pad{26}&!$pad{3}\n   #!$pad{3}&!!$pad{9}\n   #!$pad{26}&!!$pad{8}\n   #!!$pad{8}&!!$pad{9})&(!(!$pad{19}&!$pad{6}))") if defined $pad{15};
  $oc{$pad{16}} = 1 if defined $pad{16};
  &ocassign($pad{16}, "!(!$pad{27}&!$pad{4}\n   #!$pad{4}&!!$pad{9}\n   #!$pad{27}&!!$pad{8}\n   #!!$pad{8}&!!$pad{9})&(!(!$pad{19}&!$pad{6}))") if defined $pad{16};
  $oc{$pad{17}} = 1 if defined $pad{17};
  &ocassign($pad{17}, "!(!$pad{2}&!$pad{5}\n   #!$pad{5}&!!$pad{9}\n   #!$pad{2}&!!$pad{8}\n   #!!$pad{8}&!!$pad{9})&(!(!$pad{19}&!$pad{6}))") if defined $pad{17};
  $oc{$pad{18}} = 1 if defined $pad{18};
  &ocassign($pad{18}, "!(!!$pad{7}\n   #!$pad{26})&(!(!$pad{19}&!$pad{6}))") if defined $pad{18};
}
$hidden{"dec23008c6"} = 0;

sub dec23009c6 {
  $oc{$pad{10}} = 1 if defined $pad{10};
  &ocassign($pad{10}, "!(!(!$pad{4}))&(!$pad{19})") if defined $pad{10};
  $oc{$pad{11}} = 1 if defined $pad{11};
  &ocassign($pad{11}, "!(!(!$pad{5}))&(!$pad{19})") if defined $pad{11};
  $oc{$pad{12}} = 1 if defined $pad{12};
  &ocassign($pad{12}, "!(!(!$pad{6}))&(!$pad{19})") if defined $pad{12};
  $oc{$pad{13}} = 1 if defined $pad{13};
  &ocassign($pad{13}, "!(!(!$pad{7}))&(!$pad{19})") if defined $pad{13};
  $oc{$pad{15}} = 1 if defined $pad{15};
  &ocassign($pad{15}, "!(!(!$pad{8}))&(!$pad{19})") if defined $pad{15};
  $oc{$pad{16}} = 1 if defined $pad{16};
  &ocassign($pad{16}, "!(!(!$pad{9}))&(!$pad{19})") if defined $pad{16};
  &qcode("$pad{17} = !!$pad{23}&!!$pad{22}\n   #!$pad{21};\n") if defined $pad{17};
}
$hidden{"dec23009c6"} = 0;

sub dec23010c6 {
  $oc{$pad{10}} = 1 if defined $pad{10};
  &ocassign($pad{10}, "!(!($pad{20}&$pad{21}&$pad{22}\n   #!$pad{5}&$pad{20}&$pad{21}&!$pad{22}\n   #!$pad{27}&!$pad{20}&$pad{21}&$pad{22}\n   #!$pad{20}&!$pad{22}\n   #!$pad{21}))&(!$pad{19})") if defined $pad{10};
  $oc{$pad{11}} = 1 if defined $pad{11};
  &ocassign($pad{11}, "!(!($pad{20}&$pad{21}&$pad{22}\n   #!$pad{6}&$pad{20}&$pad{21}&!$pad{22}\n   #!$pad{2}&!$pad{20}&$pad{21}&$pad{22}\n   #!$pad{20}&!$pad{22}\n   #!$pad{21}))&(!$pad{19})") if defined $pad{11};
  $oc{$pad{12}} = 1 if defined $pad{12};
  &ocassign($pad{12}, "!(!(!$pad{7}&!$pad{20}&$pad{21}&!$pad{22}\n   #!$pad{3}&!$pad{21}&$pad{22}\n   #!$pad{8}&$pad{20}&$pad{21}\n   #!$pad{25}&!$pad{21}&!$pad{22}\n   #!$pad{20}&!$pad{21}&!$pad{22}\n   #$pad{21}&$pad{22}))&(!$pad{19})") if defined $pad{12};
  $oc{$pad{13}} = 1 if defined $pad{13};
  &ocassign($pad{13}, "!(!(!$pad{8}&!$pad{20}&$pad{21}&!$pad{22}\n   #!$pad{4}&!$pad{21}&$pad{22}\n   #!$pad{9}&$pad{20}&$pad{21}\n   #!$pad{26}&!$pad{21}&!$pad{22}\n   #!$pad{20}&!$pad{21}&!$pad{22}\n   #$pad{21}&$pad{22}))&(!$pad{19})") if defined $pad{13};
  $oc{$pad{15}} = 1 if defined $pad{15};
  &ocassign($pad{15}, "!(!(!$pad{3}&!$pad{21}&$pad{22}\n   #!$pad{5}&$pad{21}&!$pad{22}\n   #!$pad{23}&!$pad{21}&!$pad{22}\n   #!$pad{20}&!$pad{21}&!$pad{22}\n   #$pad{21}&$pad{22}))&(!$pad{19})") if defined $pad{15};
  $oc{$pad{16}} = 1 if defined $pad{16};
  &ocassign($pad{16}, "!(!(!$pad{4}&!$pad{21}&$pad{22}\n   #!$pad{6}&$pad{21}&!$pad{22}\n   #!$pad{24}&!$pad{21}&!$pad{22}\n   #!$pad{20}&!$pad{21}&!$pad{22}\n   #$pad{21}&$pad{22}))&(!$pad{19})") if defined $pad{16};
}
$hidden{"dec23010c6"} = 0;

sub dec23211a1 {
  $oc{$pad{1}} = 1 if defined $pad{1};
  &ocassign($pad{1}, "!(!(!!$pad{11}&!!$pad{14}&!$pad{13}))&(!$pad{15})") if defined $pad{1};
  $oc{$pad{2}} = 1 if defined $pad{2};
  &ocassign($pad{2}, "!(!(!!$pad{10}))&(!$pad{15})") if defined $pad{2};
  $oc{$pad{3}} = 1 if defined $pad{3};
  &ocassign($pad{3}, "!(!(!!$pad{14}&!$pad{13}))&(!$pad{15})") if defined $pad{3};
  $oc{$pad{4}} = 1 if defined $pad{4};
  &ocassign($pad{4}, "!(!(!!$pad{12}&!$pad{13}))&(!$pad{15})") if defined $pad{4};
  $oc{$pad{5}} = 1 if defined $pad{5};
  &ocassign($pad{5}, "!(!(!!$pad{12}&!!$pad{14}&!$pad{13}))&(!$pad{15})") if defined $pad{5};
  $oc{$pad{6}} = 1 if defined $pad{6};
  &ocassign($pad{6}, "!(!(!!$pad{10}))&(!$pad{15})") if defined $pad{6};
  $oc{$pad{7}} = 1 if defined $pad{7};
  &ocassign($pad{7}, "!(!(!!$pad{11}&!$pad{13}))&(!$pad{15})") if defined $pad{7};
  $oc{$pad{9}} = 1 if defined $pad{9};
  &ocassign($pad{9}, "!(!(!!$pad{11}&!!$pad{14}&!$pad{13}))&(!$pad{15})") if defined $pad{9};
}
$hidden{"dec23211a1"} = 0;

sub dec23440a2 {
  $oc{$pad{10}} = 1 if defined $pad{10};
  &ocassign($pad{10}, "!(!$pad{6}\n   #$pad{11}\n   #!$pad{3})&(!(!$pad{13}&!$pad{14}))") if defined $pad{10};
  $oc{$pad{11}} = 1 if defined $pad{11};
  &ocassign($pad{11}, "!(!($pad{1}&$pad{2}\n   #!$pad{4}&$pad{2}\n   #!$pad{7}&$pad{1}\n   #!$pad{4}&!$pad{7}))&(!$pad{13}&!$pad{14})") if defined $pad{11};
  $oc{$pad{12}} = 1 if defined $pad{12};
  &ocassign($pad{12}, "!(!$pad{3}&!$pad{4}&$pad{7}&!$pad{15}&!!$pad{9}&!!$pad{10}\n   #!$pad{3}&!$pad{7}&!$pad{15}&!!$pad{9}&!!$pad{10}\n   #!$pad{3}&!!$pad{15}&!!$pad{9}&!!$pad{10}\n   #$pad{3}&!!$pad{9}&!!$pad{10})&(!(!$pad{13}&!$pad{14}))") if defined $pad{12};
  $oc{$pad{9}} = 1 if defined $pad{9};
  &ocassign($pad{9}, "!(!$pad{5}\n   #$pad{11}\n   #!$pad{3})&(!(!$pad{13}&!$pad{14}))") if defined $pad{9};
}
$hidden{"dec23440a2"} = 0;

sub dec23441a2 {
  $oc{$pad{10}} = 1 if defined $pad{10};
  &ocassign($pad{10}, "!(!$pad{6}\n   #!!$pad{3})&(!(!$pad{13}&!$pad{14}))") if defined $pad{10};
  $oc{$pad{11}} = 1 if defined $pad{11};
  &ocassign($pad{11}, "!(!$pad{1})&(!(!$pad{13}&!$pad{14}))") if defined $pad{11};
  $oc{$pad{12}} = 1 if defined $pad{12};
  &ocassign($pad{12}, "!(!$pad{9}\n   #!$pad{11}\n   #!$pad{10})&(!(!$pad{13}&!$pad{14}))") if defined $pad{12};
  $oc{$pad{9}} = 1 if defined $pad{9};
  &ocassign($pad{9}, "!(!!$pad{2}&!!$pad{15})&(!(!$pad{13}&!$pad{14}))") if defined $pad{9};
}
$hidden{"dec23441a2"} = 0;

sub dec23442a2 {
  $oc{$pad{10}} = 1 if defined $pad{10};
  &ocassign($pad{10}, "!(!($pad{7}&$pad{6}&$pad{5}&!$pad{2}&!$pad{3}&$pad{4}&$pad{15}\n   #$pad{7}&$pad{6}&$pad{1}&!$pad{2}&!$pad{3}&$pad{4}&$pad{15}\n   #$pad{7}&$pad{1}&!$pad{2}&$pad{3}&$pad{4}&$pad{15}\n   #$pad{7}&!$pad{6}&$pad{5}&$pad{1}&!$pad{2}&$pad{3}&!$pad{4}&$pad{15}\n   #!$pad{7}&$pad{6}&!$pad{5}&$pad{1}&$pad{2}&!$pad{3}&$pad{4}\n   #!$pad{7}&!$pad{6}&$pad{5}&$pad{2}&$pad{3}&$pad{4}\n   #!$pad{7}&$pad{6}&$pad{5}&$pad{1}&$pad{2}&!$pad{4}&$pad{15}\n   #!$pad{7}&!$pad{6}&$pad{5}&$pad{1}&$pad{2}&$pad{3}&!$pad{4}\n   #$pad{7}&!$pad{6}&$pad{5}&!$pad{2}&$pad{3}&$pad{4}&$pad{15}\n   #!$pad{7}&$pad{6}&$pad{5}&$pad{2}&!$pad{3}&$pad{4}&$pad{15}\n   #$pad{7}&$pad{6}&$pad{5}&$pad{1}&!$pad{2}&!$pad{3}\n   #!$pad{7}&!$pad{6}&$pad{1}&$pad{2}&$pad{3}&$pad{4}\n   #$pad{7}&!$pad{1}&$pad{2}&!$pad{3}&!$pad{4}&$pad{15}\n   #$pad{7}&!$pad{5}&$pad{2}&!$pad{3}&!$pad{4}&$pad{15}\n   #$pad{7}&!$pad{5}&!$pad{1}&$pad{2}&!$pad{3}&$pad{15}\n   #$pad{7}&!$pad{6}&!$pad{1}&$pad{2}&!$pad{4}&$pad{15}\n   #$pad{7}&!$pad{6}&!$pad{5}&$pad{2}&!$pad{4}&$pad{15}\n   #$pad{7}&!$pad{6}&!$pad{5}&!$pad{1}&$pad{2}&$pad{15}\n   #$pad{7}&$pad{6}&!$pad{2}&$pad{3}&$pad{15}\n   #!$pad{7}&$pad{6}&$pad{2}&$pad{3}&$pad{15}\n   #$pad{7}&$pad{6}&$pad{5}&$pad{1}&!$pad{15}\n   #!$pad{7}&!$pad{6}&$pad{5}&!$pad{15}\n   #$pad{7}&!$pad{6}&$pad{2}&!$pad{3}&$pad{15}\n   #!$pad{7}&!$pad{1}&!$pad{2}&!$pad{3}&!$pad{4}\n   #!$pad{7}&!$pad{5}&!$pad{2}&!$pad{3}&!$pad{4}\n   #!$pad{7}&!$pad{5}&!$pad{1}&!$pad{2}&!$pad{3}\n   #!$pad{7}&!$pad{6}&!$pad{1}&!$pad{2}&!$pad{4}\n   #!$pad{7}&!$pad{6}&!$pad{5}&!$pad{2}&!$pad{4}\n   #!$pad{7}&!$pad{6}&!$pad{5}&!$pad{1}&!$pad{2}\n   #!$pad{7}&!$pad{6}&!$pad{2}&!$pad{3}\n   #!$pad{7}&!$pad{1}&!$pad{15}\n   #!$pad{7}&!$pad{5}&!$pad{15}))&(!$pad{13}&!$pad{14})") if defined $pad{10};
  $oc{$pad{11}} = 1 if defined $pad{11};
  &ocassign($pad{11}, "!(!($pad{6}&$pad{1}&!$pad{3}&$pad{4}&$pad{15}\n   #!$pad{6}&$pad{5}&!$pad{1}&$pad{3}&$pad{4}\n   #$pad{6}&$pad{5}&$pad{1}&!$pad{3}&!$pad{4}\n   #!$pad{6}&$pad{5}&$pad{1}&$pad{3}&!$pad{4}&$pad{15}\n   #!$pad{6}&!$pad{5}&!$pad{1}&!$pad{3}&$pad{4}\n   #!$pad{6}&!$pad{5}&!$pad{3}&!$pad{4}\n   #!$pad{7}&$pad{6}&$pad{5}&$pad{1}&!$pad{15}\n   #$pad{6}&$pad{5}&!$pad{3}&$pad{4}&$pad{15}\n   #!$pad{6}&$pad{1}&$pad{3}&$pad{4}&$pad{15}\n   #$pad{6}&!$pad{1}&$pad{3}&!$pad{4}&$pad{15}\n   #$pad{6}&!$pad{5}&$pad{3}&!$pad{4}&$pad{15}\n   #$pad{6}&!$pad{5}&!$pad{1}&$pad{3}&$pad{15}\n   #$pad{7}&$pad{6}&$pad{5}&$pad{1}&!$pad{15}\n   #!$pad{6}&!$pad{1}&!$pad{3}&!$pad{4}\n   #!$pad{6}&!$pad{1}&!$pad{15}\n   #!$pad{6}&!$pad{5}&!$pad{15}))&(!$pad{13}&!$pad{14})") if defined $pad{11};
  $oc{$pad{12}} = 1 if defined $pad{12};
  &ocassign($pad{12}, "!(!(!$pad{6}&$pad{5}&$pad{1}&!$pad{15}\n   #!$pad{7}&$pad{6}&$pad{5}&$pad{1}&!$pad{15}\n   #$pad{7}&$pad{6}&$pad{5}&$pad{1}&!$pad{15}\n   #$pad{5}&!$pad{1}&$pad{4}&$pad{15}\n   #!$pad{5}&$pad{1}&$pad{4}&$pad{15}\n   #!$pad{5}&!$pad{1}&!$pad{4}\n   #$pad{5}&$pad{1}&!$pad{4}\n   #!$pad{5}&!$pad{1}&!$pad{15}))&(!$pad{13}&!$pad{14})") if defined $pad{12};
  $oc{$pad{9}} = 1 if defined $pad{9};
  &ocassign($pad{9}, "!(!(!$pad{7}&!$pad{15}\n   #!$pad{6}&!$pad{15}\n   #!$pad{1}&!$pad{2}&!$pad{3}&!$pad{4}\n   #!$pad{5}&!$pad{2}&!$pad{3}&!$pad{4}\n   #!$pad{5}&!$pad{1}&!$pad{2}&!$pad{3}\n   #!$pad{7}&!$pad{1}&!$pad{3}&!$pad{4}\n   #!$pad{6}&!$pad{1}&!$pad{2}&!$pad{4}\n   #!$pad{7}&!$pad{5}&!$pad{3}&!$pad{4}\n   #!$pad{6}&!$pad{5}&!$pad{2}&!$pad{4}\n   #!$pad{7}&!$pad{5}&!$pad{1}&!$pad{3}\n   #!$pad{6}&!$pad{5}&!$pad{1}&!$pad{2}\n   #!$pad{7}&!$pad{6}&!$pad{1}&!$pad{4}\n   #!$pad{7}&!$pad{6}&!$pad{5}&!$pad{4}\n   #!$pad{7}&!$pad{6}&!$pad{5}&!$pad{1}\n   #!$pad{6}&!$pad{2}&!$pad{3}\n   #!$pad{7}&!$pad{6}&!$pad{3}\n   #!$pad{1}&!$pad{15}\n   #!$pad{5}&!$pad{15}\n   #!$pad{7}&!$pad{2}))&(!$pad{13}&!$pad{14})") if defined $pad{9};
}
$hidden{"dec23442a2"} = 0;

sub dec23621a9 {
  $oc{$pad{10}} = 1 if defined $pad{10};
  &ocassign($pad{10}, "!(!($pad{3}&$pad{2}&$pad{14}&!$pad{15}\n   #$pad{1}&$pad{3}&!$pad{6}&!$pad{14}&!$pad{15}\n   #$pad{6}&!$pad{14}&!$pad{15}\n   #!$pad{1}&$pad{3}&$pad{6}&!$pad{2}&!$pad{7}&$pad{14}&!$pad{15}\n   #!$pad{1}&!$pad{3}&$pad{6}&$pad{2}&!$pad{7}&$pad{14}&!$pad{15}\n   #!$pad{1}&$pad{3}&!$pad{6}&!$pad{2}&$pad{7}&$pad{14}&!$pad{15}\n   #$pad{3}&$pad{6}&!$pad{2}&$pad{7}&$pad{14}&!$pad{15}\n   #$pad{1}&!$pad{3}&$pad{6}&$pad{2}&$pad{7}&$pad{14}&!$pad{15}\n   #!$pad{1}&!$pad{3}&$pad{2}&$pad{7}&$pad{14}&!$pad{15}\n   #$pad{4}&$pad{2}&$pad{14}&$pad{15}\n   #$pad{1}&$pad{4}&!$pad{5}&!$pad{14}&$pad{15}\n   #$pad{5}&!$pad{14}&$pad{15}\n   #!$pad{1}&!$pad{4}&$pad{2}&$pad{7}&$pad{14}&$pad{15}\n   #!$pad{1}&$pad{4}&$pad{5}&!$pad{2}&!$pad{7}&$pad{14}&$pad{15}\n   #!$pad{1}&!$pad{4}&$pad{5}&$pad{2}&!$pad{7}&$pad{14}&$pad{15}\n   #!$pad{1}&$pad{4}&!$pad{5}&!$pad{2}&$pad{7}&$pad{14}&$pad{15}\n   #$pad{4}&$pad{5}&!$pad{2}&$pad{7}&$pad{14}&$pad{15}\n   #$pad{1}&!$pad{4}&$pad{5}&$pad{2}&$pad{7}&$pad{14}&$pad{15}\n   #!$pad{1}&!$pad{6}&!$pad{14}&!$pad{15}\n   #!$pad{1}&!$pad{5}&!$pad{14}&$pad{15}))&(!$pad{13})") if defined $pad{10};
  $oc{$pad{11}} = 1 if defined $pad{11};
  &ocassign($pad{11}, "!(!(!$pad{1}&!$pad{4}&!$pad{5}&!$pad{14}&$pad{15}\n   #!$pad{4}&$pad{5}&!$pad{14}&$pad{15}\n   #!$pad{1}&!$pad{4}&$pad{5}&$pad{2}&!$pad{7}&$pad{14}&$pad{15}\n   #$pad{1}&$pad{4}&!$pad{5}&$pad{2}&$pad{7}&$pad{14}&$pad{15}\n   #$pad{1}&!$pad{4}&$pad{5}&$pad{2}&$pad{7}&$pad{14}&$pad{15}\n   #$pad{1}&$pad{4}&!$pad{5}&!$pad{14}&$pad{15}\n   #!$pad{1}&$pad{4}&$pad{5}&!$pad{2}&!$pad{7}&$pad{14}&$pad{15}\n   #!$pad{1}&$pad{4}&!$pad{5}&!$pad{2}&$pad{7}&$pad{14}&$pad{15}\n   #$pad{4}&$pad{5}&!$pad{2}&$pad{7}&$pad{14}&$pad{15}\n   #$pad{1}&$pad{4}&$pad{5}&$pad{2}&!$pad{7}&$pad{14}&$pad{15}\n   #$pad{4}&!$pad{5}&$pad{2}&!$pad{7}&$pad{14}&$pad{15}\n   #!$pad{1}&!$pad{3}&$pad{2}&$pad{7}&$pad{14}&!$pad{15}\n   #$pad{1}&$pad{3}&!$pad{6}&$pad{2}&$pad{7}&$pad{14}&!$pad{15}\n   #$pad{1}&$pad{3}&!$pad{6}&!$pad{14}&!$pad{15}\n   #!$pad{1}&!$pad{3}&!$pad{6}&!$pad{14}&!$pad{15}\n   #!$pad{3}&$pad{6}&!$pad{14}&!$pad{15}\n   #!$pad{1}&!$pad{3}&$pad{6}&$pad{2}&!$pad{7}&$pad{14}&!$pad{15}\n   #$pad{1}&!$pad{3}&$pad{6}&$pad{2}&$pad{7}&$pad{14}&!$pad{15}\n   #!$pad{1}&!$pad{4}&$pad{2}&$pad{7}&$pad{14}&$pad{15}\n   #!$pad{1}&$pad{3}&$pad{6}&!$pad{2}&!$pad{7}&$pad{14}&!$pad{15}\n   #!$pad{1}&$pad{3}&!$pad{6}&!$pad{2}&$pad{7}&$pad{14}&!$pad{15}\n   #$pad{3}&$pad{6}&!$pad{2}&$pad{7}&$pad{14}&!$pad{15}\n   #$pad{1}&$pad{3}&$pad{6}&$pad{2}&!$pad{7}&$pad{14}&!$pad{15}\n   #$pad{3}&!$pad{6}&$pad{2}&!$pad{7}&$pad{14}&!$pad{15}\n   #!$pad{3}&!$pad{6}&!$pad{2}&!$pad{7}&$pad{14}&!$pad{15}\n   #!$pad{4}&!$pad{5}&!$pad{2}&!$pad{7}&$pad{14}&$pad{15}\n   #$pad{1}&!$pad{3}&!$pad{6}&!$pad{2}&$pad{14}&!$pad{15}\n   #$pad{1}&!$pad{4}&!$pad{5}&!$pad{2}&$pad{14}&$pad{15}\n   #$pad{1}&!$pad{3}&!$pad{2}&!$pad{7}&$pad{14}&!$pad{15}\n   #$pad{1}&!$pad{4}&!$pad{2}&!$pad{7}&$pad{14}&$pad{15}))&(!$pad{13})") if defined $pad{11};
  $oc{$pad{12}} = 1 if defined $pad{12};
  &ocassign($pad{12}, "!(!($pad{1}&$pad{5}&!$pad{7}&!$pad{14}&$pad{15}\n   #$pad{1}&$pad{6}&!$pad{7}&!$pad{14}&!$pad{15}\n   #$pad{1}&!$pad{6}&!$pad{7}&$pad{14}&!$pad{15}\n   #$pad{1}&!$pad{5}&!$pad{7}&$pad{14}&$pad{15}\n   #!$pad{1}&$pad{6}&!$pad{7}&$pad{14}&!$pad{15}\n   #!$pad{1}&$pad{5}&!$pad{7}&$pad{14}&$pad{15}\n   #$pad{1}&$pad{6}&$pad{7}&!$pad{15}\n   #$pad{1}&$pad{5}&$pad{7}&$pad{15}\n   #!$pad{1}&!$pad{6}&!$pad{14}&!$pad{15}\n   #!$pad{1}&!$pad{5}&!$pad{14}&$pad{15}\n   #!$pad{1}&!$pad{6}&$pad{7}&!$pad{15}\n   #!$pad{1}&!$pad{5}&$pad{7}&$pad{15}))&(!$pad{13})") if defined $pad{12};
}
$hidden{"dec23621a9"} = 0;

1;
