digraph G {
    x5 [label="x5 (r9)" , style="filled", fillcolor="red"];
    x7 [label="x7 (r15)" , style="filled", fillcolor="red"];
    x9 [label="x9 (RDX)" , style="filled", fillcolor="red"];
    x10 [label="x10" ];
    x11 [label="x11" ];
    x13 [label="x13 (r8)" , style="filled", fillcolor="red"];
    x15 [label="x15 (RSI)" , style="filled", fillcolor="red"];
    x17 [label="x17" ];
    x18 [label="x18 (r13)" , style="filled", fillcolor="red"];
    x19 [label="x19 (RBX)" , style="filled", fillcolor="red"];
    x20_128_high [label="x20_128_high (r11)" , style="filled", fillcolor="red"];
    x20_128_low [label="x20_128_low (r12)" , style="filled", fillcolor="red"];
    x20_128_tmp [label="x20_128_tmp (r12:r11)" , style="filled", fillcolor="red"];
    x21_128_high [label="x21_128_high (r11)" , style="filled", fillcolor="red"];
    x21_128_low [label="x21_128_low (r12)" , style="filled", fillcolor="red"];
    x21_128_tmp [label="x21_128_tmp (r12:r11)" , style="filled", fillcolor="red"];
    x22_128_high [label="x22_128_high (r11)" , style="filled", fillcolor="red"];
    x22_128_low [label="x22_128_low (r12)" , style="filled", fillcolor="red"];
    x22_128_tmp [label="x22_128_tmp (r12:r11)" , style="filled", fillcolor="red"];
    x24_128_high [label="x24_128_high" ];
    x24_128_low [label="x24_128_low" ];
    x24_128_tmp [label="x24_128_tmp" ];
    x25_128_high [label="x25_128_high (r11)" , style="filled", fillcolor="red"];
    x25_128_low [label="x25_128_low (r12)" , style="filled", fillcolor="red"];
    x25_128_tmp [label="x25_128_tmp (r12:r11)" , style="filled", fillcolor="red"];
    x27_128_high [label="x27_128_high (r11)" , style="filled", fillcolor="red"];
    x27_128_low [label="x27_128_low (r12)" , style="filled", fillcolor="red"];
    x27_128_tmp [label="x27_128_tmp (r12:r11)" , style="filled", fillcolor="red"];
    x29_128_high [label="x29_128_high" ];
    x29_128_low [label="x29_128_low" ];
    x29_128_tmp [label="x29_128_tmp" ];
    x30_128_high [label="x30_128_high" ];
    x30_128_low [label="x30_128_low" ];
    x30_128_tmp [label="x30_128_tmp" ];
    x32_128_high [label="x32_128_high" ];
    x32_128_low [label="x32_128_low" ];
    x32_128_tmp [label="x32_128_tmp" ];
    x34_128_high [label="x34_128_high" ];
    x34_128_low [label="x34_128_low" ];
    x34_128_tmp [label="x34_128_tmp" ];
    x36_128_high [label="x36_128_high" ];
    x36_128_low [label="x36_128_low" ];
    x36_128_tmp [label="x36_128_tmp" ];
    x37_128_high [label="x37_128_high" ];
    x37_128_low [label="x37_128_low" ];
    x37_128_tmp [label="x37_128_tmp" ];
    x39_128_high [label="x39_128_high" ];
    x39_128_low [label="x39_128_low" ];
    x39_128_tmp [label="x39_128_tmp" ];
    x41_128_high [label="x41_128_high" ];
    x41_128_low [label="x41_128_low" ];
    x41_128_tmp [label="x41_128_tmp" ];
    x43_128_high [label="x43_128_high" ];
    x43_128_low [label="x43_128_low" ];
    x43_128_tmp [label="x43_128_tmp" ];
    x45 [label="x45" ];
    x46 [label="x46 (r14)" , style="filled", fillcolor="red"];
    x47 [label="x47 (RCX)" , style="filled", fillcolor="red"];
    x48 [label="x48" ];
    x49_128_high [label="x49_128_high" ];
    x49_128_low [label="x49_128_low" ];
    x49_128_tmp [label="x49_128_tmp" ];
    x51_128_high [label="x51_128_high (r11)" , style="filled", fillcolor="red"];
    x51_128_low [label="x51_128_low (r12)" , style="filled", fillcolor="red"];
    x51_128_tmp [label="x51_128_tmp (r12:r11)" , style="filled", fillcolor="red"];
    x53_128_high [label="x53_128_high (r11)" , style="filled", fillcolor="red"];
    x53_128_low [label="x53_128_low (r12)" , style="filled", fillcolor="red"];
    x53_128_tmp [label="x53_128_tmp (r12:r11)" , style="filled", fillcolor="red"];
    x55_128_high [label="x55_128_high" ];
    x55_128_low [label="x55_128_low" ];
    x55_128_tmp [label="x55_128_tmp" ];
    cx56_128 [label="cx56_128" ];
    x56_128 [label="x50_128 + x52_128 + x54_128 + x56_128" ];
    x56_128_high [label="x50_128_high + x52_128_high + x54_128_high + x56_128_high (r10)" , style="filled", fillcolor="red"];
    x56_128_low [label="x50_128_low + x52_128_low + x54_128_low + x56_128_low (r14)" , style="filled", fillcolor="red"];
    x57_128_high [label="x57_128_high" ];
    x57_128_low [label="x57_128_low" ];
    x57_128_tmp [label="x57_128_tmp" ];
    x59_128_high [label="x59_128_high (r11)" , style="filled", fillcolor="red"];
    x59_128_low [label="x59_128_low (r12)" , style="filled", fillcolor="red"];
    x59_128_tmp [label="x59_128_tmp (r12:r11)" , style="filled", fillcolor="red"];
    x61_128_high [label="x61_128_high" ];
    x61_128_low [label="x61_128_low" ];
    x61_128_tmp [label="x61_128_tmp" ];
    x63_128_high [label="x63_128_high" ];
    x63_128_low [label="x63_128_low" ];
    x63_128_tmp [label="x63_128_tmp" ];
    x65_128_high [label="x65_128_high" ];
    x65_128_low [label="x65_128_low" ];
    x65_128_tmp [label="x65_128_tmp" ];
    x67_128_high [label="x67_128_high" ];
    x67_128_low [label="x67_128_low" ];
    x67_128_tmp [label="x67_128_tmp" ];
    x69 [label="x69" ];
    x70 [label="x70" ];
    cx71_128 [label="cx71_128" ];
    x71_128 [label="x23_128 + x58_128 + x60_128 + x62_128 + x71_128" ];
    x71_128_high [label="x23_128_high + x58_128_high + x60_128_high + x62_128_high + x71_128_high (RDI)" , style="filled", fillcolor="red"];
    x71_128_low [label="x23_128_low + x58_128_low + x60_128_low + x62_128_low + x71_128_low (RBP)" , style="filled", fillcolor="red"];
    x72 [label="x72" ];
    x73 [label="x73" ];
    cx74_128 [label="cx74_128" ];
    x74_128 [label="x26_128 + x28_128 + x64_128 + x66_128 + x74_128" ];
    x74_128_high [label="x26_128_high + x28_128_high + x64_128_high + x66_128_high + x74_128_high (RAX)" , style="filled", fillcolor="red"];
    x74_128_low [label="x26_128_low + x28_128_low + x64_128_low + x66_128_low + x74_128_low (RCX)" , style="filled", fillcolor="red"];
    x75 [label="x75" ];
    x76 [label="x76" ];
    cx77_128 [label="cx77_128" ];
    x77_128 [label="x31_128 + x33_128 + x35_128 + x68_128 + x77_128" ];
    x77_128_high [label="x31_128_high + x33_128_high + x35_128_high + x68_128_high + x77_128_high" ];
    x77_128_low [label="x31_128_low + x33_128_low + x35_128_low + x68_128_low + x77_128_low" ];
    x78 [label="x78" ];
    x79 [label="x79" ];
    cx80_128 [label="cx80_128" ];
    x80_128 [label="x38_128 + x40_128 + x42_128 + x44_128 + x80_128" ];
    x80_128_high [label="x38_128_high + x40_128_high + x42_128_high + x44_128_high + x80_128_high" ];
    x80_128_low [label="x38_128_low + x40_128_low + x42_128_low + x44_128_low + x80_128_low" ];
    x81 [label="x81" ];
    x82 [label="x82" ];
    x83 [label="x83" ];
    x84 [label="x84" ];
    x85 [label="x85" ];
    x86 [label="x86" ];
    x87 [label="x87" ];
    x88 [label="x88" ];
    x89 [label="x89" ];
    x90 [label="x90" ];
    x56_128_low -> cx56_128 [ label="GET_CARRY" ] ;
    x71_128_low -> cx71_128 [ label="GET_CARRY" ] ;
    x74_128_low -> cx74_128 [ label="GET_CARRY" ] ;
    x77_128_low -> cx77_128 [ label="GET_CARRY" ] ;
    x80_128_low -> cx80_128 [ label="GET_CARRY" ] ;
    x20_128_tmp -> x20_128_high [ label="GET_HIGH" ] ;
    x20_128_tmp -> x20_128_low [ label="GET_LOW" ] ;
    x5 -> x20_128_tmp [ label="*" ] ;
    x13 -> x20_128_tmp [ label="*" ] ;
    x21_128_tmp -> x21_128_high [ label="GET_HIGH" ] ;
    x21_128_tmp -> x21_128_low [ label="GET_LOW" ] ;
    x5 -> x21_128_tmp [ label="*" ] ;
    x15 -> x21_128_tmp [ label="*" ] ;
    x22_128_tmp -> x22_128_high [ label="GET_HIGH" ] ;
    x22_128_tmp -> x22_128_low [ label="GET_LOW" ] ;
    x7 -> x22_128_tmp [ label="*" ] ;
    x13 -> x22_128_tmp [ label="*" ] ;
    x24_128_tmp -> x24_128_high [ label="GET_HIGH" ] ;
    x24_128_tmp -> x24_128_low [ label="GET_LOW" ] ;
    x5 -> x24_128_tmp [ label="*" ] ;
    x17 -> x24_128_tmp [ label="*" ] ;
    x25_128_tmp -> x25_128_high [ label="GET_HIGH" ] ;
    x25_128_tmp -> x25_128_low [ label="GET_LOW" ] ;
    x9 -> x25_128_tmp [ label="*" ] ;
    x13 -> x25_128_tmp [ label="*" ] ;
    x27_128_tmp -> x27_128_high [ label="GET_HIGH" ] ;
    x27_128_tmp -> x27_128_low [ label="GET_LOW" ] ;
    x7 -> x27_128_tmp [ label="*" ] ;
    x15 -> x27_128_tmp [ label="*" ] ;
    x29_128_tmp -> x29_128_high [ label="GET_HIGH" ] ;
    x29_128_tmp -> x29_128_low [ label="GET_LOW" ] ;
    x5 -> x29_128_tmp [ label="*" ] ;
    x19 -> x29_128_tmp [ label="*" ] ;
    x30_128_tmp -> x30_128_high [ label="GET_HIGH" ] ;
    x30_128_tmp -> x30_128_low [ label="GET_LOW" ] ;
    x11 -> x30_128_tmp [ label="*" ] ;
    x13 -> x30_128_tmp [ label="*" ] ;
    x32_128_tmp -> x32_128_high [ label="GET_HIGH" ] ;
    x32_128_tmp -> x32_128_low [ label="GET_LOW" ] ;
    x7 -> x32_128_tmp [ label="*" ] ;
    x17 -> x32_128_tmp [ label="*" ] ;
    x34_128_tmp -> x34_128_high [ label="GET_HIGH" ] ;
    x34_128_tmp -> x34_128_low [ label="GET_LOW" ] ;
    x9 -> x34_128_tmp [ label="*" ] ;
    x15 -> x34_128_tmp [ label="*" ] ;
    x36_128_tmp -> x36_128_high [ label="GET_HIGH" ] ;
    x36_128_tmp -> x36_128_low [ label="GET_LOW" ] ;
    x5 -> x36_128_tmp [ label="*" ] ;
    x18 -> x36_128_tmp [ label="*" ] ;
    x37_128_tmp -> x37_128_high [ label="GET_HIGH" ] ;
    x37_128_tmp -> x37_128_low [ label="GET_LOW" ] ;
    x10 -> x37_128_tmp [ label="*" ] ;
    x13 -> x37_128_tmp [ label="*" ] ;
    x39_128_tmp -> x39_128_high [ label="GET_HIGH" ] ;
    x39_128_tmp -> x39_128_low [ label="GET_LOW" ] ;
    x11 -> x39_128_tmp [ label="*" ] ;
    x15 -> x39_128_tmp [ label="*" ] ;
    x41_128_tmp -> x41_128_high [ label="GET_HIGH" ] ;
    x41_128_tmp -> x41_128_low [ label="GET_LOW" ] ;
    x7 -> x41_128_tmp [ label="*" ] ;
    x19 -> x41_128_tmp [ label="*" ] ;
    x43_128_tmp -> x43_128_high [ label="GET_HIGH" ] ;
    x43_128_tmp -> x43_128_low [ label="GET_LOW" ] ;
    x9 -> x43_128_tmp [ label="*" ] ;
    x17 -> x43_128_tmp [ label="*" ] ;
    x10 -> x45 [ label="*" ] ;
    x7 -> x46 [ label="*" ] ;
    x9 -> x47 [ label="*" ] ;
    x11 -> x48 [ label="*" ] ;
    x49_128_tmp -> x49_128_high [ label="GET_HIGH" ] ;
    x49_128_tmp -> x49_128_low [ label="GET_LOW" ] ;
    x45 -> x49_128_tmp [ label="*" ] ;
    x15 -> x49_128_tmp [ label="*" ] ;
    x51_128_tmp -> x51_128_high [ label="GET_HIGH" ] ;
    x51_128_tmp -> x51_128_low [ label="GET_LOW" ] ;
    x46 -> x51_128_tmp [ label="*" ] ;
    x18 -> x51_128_tmp [ label="*" ] ;
    x53_128_tmp -> x53_128_high [ label="GET_HIGH" ] ;
    x53_128_tmp -> x53_128_low [ label="GET_LOW" ] ;
    x47 -> x53_128_tmp [ label="*" ] ;
    x19 -> x53_128_tmp [ label="*" ] ;
    x55_128_tmp -> x55_128_high [ label="GET_HIGH" ] ;
    x55_128_tmp -> x55_128_low [ label="GET_LOW" ] ;
    x48 -> x55_128_tmp [ label="*" ] ;
    x17 -> x55_128_tmp [ label="*" ] ;
    x56_128_low -> x56_128 [ label="COMBINE" ] ;
    x56_128_high -> x56_128 [ label="COMBINE" ] ;
    cx56_128 -> x56_128_high [ label="+" ] ;
    x55_128_high -> x56_128_high [ label="+" ] ;
    x53_128_high -> x56_128_high [ label="+" ] ;
    x51_128_high -> x56_128_high [ label="+" ] ;
    x20_128_high -> x56_128_high [ label="+" ] ;
    x49_128_high -> x56_128_high [ label="+" ] ;
    x55_128_low -> x56_128_low [ label="+" ] ;
    x53_128_low -> x56_128_low [ label="+" ] ;
    x51_128_low -> x56_128_low [ label="+" ] ;
    x20_128_low -> x56_128_low [ label="+" ] ;
    x49_128_low -> x56_128_low [ label="+" ] ;
    x57_128_tmp -> x57_128_high [ label="GET_HIGH" ] ;
    x57_128_tmp -> x57_128_low [ label="GET_LOW" ] ;
    x45 -> x57_128_tmp [ label="*" ] ;
    x17 -> x57_128_tmp [ label="*" ] ;
    x59_128_tmp -> x59_128_high [ label="GET_HIGH" ] ;
    x59_128_tmp -> x59_128_low [ label="GET_LOW" ] ;
    x47 -> x59_128_tmp [ label="*" ] ;
    x18 -> x59_128_tmp [ label="*" ] ;
    x61_128_tmp -> x61_128_high [ label="GET_HIGH" ] ;
    x61_128_tmp -> x61_128_low [ label="GET_LOW" ] ;
    x48 -> x61_128_tmp [ label="*" ] ;
    x19 -> x61_128_tmp [ label="*" ] ;
    x63_128_tmp -> x63_128_high [ label="GET_HIGH" ] ;
    x63_128_tmp -> x63_128_low [ label="GET_LOW" ] ;
    x45 -> x63_128_tmp [ label="*" ] ;
    x19 -> x63_128_tmp [ label="*" ] ;
    x65_128_tmp -> x65_128_high [ label="GET_HIGH" ] ;
    x65_128_tmp -> x65_128_low [ label="GET_LOW" ] ;
    x48 -> x65_128_tmp [ label="*" ] ;
    x18 -> x65_128_tmp [ label="*" ] ;
    x67_128_tmp -> x67_128_high [ label="GET_HIGH" ] ;
    x67_128_tmp -> x67_128_low [ label="GET_LOW" ] ;
    x45 -> x67_128_tmp [ label="*" ] ;
    x18 -> x67_128_tmp [ label="*" ] ;
    x56_128 -> x69 [ label=">>" ] ;
    x56_128_low -> x70 [ label="&" ] ;
    x71_128_low -> x71_128 [ label="COMBINE" ] ;
    x71_128_high -> x71_128 [ label="COMBINE" ] ;
    cx71_128 -> x71_128_high [ label="+" ] ;
    x61_128_high -> x71_128_high [ label="+" ] ;
    x59_128_high -> x71_128_high [ label="+" ] ;
    x57_128_high -> x71_128_high [ label="+" ] ;
    x21_128_high -> x71_128_high [ label="+" ] ;
    x22_128_high -> x71_128_high [ label="+" ] ;
    x69 -> x71_128_low [ label="+" ] ;
    x61_128_low -> x71_128_low [ label="+" ] ;
    x59_128_low -> x71_128_low [ label="+" ] ;
    x57_128_low -> x71_128_low [ label="+" ] ;
    x21_128_low -> x71_128_low [ label="+" ] ;
    x22_128_low -> x71_128_low [ label="+" ] ;
    x71_128 -> x72 [ label=">>" ] ;
    x71_128_low -> x73 [ label="&" ] ;
    x74_128_low -> x74_128 [ label="COMBINE" ] ;
    x74_128_high -> x74_128 [ label="COMBINE" ] ;
    cx74_128 -> x74_128_high [ label="+" ] ;
    x65_128_high -> x74_128_high [ label="+" ] ;
    x63_128_high -> x74_128_high [ label="+" ] ;
    x27_128_high -> x74_128_high [ label="+" ] ;
    x24_128_high -> x74_128_high [ label="+" ] ;
    x25_128_high -> x74_128_high [ label="+" ] ;
    x72 -> x74_128_low [ label="+" ] ;
    x65_128_low -> x74_128_low [ label="+" ] ;
    x63_128_low -> x74_128_low [ label="+" ] ;
    x27_128_low -> x74_128_low [ label="+" ] ;
    x24_128_low -> x74_128_low [ label="+" ] ;
    x25_128_low -> x74_128_low [ label="+" ] ;
    x74_128 -> x75 [ label=">>" ] ;
    x74_128_low -> x76 [ label="&" ] ;
    x77_128_low -> x77_128 [ label="COMBINE" ] ;
    x77_128_high -> x77_128 [ label="COMBINE" ] ;
    cx77_128 -> x77_128_high [ label="+" ] ;
    x67_128_high -> x77_128_high [ label="+" ] ;
    x34_128_high -> x77_128_high [ label="+" ] ;
    x32_128_high -> x77_128_high [ label="+" ] ;
    x29_128_high -> x77_128_high [ label="+" ] ;
    x30_128_high -> x77_128_high [ label="+" ] ;
    x75 -> x77_128_low [ label="+" ] ;
    x67_128_low -> x77_128_low [ label="+" ] ;
    x34_128_low -> x77_128_low [ label="+" ] ;
    x32_128_low -> x77_128_low [ label="+" ] ;
    x29_128_low -> x77_128_low [ label="+" ] ;
    x30_128_low -> x77_128_low [ label="+" ] ;
    x77_128 -> x78 [ label=">>" ] ;
    x77_128_low -> x79 [ label="&" ] ;
    x80_128_low -> x80_128 [ label="COMBINE" ] ;
    x80_128_high -> x80_128 [ label="COMBINE" ] ;
    cx80_128 -> x80_128_high [ label="+" ] ;
    x43_128_high -> x80_128_high [ label="+" ] ;
    x41_128_high -> x80_128_high [ label="+" ] ;
    x39_128_high -> x80_128_high [ label="+" ] ;
    x36_128_high -> x80_128_high [ label="+" ] ;
    x37_128_high -> x80_128_high [ label="+" ] ;
    x78 -> x80_128_low [ label="+" ] ;
    x43_128_low -> x80_128_low [ label="+" ] ;
    x41_128_low -> x80_128_low [ label="+" ] ;
    x39_128_low -> x80_128_low [ label="+" ] ;
    x36_128_low -> x80_128_low [ label="+" ] ;
    x37_128_low -> x80_128_low [ label="+" ] ;
    x80_128 -> x81 [ label=">>" ] ;
    x80_128_low -> x82 [ label="&" ] ;
    x81 -> x83 [ label="*" ] ;
    x70 -> x84 [ label="+" ] ;
    x83 -> x84 [ label="+" ] ;
    x84 -> x85 [ label=">>" ] ;
    x84 -> x86 [ label="&" ] ;
    x85 -> x87 [ label="+" ] ;
    x73 -> x87 [ label="+" ] ;
    x87 -> x88 [ label=">>" ] ;
    x87 -> x89 [ label="&" ] ;
    x88 -> x90 [ label="+" ] ;
    x76 -> x90 [ label="+" ] ;
    in -> x13 ;
    in -> x15 ;
    in -> x18 ;
    in -> x19 ;
    in -> x9 ;
    in -> x10 ;
    in -> x11 ;
    in -> x17 ;
    in -> x7 ;
    in -> x5 ;
    x90 -> out ;
    x82 -> out ;
    x89 -> out ;
    x86 -> out ;
    x79 -> out ;
}