Round-six network data, CxNetDataS1_2

Definition
IntMul_Kappa_R6_Data_CxNetDataS1_2
by xuanji · Oct 20, 2026 · Mathlib 0df444a (Lean v4.33.1)
complexity-theoryinteger-multiplicationkappa-improvement
Data bundle IntMul_Kappa_R6_Data_CxNetDataS1_2 of the round-six κ-improvement development: literal network data from the Lean module Solutions.R6CxNetDataS1_2 (S1_2), stored as Lean terms (large natural-number literals, BT trees and lists of numbers). These values are not proved correct by themselves; they are the certificates and snapshots that the kernel checks (decide +kernel nodes) evaluate. A value larger than one bundle is split into parts (X_p…) that are reassembled by an exact node/++ expression, so the reassembled term is definitionally the original one.
Formalization Note. Part of the Lean formalization of the round-six κ-improvement (integer-multiplication-kappa campaign, target IntMul.Kappa.jain_round6_framework). The statement is copied verbatim from the Lean development; the platform node carries the same declaration name. Definitions it mentions live in the IntMul_Kappa_R6_Defs* bundles (on top of the published κ bundles IntMul_Kappa_K_Defs*).
Definition code
-- Round-six κ development (integer-multiplication-kappa), generated by skeleton subtraction.

import Definitions.Def_IntMul_Kappa_R6_Defs24

set_option autoImplicit false
set_option relaxedAutoImplicit false
set_option maxHeartbeats 1000000
set_option maxRecDepth 100000

namespace IntMul.Kappa.R6.Cx.NetData

open NetBT

/-- Code state snapshot 2 of stage 1. -/
def S1_2 : BT := (.node (.node (.node (.node (.node (.node (.node (.node (.leaf 0x20105000001010500000081050800000b010800000a810400000a810800000a010400000a010200000a010800000981040000098102000009810100000981080000090104000009010200000901010000090100800009010800000881040000088102000008810100000881008000088100400008810800000801040000080102000008010100000801008000080100400008010020000801080000078104000007810200000781010000078100800007810040000781002000078100100007810800000701040000070102000007010100000701008000070100400007010020000701001000070100080007010800000681040000068102000006810100000681008000068100400006810020000681001000068100080006810004000681080000060104000006010200000601010000060100800006010040000601002000060100100006010008000601000400060100020006010800000581040000058102000005810100000581008000058100400005810020000581001000058100080005810004000581000200058100010005810800000501040000050102000005010100000501008000050100400005010020000501001000050100080005010004000501000200050100010005010000800501080000048104000004810200000481010000048100800004810040000481002000048100100004810008000481000400048100020004810001000481000080048100004004810800000401040000040102000004010100000401008000040100400004010020000401001000040100080004010004000401000200040100010004010000800401000040040100002004010800000381040000038102000003810100000381008000038100400003810020000381001000038100080003810004000381000200038100010003810000800381000040038100002003810000100381080000030104000003010200000301010000030100800003010040000301002000030100100003010008000301000400030100020003010001000301000080030100004003010000200301000010030100000803010800000281040000028102000002810100000281008000028100400002810020000281001000028100080002810004000281000200028100010002810000800281000040028100002002810000100281000008028100000402810800000201040000020102000002010100000201008000020100400002010020000201001000020100080002010004000201000200020100010002010000800201000040020100002002010000100201000008020100000402010000020201080000018104000001810200000181010000018100800001810040000181002000018100100001810008000181000400018100020001810001000181000080018100004001810000200181000010018100000801810000040181000002018100000101810800000101040000010102000001010100000101008000010100400001010020000101001000010100080001010004000101000200010100010001010000800101000040010100002001010000100101000008010100000401010000020101000001010100000081010800000081040000008102000000810100000081008000008100400000810020000081001000008100080000810004000081000200008100010000810000800081000040008100002000810000100081000008008100000400810000020081000001008100000080810000004081) (.leaf 0x0)) (.node (.leaf 0x1000062d001000062d001000062d001000062d001000062d001000062d001000062d000800062d000800062d000800062d000800062d000800062d000800062d000800062d000400062d000400062d000400062d000400062d000400062d000400062d000400062d000200062d000200062d000200062d000200062d000200062d000200062d000200062d000200062d000200062d0800000b290800000b290800000b290800000b290800000b290800000b290800000b290800000b290800000b290800000aa90800000aa90800000aa90800000aa90800000aa90800000aa90800000aa90400000aa90400000aa90400000aa90400000aa90400000aa90400000aa90400000aa90800000a290800000a290800000a290800000a290800000a290800000a290800000a290400000a290400000a290400000a290400000a290400000a290400000a290400000a290200000a290200000a290200000a290200000a290200000a290200000a290200000a290200000a290200000a2908000009a908000009a908000009a908000009a908000009a908000009a908000009a904000009a904000009a904000009a904000009a904000009a904000009a904000009a902000009a902000009a902000009a902000009a902000009a902000009a902000009a901000009a901000009a901000009a901000009a901000009a901000009a901000009a9080000092908000009290800000929080000092908000009290800000929080000092904000009290400000929040000092904000009290400000929040000092904000009290200000929020000092902000009290200000929020000092902000009290200000929010000092901000009290100000929010000092901000009290100000929010000092900800009290080000929008000092900800009290080000929008000092900800009290080000929008000092908000008a908000008a908000008a908000008a908000008a908000008a908000008a904000008a904000008a904000008a904000008a904000008a904000008a904000008a902000008a902000008a902000008a902000008a902000008a902000008a902000008a901000008a901000008a901000008a901000008a901000008a901000008a901000008a900800008a900800008a900800008a900800008a900800008a900800008a900800008a900400008a900400008a900400008a900400008a900400008a900400008a900400008a908000008290800000829080000082908000008290800000829080000082908000008290400000829040000082904000008290400000829040000082904000008290400000829020000082902000008290200000829020000082902000008290200000829020000082901000008290100000829010000082901000008290100000829010000082901000008290080000829008000082900800008290080000829008000082900800008290080000829004000082900400008290040000829004000082900400008290040000829004000082900200008290020000829002000082900200008290020000829002000082900200008290020000829002000082908000007a908000007a908000007a908000007a908000007a908000007a908000007a904000007a904000007a904000007a904000007a904000007a904000007a904000007a902000007a902000007a902000007a902000007a902000007a902000007a902000007a901000007a9) (.leaf 0x0))) (.node (.node (.leaf 0x3000050900100005090010000509001000050900100005090010000509001000050900000c3030000800050900080005090008000509000800050900080005090008000509000c00050900040005090004000509000400050900040005090004000509000400050900000330300002000509000200050900020005090002000509000200050900020005090003000509000100050900010005090001000509000100050900010005090001000509000000f0300000800509000080050900008005090000800509000080050900008005090000800509000080050900008005090800000489080000048908000004890800000489080000048908000004890c000004890400000489040000048904000004890400000489040000048904000004890003000c1002000004890200000489020000048902000004890200000489020000048903000004890100000489010000048901000004890100000489010000048901000004890000c00c1000800004890080000489008000048900800004890080000489008000048900c00004890040000489004000048900400004890040000489004000048900400004890000300c10002000048900200004890020000489002000048900200004890020000489003000048900100004890010000489001000048900100004890010000489001000048900000c0c10000800048900080004890008000489000800048900080004890008000489000c0004890004000489000400048900040004890004000489000400048900040004890000030c100002000489000200048900020004890002000489000200048900020004890003000489000100048900010004890001000489000100048900010004890001000489000000cc100000800489000080048900008004890000800489000080048900008004890000c004890000400489000040048900004004890000400489000040048900004004890000003c100800000409080000040908000004090800000409080000040908000004090c000004090400000409040000040904000004090400000409040000040904000004090003000c3002000004090200000409020000040902000004090200000409020000040903000004090100000409010000040901000004090100000409010000040901000004090000c00c3000800004090080000409008000040900800004090080000409008000040900c00004090040000409004000040900400004090040000409004000040900400004090000300c30002000040900200004090020000409002000040900200004090020000409003000040900100004090010000409001000040900100004090010000409001000040900000c0c30000800040900080004090008000409000800040900080004090008000409000c0004090004000409000400040900040004090004000409000400040900040004090000030c300002000409000200040900020004090002000409000200040900020004090003000409000100040900010004090001000409000100040900010004090001000409000000cc300000800409000080040900008004090000800409000080040900008004090000c004090000400409000040040900004004090000400409000040040900004004090000003c30000020040900002004090000200409000020040900002004090000200409000020040900002004090000200409080000038908000003890800000389080000038908000003890800000389) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x200001010020000101002000010100200001010020000101003000010100100001010010000101001000010100100001010010000101001000010100000c003c000800010100080001010008000101000800010100080001010008000101000c000101000400010100040001010004000101000400010100040001010004000101000003003c0002000101000200010100020001010002000101000200010100020001010003000101000100010100010001010001000101000100010100010001010001000101000000c03c0000800101000080010100008001010000800101000080010100008001010000c00101000040010100004001010000400101000040010100004001010000400101000000303c00002001010000200101000020010100002001010000200101000020010100003001010000100101000010010100001001010000100101000010010100001001010000000c3c00000801010000080101000008010100000801010000080101000008010100000c0101000004010100000401010000040101000004010100000401010000040101000000033c000002010100000201010000020101000002010100000201010000020101000003010100000101010000010101000001010100000101010000010101000001010100000000fc000000810100000081010000008101000000810100000081010000008101000000810100000081010000008101080000008108000000810800000081080000008108000000810800000081080000008108000000810800000081040000008104000000810400000081040000008104000000810400000081040000008104000000810400000081020000008102000000810200000081020000008102000000810200000081020000008102000000810200000081010000008101000000810100000081010000008101000000810100000081010000008101000000810100000081008000008100800000810080000081008000008100800000810080000081008000008100800000810080000081004000008100400000810040000081004000008100400000810040000081004000008100400000810040000081002000008100200000810020000081002000008100200000810020000081002000008100200000810020000081001000008100100000810010000081001000008100100000810010000081001000008100100000810010000081000800008100080000810008000081000800008100080000810008000081000800008100080000810008000081000400008100040000810004000081000400008100040000810004000081000400008100040000810004000081000200008100020000810002000081000200008100020000810002000081000200008100020000810002000081000100008100010000810001000081000100008100010000810001000081000100008100010000810001000081000080008100008000810000800081000080008100008000810000800081000080008100008000810000800081000040008100004000810000400081000040008100004000810000400081000040008100004000810000400081000020008100002000810000200081000020008100002000810000200081000020008100002000810000200081000010008100001000810000100081000010008100001000810000100081000010008100001000810000100081000008008100000800810000080081000008008100000800810000080081) (.leaf 0x0)) (.node (.leaf 0xc0000078d0c0000070d0c0000070d0c0000070d0c0000070d00030300100003030010000303001000030300100c000007890c000007890c000007890c000007890c000007090c000007090c000007090c000007090000c300300000c300300000c300300000c300200000c300200000c30020030000078d030000078d030000078d030000070d030000070d030000070d0000c300100000c300100000c3001003000007890300000789030000078903000007090300000709030000070900003300300000330030000033003000003300200000330020000033002000c000078d00c000078d00c000078d00c000070d00c000070d00c000070d00003300100000330010000033001000c000078900c000078900c000078900c000070900c000070900c000070900000f003000000f003000000f003000000f0020003000078d003000078d003000078d003000070d003000070d003000070d00000f0010003000078900300007890030000789003000070900300007090030000709000300c030000300c030000300c030000300c020000300c020000300c020000300c0200c0000068d0c0000068d0c0000068d0c0000068d0c0000060d0c0000060d0c0000060d0c0000060d000300c010000300c010000300c010000300c0100c000006890c000006890c000006890c000006890c000006090c000006090c000006090c000006090000c0c0300000c0c0300000c0c0300000c0c0200000c0c0200000c0c020030000068d030000068d030000068d030000060d030000060d030000060d0000c0c0100000c0c0100000c0c010030000068903000006890300000689030000060903000006090300000609000030c030000030c030000030c030000030c020000030c020000030c02000c000068d00c000068d00c000068d00c000060d00c000060d00c000060d000030c010000030c010000030c01000c000068900c000068900c000068900c000060900c000060900c000060900000cc03000000cc03000000cc03000000cc02000000cc02000000cc020003000068d003000068d003000068d003000060d003000060d003000060d00000cc01000000cc01000000cc010003000068900300006890030000689003000060900300006090030000609000003c030000003c020000003c020000003c020000c00068d000c00068d000c00068d000c00060d000c00060d000c00060d000003c010000003c010000003c010000c000689000c000689000c000689000c000609000c000609000c00060900030030300003003030000300303000030030200003003020000300302000030030200c0000058d0c0000058d0c0000058d0c0000058d0c0000050d0c0000050d0c0000050d0c0000050d00030030100003003010000300301000030030100c000005890c000005890c000005890c000005890c000005090c000005090c000005090c000005090000c030300000c030300000c030300000c030200000c030200000c03020030000058d030000058d030000058d030000050d030000050d030000050d0000c030100000c030100000c0301003000005890300000589030000058903000005090300000509030000050900003030300000303030000030303000003030200000303020000030302000c000058d00c000058d00c000058d00c000050d00c000050d00c000050d00003030100000303010000030301000c000058900c000058900c000058900c000050900c000050900c000050900000c303000000c3030) (.leaf 0x3fffffc0002fffffc00037ffffc0003bffffc0003dffffc0003effffc0003f7fffc0003fbfffc0003fdfffc0003fefffc0003ff7ffc0003ffbffc0003ffdffc0003ffeffc0003fff7fc0003fffbfc0003fffdfc0003fffefc0003ffff7c0003ffffbc0003ffffdc0003ffffec0003fffff40003fffff800000000000000000000000000000000000000000000000000000000000000000000000000000000))) (.node (.node (.leaf 0x20000815002000081500200008150020000815080000079508000007950800000795080000079508000007950800000795080000079504000007950400000795040000079504000007950400000795040000079504000007950200000795020000079502000007950200000795020000079502000007950200000795010000079501000007950100000795010000079501000007950100000795010000079500800007950080000795008000079500800007950080000795008000079500800007950040000795004000079500400007950040000795004000079500400007950040000795002000079500200007950020000795002000079500200007950020000795002000079500100007950010000795001000079500100007950010000795001000079500100007950800000715080000071508000007150800000715080000071508000007150800000715040000071504000007150400000715040000071504000007150400000715040000071502000007150200000715020000071502000007150200000715020000071502000007150100000715010000071501000007150100000715010000071501000007150100000715008000071500800007150080000715008000071500800007150080000715008000071500400007150040000715004000071500400007150040000715004000071500400007150020000715002000071500200007150020000715002000071500200007150020000715001000071500100007150010000715001000071500100007150010000715001000071500080007150008000715000800071500080007150008000715000800071500080007150008000715000800071508000006950800000695080000069508000006950800000695080000069508000006950400000695040000069504000006950400000695040000069504000006950400000695020000069502000006950200000695020000069502000006950200000695020000069501000006950100000695010000069501000006950100000695010000069501000006950080000695008000069500800006950080000695008000069500800006950080000695004000069500400006950040000695004000069500400006950040000695004000069500200006950020000695002000069500200006950020000695002000069500200006950010000695001000069500100006950010000695001000069500100006950010000695000800069500080006950008000695000800069500080006950008000695000800069500040006950004000695000400069500040006950004000695000400069500040006950800000615080000061508000006150800000615080000061508000006150800000615040000061504000006150400000615040000061504000006150400000615040000061502000006150200000615020000061502000006150200000615020000061502000006150100000615010000061501000006150100000615010000061501000006150100000615008000061500800006150080000615008000061500800006150080000615008000061500400006150040000615004000061500400006150040000615004000061500400006150020000615002000061500200006150020000615002000061500200006150020000615001000061500100006150010000615001000061500100006150010000615001000061500080006150008000615000800061500080006150008000615) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))) (.node (.node (.node (.node (.leaf 0x0) (.leaf 0x0)) (.node (.leaf 0x400000acd0400000acd0400000acd0800000a4d0800000a4d0800000a4d0800000a4d0800000a4d0800000a4d0800000a4d0400000a4d0400000a4d0400000a4d0400000a4d0400000a4d0400000a4d0400000a4d0200000a4d0200000a4d0200000a4d0200000a4d0200000a4d0200000a4d0200000a4d0200000a4d0200000a4d0800000b490800000b490800000b490800000b490800000b490800000b490800000b490800000b490800000b490800000ac90800000ac90800000ac90800000ac90800000ac90800000ac90800000ac90400000ac90400000ac90400000ac90400000ac90400000ac90400000ac90400000ac90800000a490800000a490800000a490800000a490800000a490800000a490800000a490400000a490400000a490400000a490400000a490400000a490400000a490400000a490200000a490200000a490200000a490200000a490200000a490200000a490200000a490200000a490200000a4908000009c908000009c908000009c908000009c908000009c908000009c908000009c908000009c908000009c904000009c904000009c904000009c904000009c904000009c904000009c904000009c904000009c904000009c902000009c902000009c902000009c902000009c902000009c902000009c902000009c902000009c902000009c901000009c901000009c901000009c901000009c901000009c901000009c901000009c901000009c901000009c90800000b450800000b450800000b450800000b450800000b450800000b450800000b450800000b450800000b450800000ac50800000ac50800000ac50800000ac50800000ac50800000ac50800000ac50400000ac50400000ac50400000ac50400000ac50400000ac50400000ac50400000ac50800000a450800000a450800000a450800000a450800000a450800000a450800000a450400000a450400000a450400000a450400000a450400000a450400000a450400000a450200000a450200000a450200000a450200000a450200000a450200000a450200000a450200000a450200000a4508000009c508000009c508000009c508000009c508000009c508000009c508000009c504000009c504000009c504000009c504000009c504000009c504000009c504000009c502000009c502000009c502000009c502000009c502000009c502000009c502000009c501000009c501000009c501000009c501000009c501000009c501000009c501000009c508000009450800000945080000094508000009450800000945080000094508000009450400000945040000094504000009450400000945040000094504000009450400000945020000094502000009450200000945020000094502000009450200000945020000094501000009450100000945010000094501000009450100000945010000094501000009450080000945008000094500800009450080000945008000094500800009450080000945008000094500800009450800000b410800000b410800000b410800000b410800000b410800000b410800000b410800000b410800000b410800000ac10800000ac10800000ac10800000ac10800000ac10800000ac10800000ac10400000ac10400000ac10400000ac10400000ac10400000ac10400000ac10400000ac10800000a410800000a410800000a410800000a410800000a410800000a410800000a410400000a410400000a410400000a410400000a410400000a410400000a410400000a41) (.leaf 0x0))) (.node (.node (.leaf 0x1000029100100002910008000291000800029100080002910008000291000800029100080002910008000291000800029100080002910004000291000400029100040002910004000291000400029100040002910004000291000400029100040002910002000291000200029100020002910002000291000200029100020002910002000291000200029100020002910001000291000100029100010002910001000291000100029100010002910001000291000100029100010002910000800291000080029100008002910000800291000080029100008002910000800291000080029100008002910000400291000040029100004002910000400291000040029100004002910000400291000040029100004002910000200291000020029100002002910000200291000020029100002002910000200291000020029100002002910000100291000010029100001002910000100291000010029100001002910000100291000010029100001002910000080291000008029100000802910000080291000008029100000802910000080291000008029100000802910000040291000004029100000402910000040291000004029100000402910000040291000004029100000402910800000b0d0800000b0d0800000b0d0800000b0d0800000b0d0800000b0d0800000b0d0800000b0d0800000b0d0800000a8d0800000a8d0800000a8d0800000a8d0800000a8d0800000a8d0c00000a8d0400000a8d0400000a8d0400000a8d0400000a8d0400000a8d0400000a8d0003c000200800000a0d0800000a0d0800000a0d0800000a0d0800000a0d0800000a0d0c00000a0d0400000a0d0400000a0d0400000a0d0400000a0d0400000a0d0400000a0d0003c000300200000a0d0200000a0d0200000a0d0200000a0d0200000a0d0200000a0d0200000a0d0200000a0d0200000a0d080000098d080000098d080000098d080000098d080000098d080000098d0c0000098d040000098d040000098d040000098d040000098d040000098d040000098d0003300020020000098d020000098d020000098d020000098d020000098d020000098d030000098d010000098d010000098d010000098d010000098d010000098d010000098d0000f00020080000090d080000090d080000090d080000090d080000090d080000090d0c0000090d040000090d040000090d040000090d040000090d040000090d040000090d0003300030020000090d020000090d020000090d020000090d020000090d020000090d030000090d010000090d010000090d010000090d010000090d010000090d010000090d0000f00030008000090d008000090d008000090d008000090d008000090d008000090d008000090d008000090d008000090d080000088d080000088d080000088d080000088d080000088d080000088d0c0000088d040000088d040000088d040000088d040000088d040000088d040000088d00030c0020020000088d020000088d020000088d020000088d020000088d020000088d030000088d010000088d010000088d010000088d010000088d010000088d010000088d0000cc0020008000088d008000088d008000088d008000088d008000088d008000088d00c000088d004000088d004000088d004000088d004000088d004000088d004000088d00003c0020080000080d080000080d080000080d080000080d080000080d080000080d0c0000080d040000080d040000080d040000080d040000080d) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x400002850040000285004000028500400002850040000285004000028500003000c8002000028500200002850020000285002000028500200002850020000285003000028500100002850010000285001000028500100002850010000285001000028500000c00c8000800028500080002850008000285000800028500080002850008000285000c00028500040002850004000285000400028500040002850004000285000400028500000300c80002000285000200028500020002850002000285000200028500020002850003000285000100028500010002850001000285000100028500010002850001000285000000c0c80000800285000080028500008002850000800285000080028500008002850000c0028500004002850000400285000040028500004002850000400285000040028500000030c800002002850000200285000020028500002002850000200285000020028500003002850000100285000010028500001002850000100285000010028500001002850000000cc800000802850000080285000008028500000802850000080285000008028500000c028500000402850000040285000004028500000402850000040285000004028500000003c80800000205080000020508000002050800000205080000020508000002050c0000020504000002050400000205040000020504000002050400000205040000020500030000cc02000002050200000205020000020502000002050200000205020000020503000002050100000205010000020501000002050100000205010000020501000002050000c000cc00800002050080000205008000020500800002050080000205008000020500c000020500400002050040000205004000020500400002050040000205004000020500003000cc002000020500200002050020000205002000020500200002050020000205003000020500100002050010000205001000020500100002050010000205001000020500000c00cc000800020500080002050008000205000800020500080002050008000205000c00020500040002050004000205000400020500040002050004000205000400020500000300cc0002000205000200020500020002050002000205000200020500020002050003000205000100020500010002050001000205000100020500010002050001000205000000c0cc0000800205000080020500008002050000800205000080020500008002050000c0020500004002050000400205000040020500004002050000400205000040020500000030cc00002002050000200205000020020500002002050000200205000020020500003002050000100205000010020500001002050000100205000010020500001002050000000ccc00000802050000080205000008020500000802050000080205000008020500000c020500000402050000040205000004020500000402050000040205000004020500000003cc0000020205000002020500000202050000020205000002020500000202050000020205000002020500000202050800000185080000018508000001850800000185080000018508000001850c00000185040000018504000001850400000185040000018504000001850400000185000300003802000001850200000185020000018502000001850200000185020000018503000001850100000185010000018501000001850100000185010000018501000001850000c0003800800001850080000185) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x800000b1d0800000a9d0800000a9d0800000a9d0800000a9d0800000a9d0800000a9d0800000a9d0400000a9d0400000a9d0400000a9d0400000a9d0400000a9d0400000a9d0400000a9d0800000a1d0800000a1d0800000a1d0800000a1d0800000a1d0800000a1d0800000a1d0400000a1d0400000a1d0400000a1d0400000a1d0400000a1d0400000a1d0400000a1d0200000a1d0200000a1d0200000a1d0200000a1d0200000a1d0200000a1d0200000a1d0200000a1d0200000a1d080000099d080000099d080000099d080000099d080000099d080000099d080000099d040000099d040000099d040000099d040000099d040000099d040000099d040000099d020000099d020000099d020000099d020000099d020000099d020000099d020000099d010000099d010000099d010000099d010000099d010000099d010000099d010000099d080000091d080000091d080000091d080000091d080000091d080000091d080000091d040000091d040000091d040000091d040000091d040000091d040000091d040000091d020000091d020000091d020000091d020000091d020000091d020000091d020000091d010000091d010000091d010000091d010000091d010000091d010000091d010000091d008000091d008000091d008000091d008000091d008000091d008000091d008000091d008000091d008000091d080000089d080000089d080000089d080000089d080000089d080000089d080000089d040000089d040000089d040000089d040000089d040000089d040000089d040000089d020000089d020000089d020000089d020000089d020000089d020000089d020000089d010000089d010000089d010000089d010000089d010000089d010000089d010000089d008000089d008000089d008000089d008000089d008000089d008000089d008000089d004000089d004000089d004000089d004000089d004000089d004000089d004000089d080000081d080000081d080000081d080000081d080000081d080000081d080000081d040000081d040000081d040000081d040000081d040000081d040000081d040000081d020000081d020000081d020000081d020000081d020000081d020000081d020000081d010000081d010000081d010000081d010000081d010000081d010000081d010000081d008000081d008000081d008000081d008000081d008000081d008000081d008000081d004000081d004000081d004000081d004000081d004000081d004000081d004000081d002000081d002000081d002000081d002000081d002000081d002000081d002000081d002000081d002000081d080000079d080000079d080000079d080000079d080000079d080000079d080000079d040000079d040000079d040000079d040000079d040000079d040000079d040000079d020000079d020000079d020000079d020000079d020000079d020000079d020000079d010000079d010000079d010000079d010000079d010000079d010000079d010000079d008000079d008000079d008000079d008000079d008000079d008000079d008000079d004000079d004000079d004000079d004000079d004000079d004000079d004000079d002000079d002000079d002000079d002000079d002000079d002000079d002000079d001000079d001000079d001000079d001000079d001000079d001000079d001000079d080000071d080000071d080000071d080000071d) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))))) (.node (.node (.node (.node (.node (.leaf 0x4000619000200061908000005990400000599020000059901000005990080000599004000059900200005990010000599000800059900040005990002000599000100059908000005190400000519020000051901000005190080000519004000051900200005190010000519000800051900040005190002000519000100051900008005190800000499040000049902000004990100000499008000049900400004990020000499001000049900080004990004000499000200049900010004990000800499000040049908000004190400000419020000041901000004190080000419004000041900200004190010000419000800041900040004190002000419000100041900008004190000400419000020041908000003990400000399020000039901000003990080000399004000039900200003990010000399000800039900040003990002000399000100039900008003990000400399000020039900001003990800000b150800000a950400000a950800000a150400000a150200000a150800000995040000099502000009950100000995080000091504000009150200000915010000091500800009150800000895040000089502000008950100000895008000089500400008950800000815040000081502000008150100000815008000081500400008150020000815080000079504000007950200000795010000079500800007950040000795002000079500100007950800000715040000071502000007150100000715008000071500400007150020000715001000071500080007150800000695040000069502000006950100000695008000069500400006950020000695001000069500080006950004000695080000061504000006150200000615010000061500800006150040000615002000061500100006150008000615000400061500020006150800000595040000059502000005950100000595008000059500400005950020000595001000059500080005950004000595000200059500010005950800000515040000051502000005150100000515008000051500400005150020000515001000051500080005150004000515000200051500010005150000800515080000049504000004950200000495010000049500800004950040000495002000049500100004950008000495000400049500020004950001000495000080049500004004950800000415040000041502000004150100000415008000041500400004150020000415001000041500080004150004000415000200041500010004150000800415000040041500002004150800000395040000039502000003950100000395008000039500400003950020000395001000039500080003950004000395000200039500010003950000800395000040039500002003950000100395080000031504000003150200000315010000031500800003150040000315002000031500100003150008000315000400031500020003150001000315000080031500004003150000200315000010031500000803150800000b110800000a910400000a910800000a110400000a110200000a110800000991040000099102000009910100000991080000091104000009110200000911010000091100800009110800000891040000089102000008910100000891008000089100400008910800000811040000081102000008110100000811008000081100400008110020000811080000079104000007910200000791) (.leaf 0x0)) (.node (.leaf 0x400000835040000083504000008350400000835040000083504000008350400000835020000083502000008350200000835020000083502000008350200000835020000083501000008350100000835010000083501000008350100000835010000083501000008350080000835008000083500800008350080000835008000083500800008350080000835004000083500400008350040000835004000083500400008350040000835004000083500200008350020000835002000083500200008350020000835002000083500200008350020000835002000083508000007b508000007b508000007b508000007b508000007b508000007b508000007b504000007b504000007b504000007b504000007b504000007b504000007b504000007b502000007b502000007b502000007b502000007b502000007b502000007b502000007b501000007b501000007b501000007b501000007b501000007b501000007b501000007b500800007b500800007b500800007b500800007b500800007b500800007b500800007b500400007b500400007b500400007b500400007b500400007b500400007b500400007b500200007b500200007b500200007b500200007b500200007b500200007b500200007b500100007b500100007b500100007b500100007b500100007b500100007b500100007b5080000073508000007350800000735080000073508000007350800000735080000073504000007350400000735040000073504000007350400000735040000073504000007350200000735020000073502000007350200000735020000073502000007350200000735010000073501000007350100000735010000073501000007350100000735010000073500800007350080000735008000073500800007350080000735008000073500800007350040000735004000073500400007350040000735004000073500400007350040000735002000073500200007350020000735002000073500200007350020000735002000073500100007350010000735001000073500100007350010000735001000073500100007350008000735000800073500080007350008000735000800073500080007350008000735000800073500080007350800000b310800000b310800000b310800000b310800000b310800000b310800000b310800000b310800000b310800000ab10800000ab10800000ab10800000ab10800000ab10800000ab10800000ab10400000ab10400000ab10400000ab10400000ab10400000ab10400000ab10400000ab10800000a310800000a310800000a310800000a310800000a310800000a310800000a310400000a310400000a310400000a310400000a310400000a310400000a310400000a310200000a310200000a310200000a310200000a310200000a310200000a310200000a310200000a310200000a3108000009b108000009b108000009b108000009b108000009b108000009b108000009b104000009b104000009b104000009b104000009b104000009b104000009b104000009b102000009b102000009b102000009b102000009b102000009b102000009b102000009b101000009b101000009b101000009b101000009b101000009b101000009b101000009b108000009310800000931080000093108000009310800000931080000093108000009310400000931040000093104000009310400000931040000093104000009310400000931020000093102000009310200000931) (.leaf 0x0))) (.node (.node (.leaf 0x300038d000100038d000100038d000100038d000100038d000100038d000100038d000000c320000080038d000080038d000080038d000080038d000080038d000080038d0000c0038d000040038d000040038d000040038d000040038d000040038d000040038d0000003320000020038d000020038d000020038d000020038d000020038d000020038d000030038d000010038d000010038d000010038d000010038d000010038d000010038d0000000f20080000030d080000030d080000030d080000030d080000030d080000030d0c0000030d040000030d040000030d040000030d040000030d040000030d040000030d0003000330020000030d020000030d020000030d020000030d020000030d020000030d030000030d010000030d010000030d010000030d010000030d010000030d010000030d0000c00330008000030d008000030d008000030d008000030d008000030d008000030d00c000030d004000030d004000030d004000030d004000030d004000030d004000030d0000300330002000030d002000030d002000030d002000030d002000030d002000030d003000030d001000030d001000030d001000030d001000030d001000030d001000030d00000c0330000800030d000800030d000800030d000800030d000800030d000800030d000c00030d000400030d000400030d000400030d000400030d000400030d000400030d0000030330000200030d000200030d000200030d000200030d000200030d000200030d000300030d000100030d000100030d000100030d000100030d000100030d000100030d000000c330000080030d000080030d000080030d000080030d000080030d000080030d0000c0030d000040030d000040030d000040030d000040030d000040030d000040030d0000003330000020030d000020030d000020030d000020030d000020030d000020030d000030030d000010030d000010030d000010030d000010030d000010030d000010030d0000000f30000008030d000008030d000008030d000008030d000008030d000008030d000008030d000008030d000008030d080000028d080000028d080000028d080000028d080000028d080000028d0c0000028d040000028d040000028d040000028d040000028d040000028d040000028d00030000e0020000028d020000028d020000028d020000028d020000028d020000028d030000028d010000028d010000028d010000028d010000028d010000028d010000028d0000c000e0008000028d008000028d008000028d008000028d008000028d008000028d00c000028d004000028d004000028d004000028d004000028d004000028d004000028d00003000e0002000028d002000028d002000028d002000028d002000028d002000028d003000028d001000028d001000028d001000028d001000028d001000028d001000028d00000c00e0000800028d000800028d000800028d000800028d000800028d000800028d000c00028d000400028d000400028d000400028d000400028d000400028d000400028d00000300e0000200028d000200028d000200028d000200028d000200028d000200028d000300028d000100028d000100028d000100028d000100028d000100028d000100028d000000c0e0000080028d000080028d000080028d000080028d000080028d000080028d0000c0028d000040028d000040028d000040028d000040028d000040028d000040028d00000030e0000020028d) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x40000581004000058100400005810040000581004000058100400005810000303004002000058100200005810020000581002000058100200005810020000581003000058100100005810010000581001000058100100005810010000581001000058100000c3004000800058100080005810008000581000800058100080005810008000581000c00058100040005810004000581000400058100040005810004000581000400058100000330040002000581000200058100020005810002000581000200058100020005810003000581000100058100010005810001000581000100058100010005810001000581000000f0040800000501080000050108000005010800000501080000050108000005010c00000501040000050104000005010400000501040000050104000005010400000501000300300c02000005010200000501020000050102000005010200000501020000050103000005010100000501010000050101000005010100000501010000050101000005010000c0300c00800005010080000501008000050100800005010080000501008000050100c0000501004000050100400005010040000501004000050100400005010040000501000030300c002000050100200005010020000501002000050100200005010020000501003000050100100005010010000501001000050100100005010010000501001000050100000c300c000800050100080005010008000501000800050100080005010008000501000c000501000400050100040005010004000501000400050100040005010004000501000003300c0002000501000200050100020005010002000501000200050100020005010003000501000100050100010005010001000501000100050100010005010001000501000000f00c0000800501000080050100008005010000800501000080050100008005010000800501000080050100008005010800000481080000048108000004810800000481080000048108000004810c000004810400000481040000048104000004810400000481040000048104000004810003000c0402000004810200000481020000048102000004810200000481020000048103000004810100000481010000048101000004810100000481010000048101000004810000c00c0400800004810080000481008000048100800004810080000481008000048100c00004810040000481004000048100400004810040000481004000048100400004810000300c04002000048100200004810020000481002000048100200004810020000481003000048100100004810010000481001000048100100004810010000481001000048100000c0c04000800048100080004810008000481000800048100080004810008000481000c0004810004000481000400048100040004810004000481000400048100040004810000030c040002000481000200048100020004810002000481000200048100020004810003000481000100048100010004810001000481000100048100010004810001000481000000cc040000800481000080048100008004810000800481000080048100008004810000c004810000400481000040048100004004810000400481000040048100004004810000003c040800000401080000040108000004010800000401080000040108000004010c000004010400000401040000040104000004010400000401040000040104000004010003000c0c02000004010200000401) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x100000819010000081901000008190100000819010000081900800008190080000819008000081900800008190080000819008000081900800008190040000819004000081900400008190040000819004000081900400008190040000819002000081900200008190020000819002000081900200008190020000819002000081900200008190020000819080000079908000007990800000799080000079908000007990800000799080000079904000007990400000799040000079904000007990400000799040000079904000007990200000799020000079902000007990200000799020000079902000007990200000799010000079901000007990100000799010000079901000007990100000799010000079900800007990080000799008000079900800007990080000799008000079900800007990040000799004000079900400007990040000799004000079900400007990040000799002000079900200007990020000799002000079900200007990020000799002000079900100007990010000799001000079900100007990010000799001000079900100007990800000719080000071908000007190800000719080000071908000007190800000719040000071904000007190400000719040000071904000007190400000719040000071902000007190200000719020000071902000007190200000719020000071902000007190100000719010000071901000007190100000719010000071901000007190100000719008000071900800007190080000719008000071900800007190080000719008000071900400007190040000719004000071900400007190040000719004000071900400007190020000719002000071900200007190020000719002000071900200007190020000719001000071900100007190010000719001000071900100007190010000719001000071900080007190008000719000800071900080007190008000719000800071900080007190008000719000800071908000006990800000699080000069908000006990800000699080000069908000006990400000699040000069904000006990400000699040000069904000006990400000699020000069902000006990200000699020000069902000006990200000699020000069901000006990100000699010000069901000006990100000699010000069901000006990080000699008000069900800006990080000699008000069900800006990080000699004000069900400006990040000699004000069900400006990040000699004000069900200006990020000699002000069900200006990020000699002000069900200006990010000699001000069900100006990010000699001000069900100006990010000699000800069900080006990008000699000800069900080006990008000699000800069900040006990004000699000400069900040006990004000699000400069900040006990800000619080000061908000006190800000619080000061908000006190800000619040000061904000006190400000619040000061904000006190400000619040000061902000006190200000619020000061902000006190200000619020000061902000006190100000619010000061901000006190100000619010000061901000006190100000619008000061900800006190080000619008000061900800006190080000619008000061900400006190040000619) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))) (.node (.node (.node (.node (.leaf 0x0) (.leaf 0x0)) (.node (.leaf 0x330004000033000400c000078100c000078100c000078100c000070100c000070100c000070100000f000c00000f000c00000f000c00000f000800300007850030000785003000078500300007050030000705003000070500000f0004003000078100300007810030000781003000070100300007010030000701000300c00c000300c00c000300c00c000300c008000300c008000300c008000300c0080c000006850c000006850c000006850c000006850c000006050c000006050c000006050c00000605000300c004000300c004000300c004000300c0040c000006810c000006810c000006810c000006810c000006010c000006010c000006010c000006010000c0c00c0000c0c00c0000c0c00c0000c0c0080000c0c0080000c0c0080300000685030000068503000006850300000605030000060503000006050000c0c0040000c0c0040000c0c004030000068103000006810300000681030000060103000006010300000601000030c00c000030c00c000030c00c000030c008000030c008000030c00800c000068500c000068500c000068500c000060500c000060500c0000605000030c004000030c004000030c00400c000068100c000068100c000068100c000060100c000060100c000060100000cc00c00000cc00c00000cc00c00000cc00800000cc00800000cc00800300006850030000685003000068500300006050030000605003000060500000cc00400000cc00400000cc004003000068100300006810030000681003000060100300006010030000601000003c00c000003c008000003c008000003c008000c000685000c000685000c000685000c000605000c000605000c000605000003c004000003c004000003c004000c000681000c000681000c000681000c000601000c000601000c000601000300300c000300300c000300300c00030030080003003008000300300800030030080c000005850c000005850c000005850c000005850c000005050c000005050c000005050c0000050500030030040003003004000300300400030030040c000005810c000005810c000005810c000005810c000005010c000005010c000005010c000005010000c0300c0000c0300c0000c0300c0000c030080000c030080000c030080300000585030000058503000005850300000505030000050503000005050000c030040000c030040000c03004030000058103000005810300000581030000050103000005010300000501000030300c000030300c000030300c00003030080000303008000030300800c000058500c000058500c000058500c000050500c000050500c000050500003030040000303004000030300400c000058100c000058100c000058100c000050100c000050100c000050100000c300c00000c300c00000c300c00000c300800000c300800000c300800300005850030000585003000058500300005050030000505003000050500000c300400000c300400000c3004003000058100300005810030000581003000050100300005010030000501000003300c000003300c000003300c000003300800000330080000033008000c000585000c000585000c000585000c000505000c000505000c000505000003300400000330040000033004000c000581000c000581000c000581000c000501000c000501000c000501000000f00c000000f00c000000f00c000000f008000300058500030005850003000585000300050500030005050003000505000000f004) (.leaf 0x0))) (.node (.node (.leaf 0x100000891010000089101000008910100000891008000089100800008910080000891008000089100800008910080000891008000089100400008910040000891004000089100400008910040000891004000089100400008910800000811080000081108000008110800000811080000081108000008110800000811040000081104000008110400000811040000081104000008110400000811040000081102000008110200000811020000081102000008110200000811020000081102000008110100000811010000081101000008110100000811010000081101000008110100000811008000081100800008110080000811008000081100800008110080000811008000081100400008110040000811004000081100400008110040000811004000081100400008110020000811002000081100200008110020000811002000081100200008110020000811002000081100200008110800000791080000079108000007910800000791080000079108000007910800000791040000079104000007910400000791040000079104000007910400000791040000079102000007910200000791020000079102000007910200000791020000079102000007910100000791010000079101000007910100000791010000079101000007910100000791008000079100800007910080000791008000079100800007910080000791008000079100400007910040000791004000079100400007910040000791004000079100400007910020000791002000079100200007910020000791002000079100200007910020000791001000079100100007910010000791001000079100100007910010000791001000079108000007110800000711080000071108000007110800000711080000071108000007110400000711040000071104000007110400000711040000071104000007110400000711020000071102000007110200000711020000071102000007110200000711020000071101000007110100000711010000071101000007110100000711010000071101000007110080000711008000071100800007110080000711008000071100800007110080000711004000071100400007110040000711004000071100400007110040000711004000071100200007110020000711002000071100200007110020000711002000071100200007110010000711001000071100100007110010000711001000071100100007110010000711000800071100080007110008000711000800071100080007110008000711000800071100080007110008000711080000069108000006910800000691080000069108000006910800000691080000069104000006910400000691040000069104000006910400000691040000069104000006910200000691020000069102000006910200000691020000069102000006910200000691010000069101000006910100000691010000069101000006910100000691010000069100800006910080000691008000069100800006910080000691008000069100800006910040000691004000069100400006910040000691004000069100400006910040000691002000069100200006910020000691002000069100200006910020000691002000069100100006910010000691001000069100100006910010000691001000069100100006910008000691000800069100080006910008000691000800069100080006910008000691000400069100040006910004000691) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x1000009050000f0000c0080000905008000090500800009050080000905008000090500800009050080000905008000090500800009050800000885080000088508000008850800000885080000088508000008850c0000088504000008850400000885040000088504000008850400000885040000088500030c000802000008850200000885020000088502000008850200000885020000088503000008850100000885010000088501000008850100000885010000088501000008850000cc000800800008850080000885008000088500800008850080000885008000088500c000088500400008850040000885004000088500400008850040000885004000088500003c00080800000805080000080508000008050800000805080000080508000008050c0000080504000008050400000805040000080504000008050400000805040000080500030c000c02000008050200000805020000080502000008050200000805020000080503000008050100000805010000080501000008050100000805010000080501000008050000cc000c00800008050080000805008000080500800008050080000805008000080500c000080500400008050040000805004000080500400008050040000805004000080500003c000c0020000805002000080500200008050020000805002000080500200008050020000805002000080500200008050800000785080000078508000007850800000785080000078508000007850c00000785040000078504000007850400000785040000078504000007850400000785000303000802000007850200000785020000078502000007850200000785020000078503000007850100000785010000078501000007850100000785010000078501000007850000c3000800800007850080000785008000078500800007850080000785008000078500c00007850040000785004000078500400007850040000785004000078500400007850000330008002000078500200007850020000785002000078500200007850020000785003000078500100007850010000785001000078500100007850010000785001000078500000f00080800000705080000070508000007050800000705080000070508000007050c00000705040000070504000007050400000705040000070504000007050400000705000303000c02000007050200000705020000070502000007050200000705020000070503000007050100000705010000070501000007050100000705010000070501000007050000c3000c00800007050080000705008000070500800007050080000705008000070500c0000705004000070500400007050040000705004000070500400007050040000705000033000c002000070500200007050020000705002000070500200007050020000705003000070500100007050010000705001000070500100007050010000705001000070500000f000c0008000705000800070500080007050008000705000800070500080007050008000705000800070500080007050800000685080000068508000006850800000685080000068508000006850c00000685040000068504000006850400000685040000068504000006850400000685000300c00802000006850200000685020000068502000006850200000685020000068503000006850100000685010000068501000006850100000685010000068501000006850000c0c008008000068500800006850080000685) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x200000625020000062502000006250200000625010000062501000006250100000625010000062501000006250100000625010000062500800006250080000625008000062500800006250080000625008000062500800006250040000625004000062500400006250040000625004000062500400006250040000625002000062500200006250020000625002000062500200006250020000625002000062500100006250010000625001000062500100006250010000625001000062500100006250008000625000800062500080006250008000625000800062500080006250008000625000400062500040006250004000625000400062500040006250004000625000400062500020006250002000625000200062500020006250002000625000200062500020006250002000625000200062508000005a508000005a508000005a508000005a508000005a508000005a508000005a504000005a504000005a504000005a504000005a504000005a504000005a504000005a502000005a502000005a502000005a502000005a502000005a502000005a502000005a501000005a501000005a501000005a501000005a501000005a501000005a501000005a500800005a500800005a500800005a500800005a500800005a500800005a500800005a500400005a500400005a500400005a500400005a500400005a500400005a500400005a500200005a500200005a500200005a500200005a500200005a500200005a500200005a500100005a500100005a500100005a500100005a500100005a500100005a500100005a500080005a500080005a500080005a500080005a500080005a500080005a500080005a500040005a500040005a500040005a500040005a500040005a500040005a500040005a500020005a500020005a500020005a500020005a500020005a500020005a500020005a500010005a500010005a500010005a500010005a500010005a500010005a500010005a50800000525080000052508000005250800000525080000052508000005250800000525040000052504000005250400000525040000052504000005250400000525040000052502000005250200000525020000052502000005250200000525020000052502000005250100000525010000052501000005250100000525010000052501000005250100000525008000052500800005250080000525008000052500800005250080000525008000052500400005250040000525004000052500400005250040000525004000052500400005250020000525002000052500200005250020000525002000052500200005250020000525001000052500100005250010000525001000052500100005250010000525001000052500080005250008000525000800052500080005250008000525000800052500080005250004000525000400052500040005250004000525000400052500040005250004000525000200052500020005250002000525000200052500020005250002000525000200052500010005250001000525000100052500010005250001000525000100052500010005250000800525000080052500008005250000800525000080052500008005250000800525000080052500008005250800000b210800000b210800000b210800000b210800000b210800000b210800000b210800000b210800000b210800000aa10800000aa10800000aa10800000aa10800000aa10800000aa10800000aa10400000aa1) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))))) (.node (.node (.node (.node (.node (.node (.leaf 0x100040d000080040d000040040d000020040d080000038d040000038d020000038d010000038d008000038d004000038d002000038d001000038d000800038d000400038d000200038d000100038d000080038d000040038d000020038d000010038d080000030d040000030d020000030d010000030d008000030d004000030d002000030d001000030d000800030d000400030d000200030d000100030d000080030d000040030d000020030d000010030d000008030d080000028d040000028d020000028d010000028d008000028d004000028d002000028d001000028d000800028d000400028d000200028d000100028d000080028d000040028d000020028d000010028d000008028d000004028d080000020d040000020d020000020d010000020d008000020d004000020d002000020d001000020d000800020d000400020d000200020d000100020d000080020d000040020d000020020d000010020d000008020d000004020d000002020d0800000b090800000a890400000a890800000a090400000a090200000a0908000009890400000989020000098901000009890800000909040000090902000009090100000909008000090908000008890400000889020000088901000008890080000889004000088908000008090400000809020000080901000008090080000809004000080900200008090800000789040000078902000007890100000789008000078900400007890020000789001000078908000007090400000709020000070901000007090080000709004000070900200007090010000709000800070908000006890400000689020000068901000006890080000689004000068900200006890010000689000800068900040006890800000609040000060902000006090100000609008000060900400006090020000609001000060900080006090004000609000200060908000005890400000589020000058901000005890080000589004000058900200005890010000589000800058900040005890002000589000100058908000005090400000509020000050901000005090080000509004000050900200005090010000509000800050900040005090002000509000100050900008005090800000489040000048902000004890100000489008000048900400004890020000489001000048900080004890004000489000200048900010004890000800489000040048908000004090400000409020000040901000004090080000409004000040900200004090010000409000800040900040004090002000409000100040900008004090000400409000020040908000003890400000389020000038901000003890080000389004000038900200003890010000389000800038900040003890002000389000100038900008003890000400389000020038900001003890800000309040000030902000003090100000309008000030900400003090020000309001000030900080003090004000309000200030900010003090000800309000040030900002003090000100309000008030908000002890400000289020000028901000002890080000289004000028900200002890010000289000800028900040002890002000289000100028900008002890000400289000020028900001002890000080289000004028908000002090400000209020000020901000002090080000209004000020900200002090010000209000800020900040002090002000209) (.leaf 0x0)) (.node (.leaf 0x2000006b102000006b102000006b102000006b102000006b101000006b101000006b101000006b101000006b101000006b101000006b101000006b101000006b101000006b100800006b100800006b100800006b100800006b100800006b100800006b100800006b100800006b100800006b100400006b100400006b100400006b100400006b100400006b100400006b100400006b100400006b100400006b100200006b100200006b100200006b100200006b100200006b100200006b100200006b100200006b100200006b100100006b100100006b100100006b100100006b100100006b100100006b100100006b100100006b100100006b100080006b100080006b100080006b100080006b100080006b100080006b100080006b100080006b100080006b100040006b100040006b100040006b100040006b100040006b100040006b100040006b100040006b100040006b10800000b2d0800000b2d0800000b2d0800000b2d0800000b2d0800000b2d0800000b2d0800000b2d0800000b2d0800000aad0800000aad0800000aad0800000aad0800000aad0800000aad0800000aad0400000aad0400000aad0400000aad0400000aad0400000aad0400000aad0400000aad0800000a2d0800000a2d0800000a2d0800000a2d0800000a2d0800000a2d0800000a2d0400000a2d0400000a2d0400000a2d0400000a2d0400000a2d0400000a2d0400000a2d0200000a2d0200000a2d0200000a2d0200000a2d0200000a2d0200000a2d0200000a2d0200000a2d0200000a2d08000009ad08000009ad08000009ad08000009ad08000009ad08000009ad08000009ad04000009ad04000009ad04000009ad04000009ad04000009ad04000009ad04000009ad02000009ad02000009ad02000009ad02000009ad02000009ad02000009ad02000009ad01000009ad01000009ad01000009ad01000009ad01000009ad01000009ad01000009ad080000092d080000092d080000092d080000092d080000092d080000092d080000092d040000092d040000092d040000092d040000092d040000092d040000092d040000092d020000092d020000092d020000092d020000092d020000092d020000092d020000092d010000092d010000092d010000092d010000092d010000092d010000092d010000092d008000092d008000092d008000092d008000092d008000092d008000092d008000092d008000092d008000092d08000008ad08000008ad08000008ad08000008ad08000008ad08000008ad08000008ad04000008ad04000008ad04000008ad04000008ad04000008ad04000008ad04000008ad02000008ad02000008ad02000008ad02000008ad02000008ad02000008ad02000008ad01000008ad01000008ad01000008ad01000008ad01000008ad01000008ad01000008ad00800008ad00800008ad00800008ad00800008ad00800008ad00800008ad00800008ad00400008ad00400008ad00400008ad00400008ad00400008ad00400008ad00400008ad080000082d080000082d080000082d080000082d080000082d080000082d080000082d040000082d040000082d040000082d040000082d040000082d040000082d040000082d020000082d020000082d020000082d020000082d020000082d020000082d020000082d010000082d010000082d010000082d010000082d010000082d010000082d010000082d008000082d008000082d008000082d008000082d008000082d008000082d008000082d) (.leaf 0x0))) (.node (.node (.leaf 0x3000009090100000909010000090901000009090100000909010000090901000009090000f000300080000909008000090900800009090080000909008000090900800009090080000909008000090900800009090800000889080000088908000008890800000889080000088908000008890c0000088904000008890400000889040000088904000008890400000889040000088900030c001002000008890200000889020000088902000008890200000889020000088903000008890100000889010000088901000008890100000889010000088901000008890000cc001000800008890080000889008000088900800008890080000889008000088900c000088900400008890040000889004000088900400008890040000889004000088900003c00100800000809080000080908000008090800000809080000080908000008090c0000080904000008090400000809040000080904000008090400000809040000080900030c003002000008090200000809020000080902000008090200000809020000080903000008090100000809010000080901000008090100000809010000080901000008090000cc003000800008090080000809008000080900800008090080000809008000080900c000080900400008090040000809004000080900400008090040000809004000080900003c00300020000809002000080900200008090020000809002000080900200008090020000809002000080900200008090800000789080000078908000007890800000789080000078908000007890c00000789040000078904000007890400000789040000078904000007890400000789000303001002000007890200000789020000078902000007890200000789020000078903000007890100000789010000078901000007890100000789010000078901000007890000c3001000800007890080000789008000078900800007890080000789008000078900c00007890040000789004000078900400007890040000789004000078900400007890000330010002000078900200007890020000789002000078900200007890020000789003000078900100007890010000789001000078900100007890010000789001000078900000f00100800000709080000070908000007090800000709080000070908000007090c00000709040000070904000007090400000709040000070904000007090400000709000303003002000007090200000709020000070902000007090200000709020000070903000007090100000709010000070901000007090100000709010000070901000007090000c3003000800007090080000709008000070900800007090080000709008000070900c00007090040000709004000070900400007090040000709004000070900400007090000330030002000070900200007090020000709002000070900200007090020000709003000070900100007090010000709001000070900100007090010000709001000070900000f00300008000709000800070900080007090008000709000800070900080007090008000709000800070900080007090800000689080000068908000006890800000689080000068908000006890c00000689040000068904000006890400000689040000068904000006890400000689000300c01002000006890200000689020000068902000006890200000689020000068903000006890100000689010000068901000006890100000689) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x10000301001000030100000c030c000800030100080003010008000301000800030100080003010008000301000c000301000400030100040003010004000301000400030100040003010004000301000003030c0002000301000200030100020003010002000301000200030100020003010003000301000100030100010003010001000301000100030100010003010001000301000000c30c0000800301000080030100008003010000800301000080030100008003010000c00301000040030100004003010000400301000040030100004003010000400301000000330c00002003010000200301000020030100002003010000200301000020030100003003010000100301000010030100001003010000100301000010030100001003010000000f0c0000080301000008030100000803010000080301000008030100000803010000080301000008030100000803010800000281080000028108000002810800000281080000028108000002810c0000028104000002810400000281040000028104000002810400000281040000028100030000c402000002810200000281020000028102000002810200000281020000028103000002810100000281010000028101000002810100000281010000028101000002810000c000c400800002810080000281008000028100800002810080000281008000028100c000028100400002810040000281004000028100400002810040000281004000028100003000c4002000028100200002810020000281002000028100200002810020000281003000028100100002810010000281001000028100100002810010000281001000028100000c00c4000800028100080002810008000281000800028100080002810008000281000c00028100040002810004000281000400028100040002810004000281000400028100000300c40002000281000200028100020002810002000281000200028100020002810003000281000100028100010002810001000281000100028100010002810001000281000000c0c40000800281000080028100008002810000800281000080028100008002810000c0028100004002810000400281000040028100004002810000400281000040028100000030c400002002810000200281000020028100002002810000200281000020028100003002810000100281000010028100001002810000100281000010028100001002810000000cc400000802810000080281000008028100000802810000080281000008028100000c028100000402810000040281000004028100000402810000040281000004028100000003c40800000201080000020108000002010800000201080000020108000002010c0000020104000002010400000201040000020104000002010400000201040000020100030000cc02000002010200000201020000020102000002010200000201020000020103000002010100000201010000020101000002010100000201010000020101000002010000c000cc00800002010080000201008000020100800002010080000201008000020100c000020100400002010040000201004000020100400002010040000201004000020100003000cc002000020100200002010020000201002000020100200002010020000201003000020100100002010010000201001000020100100002010010000201001000020100000c00cc000800020100080002010008000201000800020100080002010008000201) (.leaf 0x0)) (.node (.leaf 0x300000411030000041103000004110000300cc00000300cc00000300cc00000300c800000300c800000300c8000c000049500c000049500c000049500c000041500c000041500c00004150000300c400000300c400000300c4000c000049100c000049100c000049100c000041100c000041100c000041100000c0cc000000c0cc000000c0cc000000c0c8000000c0c8000000c0c8000300004950030000495003000049500300004150030000415003000041500000c0c4000000c0c4000000c0c400030000491003000049100300004910030000411003000041100300004110000030cc00000030cc00000030cc00000030c800000030c800000030c80000c000495000c000495000c000495000c000415000c000415000c0004150000030c400000030c400000030c40000c000491000c000491000c000491000c000411000c000411000c000411000000ccc0000000ccc0000000ccc0000000cc80000000cc80000000cc80000300049500030004950003000495000300041500030004150003000415000000cc40000000cc40000000cc400003000491000300049100030004910003000411000300041100030004110000003cc00000003c800000003c800000003c800000c004950000c004950000c004950000c004150000c004150000c004150000003c400000003c400000003c400000c004910000c004910000c004910000c004110000c004110000c0041100030003c000030003800003000380000300038000030003800c000003950c000003950c000003950c000003950c000003150c000003150c000003150c0000031500030003400003000340000300034000030003400c000003910c000003910c000003910c000003910c000003110c000003110c000003110c000003110000c003c00000c003800000c003800000c003800300000395030000039503000003950300000315030000031503000003150000c003400000c003400000c00340030000039103000003910300000391030000031103000003110300000311) (.leaf 0x0))) (.node (.node (.leaf 0x40000499004000049900400004990040000499004000049900200004990020000499002000049900200004990020000499002000049900200004990010000499001000049900100004990010000499001000049900100004990010000499000800049900080004990008000499000800049900080004990008000499000800049900040004990004000499000400049900040004990004000499000400049900040004990002000499000200049900020004990002000499000200049900020004990002000499000100049900010004990001000499000100049900010004990001000499000100049900008004990000800499000080049900008004990000800499000080049900008004990000400499000040049900004004990000400499000040049900004004990000400499080000041908000004190800000419080000041908000004190800000419080000041904000004190400000419040000041904000004190400000419040000041904000004190200000419020000041902000004190200000419020000041902000004190200000419010000041901000004190100000419010000041901000004190100000419010000041900800004190080000419008000041900800004190080000419008000041900800004190040000419004000041900400004190040000419004000041900400004190040000419002000041900200004190020000419002000041900200004190020000419002000041900100004190010000419001000041900100004190010000419001000041900100004190008000419000800041900080004190008000419000800041900080004190008000419000400041900040004190004000419000400041900040004190004000419000400041900020004190002000419000200041900020004190002000419000200041900020004190001000419000100041900010004190001000419000100041900010004190001000419000080041900008004190000800419000080041900008004190000800419000080041900004004190000400419000040041900004004190000400419000040041900004004190000200419000020041900002004190000200419000020041900002004190000200419000020041900002004190800000399080000039908000003990800000399080000039908000003990800000399080000039908000003990400000399040000039904000003990400000399040000039904000003990400000399040000039904000003990200000399020000039902000003990200000399020000039902000003990200000399020000039902000003990100000399010000039901000003990100000399010000039901000003990100000399010000039901000003990080000399008000039900800003990080000399008000039900800003990080000399008000039900800003990040000399004000039900400003990040000399004000039900400003990040000399004000039900400003990020000399002000039900200003990020000399002000039900200003990020000399002000039900200003990010000399001000039900100003990010000399001000039900100003990010000399001000039900100003990008000399000800039900080003990008000399000800039900080003990008000399000800039900080003990004000399000400039900040003990004000399000400039900040003990004000399) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))) (.node (.node (.node (.node (.leaf 0x0) (.leaf 0x0)) (.node (.leaf 0xc000305000c000305000c000305000003030400000303040000030304000c000381000c000381000c000381000c000301000c000301000c000301000000c30c000000c30c000000c30c000000c308000000c308000000c308000300038500030003850003000385000300030500030003050003000305000000c304000000c304000000c304000300038100030003810003000381000300030100030003010003000301000000330c000000330c000000330c0000003308000000330800000033080000c003850000c003850000c003850000c003050000c003050000c003050000003304000000330400000033040000c003810000c003810000c003810000c003010000c003010000c003010000000f0c0000000f0c0000000f0c0000000f080000300385000030038500003003850000300305000030030500003003050000000f0400003003810000300381000030038100003003010000300301000030030100030000cc00030000cc00030000cc00030000c800030000c800030000c800030000c80c000002850c000002850c000002850c000002850c000002050c000002050c000002050c0000020500030000c400030000c400030000c400030000c40c000002810c000002810c000002810c000002810c000002010c000002010c000002010c000002010000c000cc0000c000cc0000c000cc0000c000c80000c000c80000c000c80300000285030000028503000002850300000205030000020503000002050000c000c40000c000c40000c000c403000002810300000281030000028103000002010300000201030000020100003000cc00003000cc00003000cc00003000c800003000c800003000c800c000028500c000028500c000028500c000020500c000020500c000020500003000c400003000c400003000c400c000028100c000028100c000028100c000020100c000020100c000020100000c00cc00000c00cc00000c00cc00000c00c800000c00c800000c00c800300002850030000285003000028500300002050030000205003000020500000c00c400000c00c400000c00c400300002810030000281003000028100300002010030000201003000020100000300cc00000300cc00000300cc00000300c800000300c800000300c8000c000285000c000285000c000285000c000205000c000205000c00020500000300c400000300c400000300c4000c000281000c000281000c000281000c000201000c000201000c000201000000c0cc000000c0cc000000c0cc000000c0c8000000c0c8000000c0c8000300028500030002850003000285000300020500030002050003000205000000c0c4000000c0c4000000c0c400030002810003000281000300028100030002010003000201000300020100000030cc00000030cc00000030cc00000030c800000030c800000030c80000c002850000c002850000c002850000c002050000c002050000c0020500000030c400000030c400000030c40000c002810000c002810000c002810000c002010000c002010000c002010000000ccc0000000ccc0000000ccc0000000cc80000000cc80000000cc80000300285000030028500003002850000300205000030020500003002050000000cc40000000cc40000000cc400003002810000300281000030028100003002010000300201000030020100000003cc00000003c800000003c800000003c800000c028500000c028500000c028500000c020500000c020500000c020500000003c4) (.leaf 0x0))) (.node (.node (.leaf 0x800511000080051100008005110000800511080000049108000004910800000491080000049108000004910800000491080000049104000004910400000491040000049104000004910400000491040000049104000004910200000491020000049102000004910200000491020000049102000004910200000491010000049101000004910100000491010000049101000004910100000491010000049100800004910080000491008000049100800004910080000491008000049100c00004910040000491004000049100400004910040000491004000049100400004910000300c40002000049100200004910020000491002000049100200004910020000491003000049100100004910010000491001000049100100004910010000491001000049100000c0c40000800049100080004910008000491000800049100080004910008000491000c0004910004000491000400049100040004910004000491000400049100040004910000030c400002000491000200049100020004910002000491000200049100020004910003000491000100049100010004910001000491000100049100010004910001000491000000cc400000800491000080049100008004910000800491000080049100008004910000c004910000400491000040049100004004910000400491000040049100004004910000003c40080000041108000004110800000411080000041108000004110800000411080000041104000004110400000411040000041104000004110400000411040000041104000004110200000411020000041102000004110200000411020000041102000004110300000411010000041101000004110100000411010000041101000004110100000411030000041100800004110080000411008000041100800004110080000411008000041100c00004110040000411004000041100400004110040000411004000041100400004110000300cc0002000041100200004110020000411002000041100200004110020000411003000041100100004110010000411001000041100100004110010000411001000041100000c0cc0000800041100080004110008000411000800041100080004110008000411000c0004110004000411000400041100040004110004000411000400041100040004110000030cc00002000411000200041100020004110002000411000200041100020004110003000411000100041100010004110001000411000100041100010004110001000411000000ccc00000800411000080041100008004110000800411000080041100008004110000c004110000400411000040041100004004110000400411000040041100004004110000003cc00000200411000020041100002004110000200411000020041100002004110000200411000020041100002004110800000391080000039108000003910800000391080000039108000003910c00000391040000039104000003910400000391040000039104000003910400000391000300034002000003910200000391020000039102000003910200000391020000039103000003910100000391010000039101000003910100000391010000039101000003910000c0034000800003910080000391008000039100800003910080000391008000039100c0000391004000039100400003910040000391004000039100400003910040000391000030034000200003910020000391002000039100200003910020000391) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x1000050500000c300c000800050500080005050008000505000800050500080005050008000505000c000505000400050500040005050004000505000400050500040005050004000505000003300c0002000505000200050500020005050002000505000200050500020005050003000505000100050500010005050001000505000100050500010005050001000505000000f00c0000800505000080050500008005050000800505000080050500008005050000800505000080050500008005050800000485080000048508000004850800000485080000048508000004850c000004850400000485040000048504000004850400000485040000048504000004850003000c0802000004850200000485020000048502000004850200000485020000048503000004850100000485010000048501000004850100000485010000048501000004850000c00c0800800004850080000485008000048500800004850080000485008000048500c00004850040000485004000048500400004850040000485004000048500400004850000300c08002000048500200004850020000485002000048500200004850020000485003000048500100004850010000485001000048500100004850010000485001000048500000c0c08000800048500080004850008000485000800048500080004850008000485000c0004850004000485000400048500040004850004000485000400048500040004850000030c080002000485000200048500020004850002000485000200048500020004850003000485000100048500010004850001000485000100048500010004850001000485000000cc080000800485000080048500008004850000800485000080048500008004850000c004850000400485000040048500004004850000400485000040048500004004850000003c080800000405080000040508000004050800000405080000040508000004050c000004050400000405040000040504000004050400000405040000040504000004050003000c0c02000004050200000405020000040502000004050200000405020000040503000004050100000405010000040501000004050100000405010000040501000004050000c00c0c00800004050080000405008000040500800004050080000405008000040500c00004050040000405004000040500400004050040000405004000040500400004050000300c0c002000040500200004050020000405002000040500200004050020000405003000040500100004050010000405001000040500100004050010000405001000040500000c0c0c000800040500080004050008000405000800040500080004050008000405000c0004050004000405000400040500040004050004000405000400040500040004050000030c0c0002000405000200040500020004050002000405000200040500020004050003000405000100040500010004050001000405000100040500010004050001000405000000cc0c0000800405000080040500008004050000800405000080040500008004050000c004050000400405000040040500004004050000400405000040040500004004050000003c0c0000200405000020040500002004050000200405000020040500002004050000200405000020040500002004050800000385080000038508000003850800000385080000038508000003850c0000038504000003850400000385040000038504000003850400000385) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x40000072102000007210200000721020000072102000007210200000721020000072102000007210100000721010000072101000007210100000721010000072101000007210100000721008000072100800007210080000721008000072100800007210080000721008000072100400007210040000721004000072100400007210040000721004000072100400007210020000721002000072100200007210020000721002000072100200007210020000721001000072100100007210010000721001000072100100007210010000721001000072100080007210008000721000800072100080007210008000721000800072100080007210008000721000800072108000006a108000006a108000006a108000006a108000006a108000006a108000006a104000006a104000006a104000006a104000006a104000006a104000006a104000006a102000006a102000006a102000006a102000006a102000006a102000006a102000006a101000006a101000006a101000006a101000006a101000006a101000006a101000006a100800006a100800006a100800006a100800006a100800006a100800006a100800006a100400006a100400006a100400006a100400006a100400006a100400006a100400006a100200006a100200006a100200006a100200006a100200006a100200006a100200006a100100006a100100006a100100006a100100006a100100006a100100006a100100006a100080006a100080006a100080006a100080006a100080006a100080006a100080006a100040006a100040006a100040006a100040006a100040006a100040006a100040006a1080000062108000006210800000621080000062108000006210800000621080000062104000006210400000621040000062104000006210400000621040000062104000006210200000621020000062102000006210200000621020000062102000006210200000621010000062101000006210100000621010000062101000006210100000621010000062100800006210080000621008000062100800006210080000621008000062100800006210040000621004000062100400006210040000621004000062100400006210040000621002000062100200006210020000621002000062100200006210020000621002000062100100006210010000621001000062100100006210010000621001000062100100006210008000621000800062100080006210008000621000800062100080006210008000621000400062100040006210004000621000400062100040006210004000621000400062100020006210002000621000200062100020006210002000621000200062100020006210002000621000200062108000005a108000005a108000005a108000005a108000005a108000005a108000005a104000005a104000005a104000005a104000005a104000005a104000005a104000005a102000005a102000005a102000005a102000005a102000005a102000005a102000005a101000005a101000005a101000005a101000005a101000005a101000005a101000005a100800005a100800005a100800005a100800005a100800005a100800005a100800005a100400005a100400005a100400005a100400005a100400005a100400005a100400005a100200005a100200005a100200005a100200005a100200005a100200005a100200005a100100005a100100005a100100005a100100005a100100005a100100005a1) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))))) (.node (.node (.node (.node (.node (.leaf 0x20000092d010000092d008000092d08000008ad04000008ad02000008ad01000008ad00800008ad00400008ad080000082d040000082d020000082d010000082d008000082d004000082d002000082d08000007ad04000007ad02000007ad01000007ad00800007ad00400007ad00200007ad00100007ad080000072d040000072d020000072d010000072d008000072d004000072d002000072d001000072d000800072d08000006ad04000006ad02000006ad01000006ad00800006ad00400006ad00200006ad00100006ad00080006ad00040006ad080000062d040000062d020000062d010000062d008000062d004000062d002000062d001000062d000800062d000400062d000200062d0800000b290800000aa90400000aa90800000a290400000a290200000a2908000009a904000009a902000009a901000009a90800000929040000092902000009290100000929008000092908000008a904000008a902000008a901000008a900800008a900400008a9080000082904000008290200000829010000082900800008290040000829002000082908000007a904000007a902000007a901000007a900800007a900400007a900200007a900100007a908000007290400000729020000072901000007290080000729004000072900200007290010000729000800072908000006a904000006a902000006a901000006a900800006a900400006a900200006a900100006a900080006a900040006a90800000629040000062902000006290100000629008000062900400006290020000629001000062900080006290004000629000200062908000005a904000005a902000005a901000005a900800005a900400005a900200005a900100005a900080005a900040005a900020005a900010005a90800000b250800000aa50400000aa50800000a250400000a250200000a2508000009a504000009a502000009a501000009a50800000925040000092502000009250100000925008000092508000008a504000008a502000008a501000008a500800008a500400008a5080000082504000008250200000825010000082500800008250040000825002000082508000007a504000007a502000007a501000007a500800007a500400007a500200007a500100007a508000007250400000725020000072501000007250080000725004000072500200007250010000725000800072508000006a504000006a502000006a501000006a500800006a500400006a500200006a500100006a500080006a500040006a50800000625040000062502000006250100000625008000062500400006250020000625001000062500080006250004000625000200062508000005a504000005a502000005a501000005a500800005a500400005a500200005a500100005a500080005a500040005a500020005a500010005a508000005250400000525020000052501000005250080000525004000052500200005250010000525000800052500040005250002000525000100052500008005250800000b210800000aa10400000aa10800000a210400000a210200000a2108000009a104000009a102000009a101000009a10800000921040000092102000009210100000921008000092108000008a104000008a102000008a101000008a100800008a100400008a1080000082104000008210200000821010000082100800008210040000821002000082108000007a104000007a102000007a101000007a100800007a1) (.leaf 0x0)) (.node (.leaf 0x2000008bd02000008bd02000008bd02000008bd01000008bd01000008bd01000008bd01000008bd01000008bd01000008bd01000008bd00800008bd00800008bd00800008bd00800008bd00800008bd00800008bd00800008bd00400008bd00400008bd00400008bd00400008bd00400008bd00400008bd00400008bd080000083d080000083d080000083d080000083d080000083d080000083d080000083d040000083d040000083d040000083d040000083d040000083d040000083d040000083d020000083d020000083d020000083d020000083d020000083d020000083d020000083d010000083d010000083d010000083d010000083d010000083d010000083d010000083d008000083d008000083d008000083d008000083d008000083d008000083d008000083d004000083d004000083d004000083d004000083d004000083d004000083d004000083d002000083d002000083d002000083d002000083d002000083d002000083d002000083d002000083d002000083d0800000b390800000b390800000b390800000b390800000b390800000b390800000b390800000b390800000b390800000ab90800000ab90800000ab90800000ab90800000ab90800000ab90800000ab90400000ab90400000ab90400000ab90400000ab90400000ab90400000ab90400000ab90800000a390800000a390800000a390800000a390800000a390800000a390800000a390400000a390400000a390400000a390400000a390400000a390400000a390400000a390200000a390200000a390200000a390200000a390200000a390200000a390200000a390200000a390200000a3908000009b908000009b908000009b908000009b908000009b908000009b908000009b904000009b904000009b904000009b904000009b904000009b904000009b904000009b902000009b902000009b902000009b902000009b902000009b902000009b902000009b901000009b901000009b901000009b901000009b901000009b901000009b901000009b9080000093908000009390800000939080000093908000009390800000939080000093904000009390400000939040000093904000009390400000939040000093904000009390200000939020000093902000009390200000939020000093902000009390200000939010000093901000009390100000939010000093901000009390100000939010000093900800009390080000939008000093900800009390080000939008000093900800009390080000939008000093908000008b908000008b908000008b908000008b908000008b908000008b908000008b904000008b904000008b904000008b904000008b904000008b904000008b904000008b902000008b902000008b902000008b902000008b902000008b902000008b902000008b901000008b901000008b901000008b901000008b901000008b901000008b901000008b900800008b900800008b900800008b900800008b900800008b900800008b900800008b900400008b900400008b900400008b900400008b900400008b900400008b900400008b9080000083908000008390800000839080000083908000008390800000839080000083904000008390400000839040000083904000008390400000839040000083904000008390200000839020000083902000008390200000839020000083902000008390200000839010000083901000008390100000839010000083901000008390100000839) (.leaf 0x0))) (.node (.node (.leaf 0x10000060d010000060d0000c0c030008000060d008000060d008000060d008000060d008000060d008000060d00c000060d004000060d004000060d004000060d004000060d004000060d004000060d000030c030002000060d002000060d002000060d002000060d002000060d002000060d003000060d001000060d001000060d001000060d001000060d001000060d001000060d00000cc030000800060d000800060d000800060d000800060d000800060d000800060d000c00060d000400060d000400060d000400060d000400060d000400060d000400060d000003c030000200060d000200060d000200060d000200060d000200060d000200060d000200060d000200060d000200060d080000058d080000058d080000058d080000058d080000058d080000058d0c0000058d040000058d040000058d040000058d040000058d040000058d040000058d0003003020020000058d020000058d020000058d020000058d020000058d020000058d030000058d010000058d010000058d010000058d010000058d010000058d010000058d0000c03020008000058d008000058d008000058d008000058d008000058d008000058d00c000058d004000058d004000058d004000058d004000058d004000058d004000058d0000303020002000058d002000058d002000058d002000058d002000058d002000058d003000058d001000058d001000058d001000058d001000058d001000058d001000058d00000c3020000800058d000800058d000800058d000800058d000800058d000800058d000c00058d000400058d000400058d000400058d000400058d000400058d000400058d0000033020000200058d000200058d000200058d000200058d000200058d000200058d000300058d000100058d000100058d000100058d000100058d000100058d000100058d000000f020080000050d080000050d080000050d080000050d080000050d080000050d0c0000050d040000050d040000050d040000050d040000050d040000050d040000050d0003003030020000050d020000050d020000050d020000050d020000050d020000050d030000050d010000050d010000050d010000050d010000050d010000050d010000050d0000c03030008000050d008000050d008000050d008000050d008000050d008000050d00c000050d004000050d004000050d004000050d004000050d004000050d004000050d0000303030002000050d002000050d002000050d002000050d002000050d002000050d003000050d001000050d001000050d001000050d001000050d001000050d001000050d00000c3030000800050d000800050d000800050d000800050d000800050d000800050d000c00050d000400050d000400050d000400050d000400050d000400050d000400050d0000033030000200050d000200050d000200050d000200050d000200050d000200050d000300050d000100050d000100050d000100050d000100050d000100050d000100050d000000f030000080050d000080050d000080050d000080050d000080050d000080050d000080050d000080050d000080050d080000048d080000048d080000048d080000048d080000048d080000048d0c0000048d040000048d040000048d040000048d040000048d040000048d040000048d0003000c20020000048d020000048d020000048d020000048d020000048d020000048d030000048d010000048d010000048d010000048d010000048d) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x8105000000810500000081050800000b010800000b010800000b010800000b010800000b010800000b010800000b010800000b010800000b010800000a810800000a810800000a810800000a810800000a810800000a810c00000a810400000a810400000a810400000a810400000a810400000a810400000a810003c000040800000a010800000a010800000a010800000a010800000a010800000a010c00000a010400000a010400000a010400000a010400000a010400000a010400000a010003c0000c0200000a010200000a010200000a010200000a010200000a010200000a010200000a010200000a010200000a010800000981080000098108000009810800000981080000098108000009810c00000981040000098104000009810400000981040000098104000009810400000981000330000402000009810200000981020000098102000009810200000981020000098103000009810100000981010000098101000009810100000981010000098101000009810000f000040800000901080000090108000009010800000901080000090108000009010c00000901040000090104000009010400000901040000090104000009010400000901000330000c02000009010200000901020000090102000009010200000901020000090103000009010100000901010000090101000009010100000901010000090101000009010000f0000c0080000901008000090100800009010080000901008000090100800009010080000901008000090100800009010800000881080000088108000008810800000881080000088108000008810c0000088104000008810400000881040000088104000008810400000881040000088100030c000402000008810200000881020000088102000008810200000881020000088103000008810100000881010000088101000008810100000881010000088101000008810000cc000400800008810080000881008000088100800008810080000881008000088100c000088100400008810040000881004000088100400008810040000881004000088100003c00040800000801080000080108000008010800000801080000080108000008010c0000080104000008010400000801040000080104000008010400000801040000080100030c000c02000008010200000801020000080102000008010200000801020000080103000008010100000801010000080101000008010100000801010000080101000008010000cc000c00800008010080000801008000080100800008010080000801008000080100c000080100400008010040000801004000080100400008010040000801004000080100003c000c0020000801002000080100200008010020000801002000080100200008010020000801002000080100200008010800000781080000078108000007810800000781080000078108000007810c00000781040000078104000007810400000781040000078104000007810400000781000303000402000007810200000781020000078102000007810200000781020000078103000007810100000781010000078101000007810100000781010000078101000007810000c3000400800007810080000781008000078100800007810080000781008000078100c000078100400007810040000781004000078100400007810040000781004000078100003300040020000781002000078100200007810020000781002000078100200007810030000781) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x2000059d002000059d002000059d001000059d001000059d001000059d001000059d001000059d001000059d001000059d000800059d000800059d000800059d000800059d000800059d000800059d000800059d000400059d000400059d000400059d000400059d000400059d000400059d000400059d000200059d000200059d000200059d000200059d000200059d000200059d000200059d000100059d000100059d000100059d000100059d000100059d000100059d000100059d080000051d080000051d080000051d080000051d080000051d080000051d080000051d040000051d040000051d040000051d040000051d040000051d040000051d040000051d020000051d020000051d020000051d020000051d020000051d020000051d020000051d010000051d010000051d010000051d010000051d010000051d010000051d010000051d008000051d008000051d008000051d008000051d008000051d008000051d008000051d004000051d004000051d004000051d004000051d004000051d004000051d004000051d002000051d002000051d002000051d002000051d002000051d002000051d002000051d001000051d001000051d001000051d001000051d001000051d001000051d001000051d000800051d000800051d000800051d000800051d000800051d000800051d000800051d000400051d000400051d000400051d000400051d000400051d000400051d000400051d000200051d000200051d000200051d000200051d000200051d000200051d000200051d000100051d000100051d000100051d000100051d000100051d000100051d000100051d000080051d000080051d000080051d000080051d000080051d000080051d000080051d000080051d000080051d080000049d080000049d080000049d080000049d080000049d080000049d080000049d040000049d040000049d040000049d040000049d040000049d040000049d040000049d020000049d020000049d020000049d020000049d020000049d020000049d020000049d010000049d010000049d010000049d010000049d010000049d010000049d010000049d008000049d008000049d008000049d008000049d008000049d008000049d008000049d004000049d004000049d004000049d004000049d004000049d004000049d004000049d002000049d002000049d002000049d002000049d002000049d002000049d002000049d001000049d001000049d001000049d001000049d001000049d001000049d001000049d000800049d000800049d000800049d000800049d000800049d000800049d000800049d000400049d000400049d000400049d000400049d000400049d000400049d000400049d000200049d000200049d000200049d000200049d000200049d000200049d000200049d000100049d000100049d000100049d000100049d000100049d000100049d000100049d000080049d000080049d000080049d000080049d000080049d000080049d000080049d000040049d000040049d000040049d000040049d000040049d000040049d000040049d080000041d080000041d080000041d080000041d080000041d080000041d080000041d040000041d040000041d040000041d040000041d040000041d040000041d040000041d020000041d020000041d020000041d020000041d020000041d020000041d020000041d010000041d010000041d010000041d010000041d010000041d010000041d) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))) (.node (.node (.node (.node (.leaf 0x0) (.leaf 0x0)) (.node (.leaf 0x3003300000300330000030033000003003200000300320000030032000c000038d00c000038d00c000038d00c000030d00c000030d00c000030d00003003100000300310000030031000c000038900c000038900c000038900c000030900c000030900c000030900000c033000000c033000000c033000000c032000000c032000000c0320003000038d003000038d003000038d003000030d003000030d003000030d00000c031000000c031000000c0310003000038900300003890030000389003000030900300003090030000309000003033000000303300000030330000003032000000303200000030320000c00038d000c00038d000c00038d000c00030d000c00030d000c00030d000003031000000303100000030310000c000389000c000389000c000389000c000309000c000309000c000309000000c330000000c330000000c330000000c320000000c320000000c320000300038d000300038d000300038d000300030d000300030d000300030d000000c310000000c310000000c3100003000389000300038900030003890003000309000300030900030003090000003330000000333000000033300000003320000000332000000033200000c0038d0000c0038d0000c0038d0000c0030d0000c0030d0000c0030d0000003310000000331000000033100000c003890000c003890000c003890000c003090000c003090000c003090000000f300000000f300000000f300000000f20000030038d000030038d000030038d000030030d000030030d000030030d0000000f1000003003890000300389000030038900003003090000300309000030030900030000f000030000f000030000f000030000e000030000e000030000e000030000e00c0000028d0c0000028d0c0000028d0c0000028d0c0000020d0c0000020d0c0000020d0c0000020d00030000d000030000d000030000d000030000d00c000002890c000002890c000002890c000002890c000002090c000002090c000002090c000002090000c000f00000c000f00000c000f00000c000e00000c000e00000c000e0030000028d030000028d030000028d030000020d030000020d030000020d0000c000d00000c000d00000c000d003000002890300000289030000028903000002090300000209030000020900003000f000003000f000003000f000003000e000003000e000003000e000c000028d00c000028d00c000028d00c000020d00c000020d00c000020d00003000d000003000d000003000d000c000028900c000028900c000028900c000020900c000020900c000020900000c00f000000c00f000000c00f000000c00e000000c00e000000c00e0003000028d003000028d003000028d003000020d003000020d003000020d00000c00d000000c00d000000c00d000300002890030000289003000028900300002090030000209003000020900000300f000000300f000000300f000000300e000000300e000000300e0000c00028d000c00028d000c00028d000c00020d000c00020d000c00020d00000300d000000300d000000300d0000c000289000c000289000c000289000c000209000c000209000c000209000000c0f0000000c0f0000000c0f0000000c0e0000000c0e0000000c0e0000300028d000300028d000300028d000300020d000300020d000300020d000000c0d0000000c0d0000000c0d000030002890003000289000300028900030002090003000209000300020900000030f000000030f0) (.leaf 0x0))) (.node (.node (.leaf 0x8000495000c0004950004000495000400049500040004950004000495000400049500040004950000030c800002000495000200049500020004950002000495000200049500020004950003000495000100049500010004950001000495000100049500010004950001000495000000cc800000800495000080049500008004950000800495000080049500008004950000c004950000400495000040049500004004950000400495000040049500004004950000003c80080000041508000004150800000415080000041508000004150800000415080000041504000004150400000415040000041504000004150400000415040000041504000004150200000415020000041502000004150200000415020000041502000004150200000415010000041501000004150100000415010000041501000004150100000415010000041500800004150080000415008000041500800004150080000415008000041500c00004150040000415004000041500400004150040000415004000041500400004150000300cc0002000041500200004150020000415002000041500200004150020000415003000041500100004150010000415001000041500100004150010000415001000041500000c0cc0000800041500080004150008000415000800041500080004150008000415000c0004150004000415000400041500040004150004000415000400041500040004150000030cc00002000415000200041500020004150002000415000200041500020004150003000415000100041500010004150001000415000100041500010004150001000415000000ccc00000800415000080041500008004150000800415000080041500008004150000c004150000400415000040041500004004150000400415000040041500004004150000003cc00000200415000020041500002004150000200415000020041500002004150000200415000020041500002004150800000395080000039508000003950800000395080000039508000003950c00000395040000039504000003950400000395040000039504000003950400000395000300038002000003950200000395020000039502000003950200000395020000039503000003950100000395010000039501000003950100000395010000039501000003950000c0038000800003950080000395008000039500800003950080000395008000039500c00003950040000395004000039500400003950040000395004000039500400003950000300380002000039500200003950020000395002000039500200003950020000395003000039500100003950010000395001000039500100003950010000395001000039500000c0380000800039500080003950008000395000800039500080003950008000395000c00039500040003950004000395000400039500040003950004000395000400039500000303800002000395000200039500020003950002000395000200039500020003950003000395000100039500010003950001000395000100039500010003950001000395000000c3800000800395000080039500008003950000800395000080039500008003950000c00395000040039500004003950000400395000040039500004003950000400395000000338000002003950000200395000020039500002003950000200395000020039500003003950000100395000010039500001003950000100395000010039500001003950000000f80) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x80000289008000028900800002890080000289008000028900c000028900400002890040000289004000028900400002890040000289004000028900003000d0002000028900200002890020000289002000028900200002890020000289003000028900100002890010000289001000028900100002890010000289001000028900000c00d0000800028900080002890008000289000800028900080002890008000289000c00028900040002890004000289000400028900040002890004000289000400028900000300d00002000289000200028900020002890002000289000200028900020002890003000289000100028900010002890001000289000100028900010002890001000289000000c0d00000800289000080028900008002890000800289000080028900008002890000c0028900004002890000400289000040028900004002890000400289000040028900000030d000002002890000200289000020028900002002890000200289000020028900003002890000100289000010028900001002890000100289000010028900001002890000000cd000000802890000080289000008028900000802890000080289000008028900000c028900000402890000040289000004028900000402890000040289000004028900000003d00800000209080000020908000002090800000209080000020908000002090c0000020904000002090400000209040000020904000002090400000209040000020900030000f002000002090200000209020000020902000002090200000209020000020903000002090100000209010000020901000002090100000209010000020901000002090000c000f000800002090080000209008000020900800002090080000209008000020900c000020900400002090040000209004000020900400002090040000209004000020900003000f0002000020900200002090020000209002000020900200002090020000209003000020900100002090010000209001000020900100002090010000209001000020900000c00f0000800020900080002090008000209000800020900080002090008000209000c00020900040002090004000209000400020900040002090004000209000400020900000300f00002000209000200020900020002090002000209000200020900020002090003000209000100020900010002090001000209000100020900010002090001000209000000c0f00000800209000080020900008002090000800209000080020900008002090000c0020900004002090000400209000040020900004002090000400209000040020900000030f000002002090000200209000020020900002002090000200209000020020900003002090000100209000010020900001002090000100209000010020900001002090000000cf000000802090000080209000008020900000802090000080209000008020900000c020900000402090000040209000004020900000402090000040209000004020900000003f0000002020900000202090000020209000002020900000202090000020209000002020900000202090000020209080000018908000001890800000189080000018908000001890800000189080000018908000001890800000189040000018904000001890400000189040000018904000001890400000189040000018904000001890400000189020000018902000001890200000189020000018902000001890200000189) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x8000005a904000005a904000005a904000005a904000005a904000005a904000005a904000005a904000005a904000005a902000005a902000005a902000005a902000005a902000005a902000005a902000005a902000005a902000005a901000005a901000005a901000005a901000005a901000005a901000005a901000005a901000005a901000005a900800005a900800005a900800005a900800005a900800005a900800005a900800005a900800005a900800005a900400005a900400005a900400005a900400005a900400005a900400005a900400005a900400005a900400005a900200005a900200005a900200005a900200005a900200005a900200005a900200005a900200005a900200005a900100005a900100005a900100005a900100005a900100005a900100005a900100005a900100005a900100005a900080005a900080005a900080005a900080005a900080005a900080005a900080005a900080005a900080005a900040005a900040005a900040005a900040005a900040005a900040005a900040005a900040005a900040005a900020005a900020005a900020005a900020005a900020005a900020005a900020005a900020005a900020005a900010005a900010005a900010005a900010005a900010005a900010005a900010005a900010005a900010005a90800000b250800000b250800000b250800000b250800000b250800000b250800000b250800000b250800000b250800000aa50800000aa50800000aa50800000aa50800000aa50800000aa50800000aa50400000aa50400000aa50400000aa50400000aa50400000aa50400000aa50400000aa50800000a250800000a250800000a250800000a250800000a250800000a250800000a250400000a250400000a250400000a250400000a250400000a250400000a250400000a250200000a250200000a250200000a250200000a250200000a250200000a250200000a250200000a250200000a2508000009a508000009a508000009a508000009a508000009a508000009a508000009a504000009a504000009a504000009a504000009a504000009a504000009a504000009a502000009a502000009a502000009a502000009a502000009a502000009a502000009a501000009a501000009a501000009a501000009a501000009a501000009a501000009a5080000092508000009250800000925080000092508000009250800000925080000092504000009250400000925040000092504000009250400000925040000092504000009250200000925020000092502000009250200000925020000092502000009250200000925010000092501000009250100000925010000092501000009250100000925010000092500800009250080000925008000092500800009250080000925008000092500800009250080000925008000092508000008a508000008a508000008a508000008a508000008a508000008a508000008a504000008a504000008a504000008a504000008a504000008a504000008a504000008a502000008a502000008a502000008a502000008a502000008a502000008a502000008a501000008a501000008a501000008a501000008a501000008a501000008a501000008a500800008a500800008a500800008a500800008a500800008a500800008a500800008a500400008a500400008a500400008a500400008a500400008a500400008a500400008a5080000082508000008250800000825) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))))))) (.node (.node (.node (.node (.node (.node (.node (.leaf 0x10002090000800209000040020900002002090000100209000008020900000402090000020209080000018904000001890200000189010000018900800001890040000189002000018900100001890008000189000400018900020001890001000189000080018900004001890000200189000010018900000801890000040189000002018900000101890800000b050800000a850400000a850800000a050400000a050200000a05080000098504000009850200000985010000098508000009050400000905020000090501000009050080000905080000088504000008850200000885010000088500800008850040000885080000080504000008050200000805010000080500800008050040000805002000080508000007850400000785020000078501000007850080000785004000078500200007850010000785080000070504000007050200000705010000070500800007050040000705002000070500100007050008000705080000068504000006850200000685010000068500800006850040000685002000068500100006850008000685000400068508000006050400000605020000060501000006050080000605004000060500200006050010000605000800060500040006050002000605080000058504000005850200000585010000058500800005850040000585002000058500100005850008000585000400058500020005850001000585080000050504000005050200000505010000050500800005050040000505002000050500100005050008000505000400050500020005050001000505000080050508000004850400000485020000048501000004850080000485004000048500200004850010000485000800048500040004850002000485000100048500008004850000400485080000040504000004050200000405010000040500800004050040000405002000040500100004050008000405000400040500020004050001000405000080040500004004050000200405080000038504000003850200000385010000038500800003850040000385002000038500100003850008000385000400038500020003850001000385000080038500004003850000200385000010038508000003050400000305020000030501000003050080000305004000030500200003050010000305000800030500040003050002000305000100030500008003050000400305000020030500001003050000080305080000028504000002850200000285010000028500800002850040000285002000028500100002850008000285000400028500020002850001000285000080028500004002850000200285000010028500000802850000040285080000020504000002050200000205010000020500800002050040000205002000020500100002050008000205000400020500020002050001000205000080020500004002050000200205000010020500000802050000040205000002020508000001850400000185020000018501000001850080000185004000018500200001850010000185000800018500040001850002000185000100018500008001850000400185000020018500001001850000080185000004018500000201850000010185080000010504000001050200000105010000010500800001050040000105002000010500100001050008000105000400010500020001050001000105000080010500004001050000200105000010010500000801050000040105) (.leaf 0x0)) (.node (.leaf 0x4000082d004000082d004000082d004000082d004000082d004000082d004000082d002000082d002000082d002000082d002000082d002000082d002000082d002000082d002000082d002000082d08000007ad08000007ad08000007ad08000007ad08000007ad08000007ad08000007ad04000007ad04000007ad04000007ad04000007ad04000007ad04000007ad04000007ad02000007ad02000007ad02000007ad02000007ad02000007ad02000007ad02000007ad01000007ad01000007ad01000007ad01000007ad01000007ad01000007ad01000007ad00800007ad00800007ad00800007ad00800007ad00800007ad00800007ad00800007ad00400007ad00400007ad00400007ad00400007ad00400007ad00400007ad00400007ad00200007ad00200007ad00200007ad00200007ad00200007ad00200007ad00200007ad00100007ad00100007ad00100007ad00100007ad00100007ad00100007ad00100007ad080000072d080000072d080000072d080000072d080000072d080000072d080000072d040000072d040000072d040000072d040000072d040000072d040000072d040000072d020000072d020000072d020000072d020000072d020000072d020000072d020000072d010000072d010000072d010000072d010000072d010000072d010000072d010000072d008000072d008000072d008000072d008000072d008000072d008000072d008000072d004000072d004000072d004000072d004000072d004000072d004000072d004000072d002000072d002000072d002000072d002000072d002000072d002000072d002000072d001000072d001000072d001000072d001000072d001000072d001000072d001000072d000800072d000800072d000800072d000800072d000800072d000800072d000800072d000800072d000800072d08000006ad08000006ad08000006ad08000006ad08000006ad08000006ad08000006ad04000006ad04000006ad04000006ad04000006ad04000006ad04000006ad04000006ad02000006ad02000006ad02000006ad02000006ad02000006ad02000006ad02000006ad01000006ad01000006ad01000006ad01000006ad01000006ad01000006ad01000006ad00800006ad00800006ad00800006ad00800006ad00800006ad00800006ad00800006ad00400006ad00400006ad00400006ad00400006ad00400006ad00400006ad00400006ad00200006ad00200006ad00200006ad00200006ad00200006ad00200006ad00200006ad00100006ad00100006ad00100006ad00100006ad00100006ad00100006ad00100006ad00080006ad00080006ad00080006ad00080006ad00080006ad00080006ad00080006ad00040006ad00040006ad00040006ad00040006ad00040006ad00040006ad00040006ad080000062d080000062d080000062d080000062d080000062d080000062d080000062d040000062d040000062d040000062d040000062d040000062d040000062d040000062d020000062d020000062d020000062d020000062d020000062d020000062d020000062d010000062d010000062d010000062d010000062d010000062d010000062d010000062d008000062d008000062d008000062d008000062d008000062d008000062d008000062d004000062d004000062d004000062d004000062d004000062d004000062d004000062d002000062d002000062d002000062d002000062d002000062d002000062d002000062d) (.leaf 0x0))) (.node (.node (.leaf 0x10000068901000006890000c0c01000800006890080000689008000068900800006890080000689008000068900c0000689004000068900400006890040000689004000068900400006890040000689000030c010002000068900200006890020000689002000068900200006890020000689003000068900100006890010000689001000068900100006890010000689001000068900000cc010000800068900080006890008000689000800068900080006890008000689000c000689000400068900040006890004000689000400068900040006890004000689000003c0100800000609080000060908000006090800000609080000060908000006090c00000609040000060904000006090400000609040000060904000006090400000609000300c03002000006090200000609020000060902000006090200000609020000060903000006090100000609010000060901000006090100000609010000060901000006090000c0c03000800006090080000609008000060900800006090080000609008000060900c0000609004000060900400006090040000609004000060900400006090040000609000030c030002000060900200006090020000609002000060900200006090020000609003000060900100006090010000609001000060900100006090010000609001000060900000cc030000800060900080006090008000609000800060900080006090008000609000c000609000400060900040006090004000609000400060900040006090004000609000003c0300002000609000200060900020006090002000609000200060900020006090002000609000200060900020006090800000589080000058908000005890800000589080000058908000005890c00000589040000058904000005890400000589040000058904000005890400000589000300301002000005890200000589020000058902000005890200000589020000058903000005890100000589010000058901000005890100000589010000058901000005890000c0301000800005890080000589008000058900800005890080000589008000058900c00005890040000589004000058900400005890040000589004000058900400005890000303010002000058900200005890020000589002000058900200005890020000589003000058900100005890010000589001000058900100005890010000589001000058900000c3010000800058900080005890008000589000800058900080005890008000589000c00058900040005890004000589000400058900040005890004000589000400058900000330100002000589000200058900020005890002000589000200058900020005890003000589000100058900010005890001000589000100058900010005890001000589000000f0100800000509080000050908000005090800000509080000050908000005090c00000509040000050904000005090400000509040000050904000005090400000509000300303002000005090200000509020000050902000005090200000509020000050903000005090100000509010000050901000005090100000509010000050901000005090000c0303000800005090080000509008000050900800005090080000509008000050900c00005090040000509004000050900400005090040000509004000050900400005090000303030002000050900200005090020000509002000050900200005090020000509) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0xc00020100040002010004000201000400020100040002010004000201000400020100000300cc0002000201000200020100020002010002000201000200020100020002010003000201000100020100010002010001000201000100020100010002010001000201000000c0cc0000800201000080020100008002010000800201000080020100008002010000c0020100004002010000400201000040020100004002010000400201000040020100000030cc00002002010000200201000020020100002002010000200201000020020100003002010000100201000010020100001002010000100201000010020100001002010000000ccc00000802010000080201000008020100000802010000080201000008020100000c020100000402010000040201000004020100000402010000040201000004020100000003cc0000020201000002020100000202010000020201000002020100000202010000020201000002020100000202010800000181080000018108000001810800000181080000018108000001810c00000181040000018104000001810400000181040000018104000001810400000181000300003402000001810200000181020000018102000001810200000181020000018103000001810100000181010000018101000001810100000181010000018101000001810000c0003400800001810080000181008000018100800001810080000181008000018100c00001810040000181004000018100400001810040000181004000018100400001810000300034002000018100200001810020000181002000018100200001810020000181003000018100100001810010000181001000018100100001810010000181001000018100000c0034000800018100080001810008000181000800018100080001810008000181000c00018100040001810004000181000400018100040001810004000181000400018100000300340002000181000200018100020001810002000181000200018100020001810003000181000100018100010001810001000181000100018100010001810001000181000000c0340000800181000080018100008001810000800181000080018100008001810000c00181000040018100004001810000400181000040018100004001810000400181000000303400002001810000200181000020018100002001810000200181000020018100003001810000100181000010018100001001810000100181000010018100001001810000000c3400000801810000080181000008018100000801810000080181000008018100000c01810000040181000004018100000401810000040181000004018100000401810000000334000002018100000201810000020181000002018100000201810000020181000003018100000101810000010181000001018100000101810000010181000001018100000000f40800000101080000010108000001010800000101080000010108000001010c00000101040000010104000001010400000101040000010104000001010400000101000300003c02000001010200000101020000010102000001010200000101020000010103000001010100000101010000010101000001010100000101010000010101000001010000c0003c00800001010080000101008000010100800001010080000101008000010100c0000101004000010100400001010040000101004000010100400001010040000101000030003c0020000101) (.leaf 0x0)) (.node (.leaf 0x3003c000003003800000300380000030038000c000039500c000039500c000039500c000031500c000031500c000031500003003400000300340000030034000c000039100c000039100c000039100c000031100c000031100c000031100000c03c000000c038000000c038000000c038000300003950030000395003000039500300003150030000315003000031500000c034000000c034000000c034000300003910030000391003000039100300003110030000311003000031100000303c0000003038000000303800000030380000c000395000c000395000c000395000c000315000c000315000c000315000003034000000303400000030340000c000391000c000391000c000391000c000311000c000311000c000311000000c3c0000000c380000000c380000000c380000300039500030003950003000395000300031500030003150003000315000000c340000000c340000000c34000030003910003000391000300039100030003110003000311000300031100000033c00000003380000000338000000033800000c003950000c003950000c003950000c003150000c003150000c003150000003340000000334000000033400000c003910000c003910000c003910000c003110000c003110000c003110000000fc00000000f800000300395000030039500003003950000300315000030031500003003150000000f400000300391000030039100003003910000300311000030031100003003110003c000300003c000200003c000200003c000200003c000200c00000a8d0c00000a8d0c00000a8d0c00000a8d0c00000a0d0c00000a0d0c00000a0d0c00000a0d0003c000100003c000100003c000100003c000100c00000a890c00000a890c00000a890c00000a890c00000a090c00000a090c00000a090c00000a0900033000300003300030000330003000033000200003300020000330002000033000200c0000098d0c0000098d0c0000098d0c0000098d0c0000090d0c0000090d0c0000090d0c0000090d00033000100003300010000330001000033000100c000009890c000009890c000009890c000009890c000009090c000009090c000009090c000009090000f000300000f000300000f000300000f00020030000098d030000098d030000098d030000090d030000090d030000090d0000f0001003000009890300000989030000098903000009090300000909030000090900030c003000030c003000030c003000030c002000030c002000030c002000030c00200c0000088d0c0000088d0c0000088d0c0000088d0c0000080d0c0000080d0c0000080d0c0000080d00030c001000030c001000030c001000030c00100c000008890c000008890c000008890c000008890c000008090c000008090c000008090c000008090000cc00300000cc00300000cc00300000cc00200000cc00200000cc0020030000088d030000088d030000088d030000080d030000080d030000080d0000cc00100000cc00100000cc001003000008890300000889030000088903000008090300000809030000080900003c003000003c002000003c002000003c002000c000088d00c000088d00c000088d00c000080d00c000080d00c000080d00003c001000003c001000003c001000c000088900c000088900c000088900c000080900c000080900c000080900030300300003030030000303003000030300200003030020000303002000030300200c0000078d0c0000078d0c0000078d) (.leaf 0x0))) (.node (.node (.leaf 0x400039900040003990002000399000200039900020003990002000399000200039900020003990002000399000200039900020003990001000399000100039900010003990001000399000100039900010003990001000399000100039900010003990000800399000080039900008003990000800399000080039900008003990000800399000080039900008003990000400399000040039900004003990000400399000040039900004003990000400399000040039900004003990000200399000020039900002003990000200399000020039900002003990000200399000020039900002003990000100399000010039900001003990000100399000010039900001003990000100399000010039900001003990800000b150800000b150800000b150800000b150800000b150800000b150800000b150800000b150800000b150800000a950800000a950800000a950800000a950800000a950800000a950800000a950400000a950400000a950400000a950400000a950400000a950400000a950400000a950800000a150800000a150800000a150800000a150800000a150800000a150800000a150400000a150400000a150400000a150400000a150400000a150400000a150400000a150200000a150200000a150200000a150200000a150200000a150200000a150200000a150200000a150200000a150800000995080000099508000009950800000995080000099508000009950800000995040000099504000009950400000995040000099504000009950400000995040000099502000009950200000995020000099502000009950200000995020000099502000009950100000995010000099501000009950100000995010000099501000009950100000995080000091508000009150800000915080000091508000009150800000915080000091504000009150400000915040000091504000009150400000915040000091504000009150200000915020000091502000009150200000915020000091502000009150200000915010000091501000009150100000915010000091501000009150100000915010000091500800009150080000915008000091500800009150080000915008000091500800009150080000915008000091508000008950800000895080000089508000008950800000895080000089508000008950400000895040000089504000008950400000895040000089504000008950400000895020000089502000008950200000895020000089502000008950200000895020000089501000008950100000895010000089501000008950100000895010000089501000008950080000895008000089500800008950080000895008000089500800008950080000895004000089500400008950040000895004000089500400008950040000895004000089508000008150800000815080000081508000008150800000815080000081508000008150400000815040000081504000008150400000815040000081504000008150400000815020000081502000008150200000815020000081502000008150200000815020000081501000008150100000815010000081501000008150100000815010000081501000008150080000815008000081500800008150080000815008000081500800008150080000815004000081500400008150040000815004000081500400008150040000815004000081500200008150020000815002000081500200008150020000815) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))) (.node (.node (.node (.node (.leaf 0x0) (.leaf 0x0)) (.node (.leaf 0x3c400000003c400000c028100000c028100000c028100000c020100000c020100000c0201000300003c00030000380003000038000300003800030000380c000001850c000001850c000001850c000001850c000001050c000001050c000001050c0000010500030000340003000034000300003400030000340c000001810c000001810c000001810c000001810c000001010c000001010c000001010c000001010000c0003c0000c000380000c000380000c000380300000185030000018503000001850300000105030000010503000001050000c000340000c000340000c00034030000018103000001810300000181030000010103000001010300000101000030003c00003000380000300038000030003800c000018500c000018500c000018500c000010500c000010500c000010500003000340000300034000030003400c000018100c000018100c000018100c000010100c000010100c000010100000c003c00000c003800000c003800000c003800300001850030000185003000018500300001050030000105003000010500000c003400000c003400000c0034003000018100300001810030000181003000010100300001010030000101000003003c000003003800000300380000030038000c000185000c000185000c000185000c000105000c000105000c000105000003003400000300340000030034000c000181000c000181000c000181000c000101000c000101000c000101000000c03c000000c038000000c038000000c038000300018500030001850003000185000300010500030001050003000105000000c034000000c034000000c034000300018100030001810003000181000300010100030001010003000101000000303c0000003038000000303800000030380000c001850000c001850000c001850000c001050000c001050000c001050000003034000000303400000030340000c001810000c001810000c001810000c001010000c001010000c001010000000c3c0000000c380000000c380000000c380000300185000030018500003001850000300105000030010500003001050000000c340000000c340000000c34000030018100003001810000300181000030010100003001010000300101000000033c00000003380000000338000000033800000c018500000c018500000c018500000c010500000c010500000c010500000003340000000334000000033400000c018100000c018100000c018100000c010100000c010100000c010100000000fc00000000f800000301850000030185000003018500000301050000030105000003010500000000f40000030181000003018100000301810000030101000003010100000301010800000b550800000b550800000b550800000b550800000b550800000b550800000b550800000b550800000b550800000b510800000b510800000b510800000b510800000b510800000b510800000b510800000b510800000b510800000ad10800000ad10800000ad10800000ad10800000ad10800000ad10800000ad10800000ad10800000ad10400000ad10400000ad10400000ad10400000ad10400000ad10400000ad10400000ad10400000ad10400000ad10800000b4d0800000b4d0800000b4d0800000b4d0800000b4d0800000b4d0800000b4d0800000b4d0800000b4d0800000acd0800000acd0800000acd0800000acd0800000acd0800000acd0800000acd0400000acd0400000acd0400000acd0400000acd) (.leaf 0x0))) (.node (.node (.leaf 0x20000391003000039100100003910010000391001000039100100003910010000391001000039100000c0340000800039100080003910008000391000800039100080003910008000391000c00039100040003910004000391000400039100040003910004000391000400039100000303400002000391000200039100020003910002000391000200039100020003910003000391000100039100010003910001000391000100039100010003910001000391000000c3400000800391000080039100008003910000800391000080039100008003910000c00391000040039100004003910000400391000040039100004003910000400391000000334000002003910000200391000020039100002003910000200391000020039100003003910000100391000010039100001003910000100391000010039100001003910000000f400800000311080000031108000003110800000311080000031108000003110c0000031104000003110400000311040000031104000003110400000311040000031100030003c002000003110200000311020000031102000003110200000311020000031103000003110100000311010000031101000003110100000311010000031101000003110000c003c000800003110080000311008000031100800003110080000311008000031100c000031100400003110040000311004000031100400003110040000311004000031100003003c0002000031100200003110020000311002000031100200003110020000311003000031100100003110010000311001000031100100003110010000311001000031100000c03c0000800031100080003110008000311000800031100080003110008000311000c00031100040003110004000311000400031100040003110004000311000400031100000303c00002000311000200031100020003110002000311000200031100020003110003000311000100031100010003110001000311000100031100010003110001000311000000c3c00000800311000080031100008003110000800311000080031100008003110000c0031100004003110000400311000040031100004003110000400311000040031100000033c000002003110000200311000020031100002003110000200311000020031100003003110000100311000010031100001003110000100311000010031100001003110000000fc00000080311000008031100000803110000080311000008031100000803110000080311000008031100000803110800000291080000029108000002910800000291080000029108000002910800000291080000029108000002910400000291040000029104000002910400000291040000029104000002910400000291040000029104000002910200000291020000029102000002910200000291020000029102000002910200000291020000029102000002910100000291010000029101000002910100000291010000029101000002910100000291010000029101000002910080000291008000029100800002910080000291008000029100800002910080000291008000029100800002910040000291004000029100400002910040000291004000029100400002910040000291004000029100400002910020000291002000029100200002910020000291002000029100200002910020000291002000029100200002910010000291001000029100100002910010000291001000029100100002910010000291) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x400000385000300030802000003850200000385020000038502000003850200000385020000038503000003850100000385010000038501000003850100000385010000038501000003850000c0030800800003850080000385008000038500800003850080000385008000038500c00003850040000385004000038500400003850040000385004000038500400003850000300308002000038500200003850020000385002000038500200003850020000385003000038500100003850010000385001000038500100003850010000385001000038500000c0308000800038500080003850008000385000800038500080003850008000385000c00038500040003850004000385000400038500040003850004000385000400038500000303080002000385000200038500020003850002000385000200038500020003850003000385000100038500010003850001000385000100038500010003850001000385000000c3080000800385000080038500008003850000800385000080038500008003850000c00385000040038500004003850000400385000040038500004003850000400385000000330800002003850000200385000020038500002003850000200385000020038500003003850000100385000010038500001003850000100385000010038500001003850000000f080800000305080000030508000003050800000305080000030508000003050c00000305040000030504000003050400000305040000030504000003050400000305000300030c02000003050200000305020000030502000003050200000305020000030503000003050100000305010000030501000003050100000305010000030501000003050000c0030c00800003050080000305008000030500800003050080000305008000030500c0000305004000030500400003050040000305004000030500400003050040000305000030030c002000030500200003050020000305002000030500200003050020000305003000030500100003050010000305001000030500100003050010000305001000030500000c030c000800030500080003050008000305000800030500080003050008000305000c000305000400030500040003050004000305000400030500040003050004000305000003030c0002000305000200030500020003050002000305000200030500020003050003000305000100030500010003050001000305000100030500010003050001000305000000c30c0000800305000080030500008003050000800305000080030500008003050000c00305000040030500004003050000400305000040030500004003050000400305000000330c00002003050000200305000020030500002003050000200305000020030500003003050000100305000010030500001003050000100305000010030500001003050000000f0c0000080305000008030500000803050000080305000008030500000803050000080305000008030500000803050800000285080000028508000002850800000285080000028508000002850c0000028504000002850400000285040000028504000002850400000285040000028500030000c802000002850200000285020000028502000002850200000285020000028503000002850100000285010000028501000002850100000285010000028501000002850000c000c800800002850080000285008000028500800002850080000285008000028500c0000285) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x100005a100080005a100080005a100080005a100080005a100080005a100080005a100080005a100040005a100040005a100040005a100040005a100040005a100040005a100040005a100020005a100020005a100020005a100020005a100020005a100020005a100020005a100010005a100010005a100010005a100010005a100010005a100010005a100010005a108000005210800000521080000052108000005210800000521080000052108000005210400000521040000052104000005210400000521040000052104000005210400000521020000052102000005210200000521020000052102000005210200000521020000052101000005210100000521010000052101000005210100000521010000052101000005210080000521008000052100800005210080000521008000052100800005210080000521004000052100400005210040000521004000052100400005210040000521004000052100200005210020000521002000052100200005210020000521002000052100200005210010000521001000052100100005210010000521001000052100100005210010000521000800052100080005210008000521000800052100080005210008000521000800052100040005210004000521000400052100040005210004000521000400052100040005210002000521000200052100020005210002000521000200052100020005210002000521000100052100010005210001000521000100052100010005210001000521000100052100008005210000800521000080052100008005210000800521000080052100008005210000800521000080052108000004a108000004a108000004a108000004a108000004a108000004a108000004a108000004a108000004a104000004a104000004a104000004a104000004a104000004a104000004a104000004a104000004a104000004a102000004a102000004a102000004a102000004a102000004a102000004a102000004a102000004a102000004a101000004a101000004a101000004a101000004a101000004a101000004a101000004a101000004a101000004a100800004a100800004a100800004a100800004a100800004a100800004a100800004a100800004a100800004a100400004a100400004a100400004a100400004a100400004a100400004a100400004a100400004a100400004a100200004a100200004a100200004a100200004a100200004a100200004a100200004a100200004a100200004a100100004a100100004a100100004a100100004a100100004a100100004a100100004a100100004a100100004a100080004a100080004a100080004a100080004a100080004a100080004a100080004a100080004a100080004a100040004a100040004a100040004a100040004a100040004a100040004a100040004a100040004a100040004a100020004a100020004a100020004a100020004a100020004a100020004a100020004a100020004a100020004a100010004a100010004a100010004a100010004a100010004a100010004a100010004a100010004a100010004a100008004a100008004a100008004a100008004a100008004a100008004a100008004a100008004a100008004a100004004a100004004a100004004a100004004a100004004a100004004a100004004a100004004a100004004a10800000b1d0800000b1d0800000b1d0800000b1d0800000b1d0800000b1d0800000b1d0800000b1d) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))))) (.node (.node (.node (.node (.node (.leaf 0x400007a100200007a100100007a108000007210400000721020000072101000007210080000721004000072100200007210010000721000800072108000006a104000006a102000006a101000006a100800006a100400006a100200006a100100006a100080006a100040006a10800000621040000062102000006210100000621008000062100400006210020000621001000062100080006210004000621000200062108000005a104000005a102000005a101000005a100800005a100400005a100200005a100100005a100080005a100040005a100020005a100010005a1080000052104000005210200000521010000052100800005210040000521002000052100100005210008000521000400052100020005210001000521000080052108000004a104000004a102000004a101000004a100800004a100400004a100200004a100100004a100080004a100040004a100020004a100010004a100008004a100004004a10800000b1d0800000a9d0400000a9d0800000a1d0400000a1d0200000a1d080000099d040000099d020000099d010000099d080000091d040000091d020000091d010000091d008000091d080000089d040000089d020000089d010000089d008000089d004000089d080000081d040000081d020000081d010000081d008000081d004000081d002000081d080000079d040000079d020000079d010000079d008000079d004000079d002000079d001000079d080000071d040000071d020000071d010000071d008000071d004000071d002000071d001000071d000800071d080000069d040000069d020000069d010000069d008000069d004000069d002000069d001000069d000800069d000400069d080000061d040000061d020000061d010000061d008000061d004000061d002000061d001000061d000800061d000400061d000200061d080000059d040000059d020000059d010000059d008000059d004000059d002000059d001000059d000800059d000400059d000200059d000100059d080000051d040000051d020000051d010000051d008000051d004000051d002000051d001000051d000800051d000400051d000200051d000100051d000080051d080000049d040000049d020000049d010000049d008000049d004000049d002000049d001000049d000800049d000400049d000200049d000100049d000080049d000040049d080000041d040000041d020000041d010000041d008000041d004000041d002000041d001000041d000800041d000400041d000200041d000100041d000080041d000040041d000020041d0800000b190800000a990400000a990800000a190400000a190200000a190800000999040000099902000009990100000999080000091904000009190200000919010000091900800009190800000899040000089902000008990100000899008000089900400008990800000819040000081902000008190100000819008000081900400008190020000819080000079904000007990200000799010000079900800007990040000799002000079900100007990800000719040000071902000007190100000719008000071900400007190020000719001000071900080007190800000699040000069902000006990100000699008000069900400006990020000699001000069900080006990004000699080000061904000006190200000619010000061900800006190040000619002000061900100006190008000619) (.leaf 0x0)) (.node (.leaf 0x1000008390080000839008000083900800008390080000839008000083900800008390080000839004000083900400008390040000839004000083900400008390040000839004000083900200008390020000839002000083900200008390020000839002000083900200008390020000839002000083908000007b908000007b908000007b908000007b908000007b908000007b908000007b908000007b908000007b904000007b904000007b904000007b904000007b904000007b904000007b904000007b904000007b904000007b902000007b902000007b902000007b902000007b902000007b902000007b902000007b902000007b902000007b901000007b901000007b901000007b901000007b901000007b901000007b901000007b901000007b901000007b900800007b900800007b900800007b900800007b900800007b900800007b900800007b900800007b900800007b900400007b900400007b900400007b900400007b900400007b900400007b900400007b900400007b900400007b900200007b900200007b900200007b900200007b900200007b900200007b900200007b900200007b900200007b900100007b900100007b900100007b900100007b900100007b900100007b900100007b900100007b900100007b90800000b350800000b350800000b350800000b350800000b350800000b350800000b350800000b350800000b350800000ab50800000ab50800000ab50800000ab50800000ab50800000ab50800000ab50400000ab50400000ab50400000ab50400000ab50400000ab50400000ab50400000ab50800000a350800000a350800000a350800000a350800000a350800000a350800000a350400000a350400000a350400000a350400000a350400000a350400000a350400000a350200000a350200000a350200000a350200000a350200000a350200000a350200000a350200000a350200000a3508000009b508000009b508000009b508000009b508000009b508000009b508000009b504000009b504000009b504000009b504000009b504000009b504000009b504000009b502000009b502000009b502000009b502000009b502000009b502000009b502000009b501000009b501000009b501000009b501000009b501000009b501000009b501000009b5080000093508000009350800000935080000093508000009350800000935080000093504000009350400000935040000093504000009350400000935040000093504000009350200000935020000093502000009350200000935020000093502000009350200000935010000093501000009350100000935010000093501000009350100000935010000093500800009350080000935008000093500800009350080000935008000093500800009350080000935008000093508000008b508000008b508000008b508000008b508000008b508000008b508000008b504000008b504000008b504000008b504000008b504000008b504000008b504000008b502000008b502000008b502000008b502000008b502000008b502000008b502000008b501000008b501000008b501000008b501000008b501000008b501000008b501000008b500800008b500800008b500800008b500800008b500800008b500800008b500800008b500400008b500400008b500400008b500400008b500400008b500400008b500400008b50800000835080000083508000008350800000835080000083508000008350800000835) (.leaf 0x0))) (.node (.node (.leaf 0x10000048d010000048d0000c00c20008000048d008000048d008000048d008000048d008000048d008000048d00c000048d004000048d004000048d004000048d004000048d004000048d004000048d0000300c20002000048d002000048d002000048d002000048d002000048d002000048d003000048d001000048d001000048d001000048d001000048d001000048d001000048d00000c0c20000800048d000800048d000800048d000800048d000800048d000800048d000c00048d000400048d000400048d000400048d000400048d000400048d000400048d0000030c20000200048d000200048d000200048d000200048d000200048d000200048d000300048d000100048d000100048d000100048d000100048d000100048d000100048d000000cc20000080048d000080048d000080048d000080048d000080048d000080048d0000c0048d000040048d000040048d000040048d000040048d000040048d000040048d0000003c20080000040d080000040d080000040d080000040d080000040d080000040d0c0000040d040000040d040000040d040000040d040000040d040000040d040000040d0003000c30020000040d020000040d020000040d020000040d020000040d020000040d030000040d010000040d010000040d010000040d010000040d010000040d010000040d0000c00c30008000040d008000040d008000040d008000040d008000040d008000040d00c000040d004000040d004000040d004000040d004000040d004000040d004000040d0000300c30002000040d002000040d002000040d002000040d002000040d002000040d003000040d001000040d001000040d001000040d001000040d001000040d001000040d00000c0c30000800040d000800040d000800040d000800040d000800040d000800040d000c00040d000400040d000400040d000400040d000400040d000400040d000400040d0000030c30000200040d000200040d000200040d000200040d000200040d000200040d000300040d000100040d000100040d000100040d000100040d000100040d000100040d000000cc30000080040d000080040d000080040d000080040d000080040d000080040d0000c0040d000040040d000040040d000040040d000040040d000040040d000040040d0000003c30000020040d000020040d000020040d000020040d000020040d000020040d000020040d000020040d000020040d080000038d080000038d080000038d080000038d080000038d080000038d0c0000038d040000038d040000038d040000038d040000038d040000038d040000038d0003000320020000038d020000038d020000038d020000038d020000038d020000038d030000038d010000038d010000038d010000038d010000038d010000038d010000038d0000c00320008000038d008000038d008000038d008000038d008000038d008000038d00c000038d004000038d004000038d004000038d004000038d004000038d004000038d0000300320002000038d002000038d002000038d002000038d002000038d002000038d003000038d001000038d001000038d001000038d001000038d001000038d001000038d00000c0320000800038d000800038d000800038d000800038d000800038d000800038d000c00038d000400038d000400038d000400038d000400038d000400038d000400038d0000030320000200038d000200038d000200038d000200038d000200038d000200038d) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x100007810010000781001000078100100007810010000781001000078100000f00040800000701080000070108000007010800000701080000070108000007010c00000701040000070104000007010400000701040000070104000007010400000701000303000c02000007010200000701020000070102000007010200000701020000070103000007010100000701010000070101000007010100000701010000070101000007010000c3000c00800007010080000701008000070100800007010080000701008000070100c0000701004000070100400007010040000701004000070100400007010040000701000033000c002000070100200007010020000701002000070100200007010020000701003000070100100007010010000701001000070100100007010010000701001000070100000f000c0008000701000800070100080007010008000701000800070100080007010008000701000800070100080007010800000681080000068108000006810800000681080000068108000006810c00000681040000068104000006810400000681040000068104000006810400000681000300c00402000006810200000681020000068102000006810200000681020000068103000006810100000681010000068101000006810100000681010000068101000006810000c0c00400800006810080000681008000068100800006810080000681008000068100c0000681004000068100400006810040000681004000068100400006810040000681000030c004002000068100200006810020000681002000068100200006810020000681003000068100100006810010000681001000068100100006810010000681001000068100000cc004000800068100080006810008000681000800068100080006810008000681000c000681000400068100040006810004000681000400068100040006810004000681000003c0040800000601080000060108000006010800000601080000060108000006010c00000601040000060104000006010400000601040000060104000006010400000601000300c00c02000006010200000601020000060102000006010200000601020000060103000006010100000601010000060101000006010100000601010000060101000006010000c0c00c00800006010080000601008000060100800006010080000601008000060100c0000601004000060100400006010040000601004000060100400006010040000601000030c00c002000060100200006010020000601002000060100200006010020000601003000060100100006010010000601001000060100100006010010000601001000060100000cc00c000800060100080006010008000601000800060100080006010008000601000c000601000400060100040006010004000601000400060100040006010004000601000003c00c0002000601000200060100020006010002000601000200060100020006010002000601000200060100020006010800000581080000058108000005810800000581080000058108000005810c00000581040000058104000005810400000581040000058104000005810400000581000300300402000005810200000581020000058102000005810200000581020000058103000005810100000581010000058101000005810100000581010000058101000005810000c0300400800005810080000581008000058100800005810080000581008000058100c0000581) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x10000041d008000041d008000041d008000041d008000041d008000041d008000041d008000041d004000041d004000041d004000041d004000041d004000041d004000041d004000041d002000041d002000041d002000041d002000041d002000041d002000041d002000041d001000041d001000041d001000041d001000041d001000041d001000041d001000041d000800041d000800041d000800041d000800041d000800041d000800041d000800041d000400041d000400041d000400041d000400041d000400041d000400041d000400041d000200041d000200041d000200041d000200041d000200041d000200041d000200041d000100041d000100041d000100041d000100041d000100041d000100041d000100041d000080041d000080041d000080041d000080041d000080041d000080041d000080041d000040041d000040041d000040041d000040041d000040041d000040041d000040041d000020041d000020041d000020041d000020041d000020041d000020041d000020041d000020041d000020041d0800000b190800000b190800000b190800000b190800000b190800000b190800000b190800000b190800000b190800000a990800000a990800000a990800000a990800000a990800000a990800000a990400000a990400000a990400000a990400000a990400000a990400000a990400000a990800000a190800000a190800000a190800000a190800000a190800000a190800000a190400000a190400000a190400000a190400000a190400000a190400000a190400000a190200000a190200000a190200000a190200000a190200000a190200000a190200000a190200000a190200000a190800000999080000099908000009990800000999080000099908000009990800000999040000099904000009990400000999040000099904000009990400000999040000099902000009990200000999020000099902000009990200000999020000099902000009990100000999010000099901000009990100000999010000099901000009990100000999080000091908000009190800000919080000091908000009190800000919080000091904000009190400000919040000091904000009190400000919040000091904000009190200000919020000091902000009190200000919020000091902000009190200000919010000091901000009190100000919010000091901000009190100000919010000091900800009190080000919008000091900800009190080000919008000091900800009190080000919008000091908000008990800000899080000089908000008990800000899080000089908000008990400000899040000089904000008990400000899040000089904000008990400000899020000089902000008990200000899020000089902000008990200000899020000089901000008990100000899010000089901000008990100000899010000089901000008990080000899008000089900800008990080000899008000089900800008990080000899004000089900400008990040000899004000089900400008990040000899004000089908000008190800000819080000081908000008190800000819080000081908000008190400000819040000081904000008190400000819040000081904000008190400000819020000081902000008190200000819020000081902000008190200000819020000081901000008190100000819) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))) (.node (.node (.node (.node (.leaf 0x0) (.leaf 0x0)) (.node (.leaf 0x30f000000030e000000030e000000030e00000c0028d0000c0028d0000c0028d0000c0020d0000c0020d0000c0020d00000030d000000030d000000030d00000c002890000c002890000c002890000c002090000c002090000c002090000000cf00000000cf00000000cf00000000ce00000000ce00000000ce0000030028d000030028d000030028d000030020d000030020d000030020d0000000cd00000000cd00000000cd000003002890000300289000030028900003002090000300209000030020900000003f000000003e000000003e000000003e000000c028d00000c028d00000c028d00000c020d00000c020d00000c020d00000003d000000003d000000003d000000c028900000c028900000c028900000c020900000c020900000c02090003c0000c0003c000080003c000080003c000080003c000080c00000a850c00000a850c00000a850c00000a850c00000a050c00000a050c00000a050c00000a050003c000040003c000040003c000040003c000040c00000a810c00000a810c00000a810c00000a810c00000a010c00000a010c00000a010c00000a01000330000c000330000c000330000c00033000080003300008000330000800033000080c000009850c000009850c000009850c000009850c000009050c000009050c000009050c0000090500033000040003300004000330000400033000040c000009810c000009810c000009810c000009810c000009010c000009010c000009010c000009010000f0000c0000f0000c0000f0000c0000f000080300000985030000098503000009850300000905030000090503000009050000f0000403000009810300000981030000098103000009010300000901030000090100030c000c00030c000c00030c000c00030c000800030c000800030c000800030c00080c000008850c000008850c000008850c000008850c000008050c000008050c000008050c0000080500030c000400030c000400030c000400030c00040c000008810c000008810c000008810c000008810c000008010c000008010c000008010c000008010000cc000c0000cc000c0000cc000c0000cc00080000cc00080000cc00080300000885030000088503000008850300000805030000080503000008050000cc00040000cc00040000cc000403000008810300000881030000088103000008010300000801030000080100003c000c00003c000800003c000800003c000800c000088500c000088500c000088500c000080500c000080500c000080500003c000400003c000400003c000400c000088100c000088100c000088100c000080100c000080100c0000801000303000c000303000c000303000c00030300080003030008000303000800030300080c000007850c000007850c000007850c000007850c000007050c000007050c000007050c0000070500030300040003030004000303000400030300040c000007810c000007810c000007810c000007810c000007010c000007010c000007010c000007010000c3000c0000c3000c0000c3000c0000c300080000c300080000c300080300000785030000078503000007850300000705030000070503000007050000c300040000c300040000c30004030000078103000007810300000781030000070103000007010300000701000033000c000033000c000033000c00003300080000330008000033000800c000078500c000078500c000078500c000070500c000070500c00007050000330004) (.leaf 0x0))) (.node (.node (.leaf 0x800000315080000031508000003150800000315080000031508000003150c0000031504000003150400000315040000031504000003150400000315040000031500030003c002000003150200000315020000031502000003150200000315020000031503000003150100000315010000031501000003150100000315010000031501000003150000c003c000800003150080000315008000031500800003150080000315008000031500c000031500400003150040000315004000031500400003150040000315004000031500003003c0002000031500200003150020000315002000031500200003150020000315003000031500100003150010000315001000031500100003150010000315001000031500000c03c0000800031500080003150008000315000800031500080003150008000315000c00031500040003150004000315000400031500040003150004000315000400031500000303c00002000315000200031500020003150002000315000200031500020003150003000315000100031500010003150001000315000100031500010003150001000315000000c3c00000800315000080031500008003150000800315000080031500008003150000c0031500004003150000400315000040031500004003150000400315000040031500000033c000002003150000200315000020031500002003150000200315000020031500003003150000100315000010031500001003150000100315000010031500001003150000000fc00000080315000008031500000803150000080315000008031500000803150000080315000008031500000803150800000b110800000b110800000b110800000b110800000b110800000b110800000b110800000b110800000b110800000a910800000a910800000a910800000a910800000a910800000a910800000a910400000a910400000a910400000a910400000a910400000a910400000a910400000a910800000a110800000a110800000a110800000a110800000a110800000a110800000a110400000a110400000a110400000a110400000a110400000a110400000a110400000a110200000a110200000a110200000a110200000a110200000a110200000a110200000a110200000a110200000a1108000009910800000991080000099108000009910800000991080000099108000009910400000991040000099104000009910400000991040000099104000009910400000991020000099102000009910200000991020000099102000009910200000991020000099101000009910100000991010000099101000009910100000991010000099101000009910800000911080000091108000009110800000911080000091108000009110800000911040000091104000009110400000911040000091104000009110400000911040000091102000009110200000911020000091102000009110200000911020000091102000009110100000911010000091101000009110100000911010000091101000009110100000911008000091100800009110080000911008000091100800009110080000911008000091100800009110080000911080000089108000008910800000891080000089108000008910800000891080000089104000008910400000891040000089104000008910400000891040000089104000008910200000891020000089102000008910200000891020000089102000008910200000891010000089101000008910100000891) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x200000189020000018902000001890100000189010000018901000001890100000189010000018901000001890100000189010000018901000001890080000189008000018900800001890080000189008000018900800001890080000189008000018900800001890040000189004000018900400001890040000189004000018900400001890040000189004000018900400001890020000189002000018900200001890020000189002000018900200001890020000189002000018900200001890010000189001000018900100001890010000189001000018900100001890010000189001000018900100001890008000189000800018900080001890008000189000800018900080001890008000189000800018900080001890004000189000400018900040001890004000189000400018900040001890004000189000400018900040001890002000189000200018900020001890002000189000200018900020001890002000189000200018900020001890001000189000100018900010001890001000189000100018900010001890001000189000100018900010001890000800189000080018900008001890000800189000080018900008001890000800189000080018900008001890000400189000040018900004001890000400189000040018900004001890000400189000040018900004001890000200189000020018900002001890000200189000020018900002001890000200189000020018900002001890000100189000010018900001001890000100189000010018900001001890000100189000010018900001001890000080189000008018900000801890000080189000008018900000801890000080189000008018900000801890000040189000004018900000401890000040189000004018900000401890000040189000004018900000401890000020189000002018900000201890000020189000002018900000201890000020189000002018900000201890000010189000001018900000101890000010189000001018900000101890000010189000001018900000101890800000b050800000b050800000b050800000b050800000b050800000b050800000b050800000b050800000b050800000a850800000a850800000a850800000a850800000a850800000a850c00000a850400000a850400000a850400000a850400000a850400000a850400000a850003c000080800000a050800000a050800000a050800000a050800000a050800000a050c00000a050400000a050400000a050400000a050400000a050400000a050400000a050003c0000c0200000a050200000a050200000a050200000a050200000a050200000a050200000a050200000a050200000a050800000985080000098508000009850800000985080000098508000009850c00000985040000098504000009850400000985040000098504000009850400000985000330000802000009850200000985020000098502000009850200000985020000098503000009850100000985010000098501000009850100000985010000098501000009850000f000080800000905080000090508000009050800000905080000090508000009050c00000905040000090504000009050400000905040000090504000009050400000905000330000c020000090502000009050200000905020000090502000009050200000905030000090501000009050100000905010000090501000009050100000905) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x8000008250800000825080000082508000008250400000825040000082504000008250400000825040000082504000008250400000825020000082502000008250200000825020000082502000008250200000825020000082501000008250100000825010000082501000008250100000825010000082501000008250080000825008000082500800008250080000825008000082500800008250080000825004000082500400008250040000825004000082500400008250040000825004000082500200008250020000825002000082500200008250020000825002000082500200008250020000825002000082508000007a508000007a508000007a508000007a508000007a508000007a508000007a504000007a504000007a504000007a504000007a504000007a504000007a504000007a502000007a502000007a502000007a502000007a502000007a502000007a502000007a501000007a501000007a501000007a501000007a501000007a501000007a501000007a500800007a500800007a500800007a500800007a500800007a500800007a500800007a500400007a500400007a500400007a500400007a500400007a500400007a500400007a500200007a500200007a500200007a500200007a500200007a500200007a500200007a500100007a500100007a500100007a500100007a500100007a500100007a500100007a50800000725080000072508000007250800000725080000072508000007250800000725040000072504000007250400000725040000072504000007250400000725040000072502000007250200000725020000072502000007250200000725020000072502000007250100000725010000072501000007250100000725010000072501000007250100000725008000072500800007250080000725008000072500800007250080000725008000072500400007250040000725004000072500400007250040000725004000072500400007250020000725002000072500200007250020000725002000072500200007250020000725001000072500100007250010000725001000072500100007250010000725001000072500080007250008000725000800072500080007250008000725000800072500080007250008000725000800072508000006a508000006a508000006a508000006a508000006a508000006a508000006a504000006a504000006a504000006a504000006a504000006a504000006a504000006a502000006a502000006a502000006a502000006a502000006a502000006a502000006a501000006a501000006a501000006a501000006a501000006a501000006a501000006a500800006a500800006a500800006a500800006a500800006a500800006a500800006a500400006a500400006a500400006a500400006a500400006a500400006a500400006a500200006a500200006a500200006a500200006a500200006a500200006a500200006a500100006a500100006a500100006a500100006a500100006a500100006a500100006a500080006a500080006a500080006a500080006a500080006a500080006a500080006a500040006a500040006a500040006a500040006a500040006a500040006a500040006a508000006250800000625080000062508000006250800000625080000062508000006250400000625040000062504000006250400000625040000062504000006250400000625020000062502000006250200000625) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))))) (.node (.node (.node (.node (.node (.node (.leaf 0x10000079100800007910040000791002000079100100007910800000711040000071102000007110100000711008000071100400007110020000711001000071100080007110800000691040000069102000006910100000691008000069100400006910020000691001000069100080006910004000691080000061104000006110200000611010000061100800006110040000611002000061100100006110008000611000400061100020006110800000591040000059102000005910100000591008000059100400005910020000591001000059100080005910004000591000200059100010005910800000511040000051102000005110100000511008000051100400005110020000511001000051100080005110004000511000200051100010005110000800511080000049104000004910200000491010000049100800004910040000491002000049100100004910008000491000400049100020004910001000491000080049100004004910800000411040000041102000004110100000411008000041100400004110020000411001000041100080004110004000411000200041100010004110000800411000040041100002004110800000391040000039102000003910100000391008000039100400003910020000391001000039100080003910004000391000200039100010003910000800391000040039100002003910000100391080000031104000003110200000311010000031100800003110040000311002000031100100003110008000311000400031100020003110001000311000080031100004003110000200311000010031100000803110800000291040000029102000002910100000291008000029100400002910020000291001000029100080002910004000291000200029100010002910000800291000040029100002002910000100291000008029100000402910800000b0d0800000a8d0400000a8d0800000a0d0400000a0d0200000a0d080000098d040000098d020000098d010000098d080000090d040000090d020000090d010000090d008000090d080000088d040000088d020000088d010000088d008000088d004000088d080000080d040000080d020000080d010000080d008000080d004000080d002000080d080000078d040000078d020000078d010000078d008000078d004000078d002000078d001000078d080000070d040000070d020000070d010000070d008000070d004000070d002000070d001000070d000800070d080000068d040000068d020000068d010000068d008000068d004000068d002000068d001000068d000800068d000400068d080000060d040000060d020000060d010000060d008000060d004000060d002000060d001000060d000800060d000400060d000200060d080000058d040000058d020000058d010000058d008000058d004000058d002000058d001000058d000800058d000400058d000200058d000100058d080000050d040000050d020000050d010000050d008000050d004000050d002000050d001000050d000800050d000400050d000200050d000100050d000080050d080000048d040000048d020000048d010000048d008000048d004000048d002000048d001000048d000800048d000400048d000200048d000100048d000080048d000040048d080000040d040000040d020000040d010000040d008000040d004000040d002000040d001000040d000800040d000400040d000200040d) (.leaf 0x0)) (.node (.leaf 0x200000931020000093102000009310200000931010000093101000009310100000931010000093101000009310100000931010000093100800009310080000931008000093100800009310080000931008000093100800009310080000931008000093108000008b108000008b108000008b108000008b108000008b108000008b108000008b104000008b104000008b104000008b104000008b104000008b104000008b104000008b102000008b102000008b102000008b102000008b102000008b102000008b102000008b101000008b101000008b101000008b101000008b101000008b101000008b101000008b100800008b100800008b100800008b100800008b100800008b100800008b100800008b100400008b100400008b100400008b100400008b100400008b100400008b100400008b108000008310800000831080000083108000008310800000831080000083108000008310400000831040000083104000008310400000831040000083104000008310400000831020000083102000008310200000831020000083102000008310200000831020000083101000008310100000831010000083101000008310100000831010000083101000008310080000831008000083100800008310080000831008000083100800008310080000831004000083100400008310040000831004000083100400008310040000831004000083100200008310020000831002000083100200008310020000831002000083100200008310020000831002000083108000007b108000007b108000007b108000007b108000007b108000007b108000007b104000007b104000007b104000007b104000007b104000007b104000007b104000007b102000007b102000007b102000007b102000007b102000007b102000007b102000007b101000007b101000007b101000007b101000007b101000007b101000007b101000007b100800007b100800007b100800007b100800007b100800007b100800007b100800007b100400007b100400007b100400007b100400007b100400007b100400007b100400007b100200007b100200007b100200007b100200007b100200007b100200007b100200007b100100007b100100007b100100007b100100007b100100007b100100007b100100007b10800000731080000073108000007310800000731080000073108000007310800000731040000073104000007310400000731040000073104000007310400000731040000073102000007310200000731020000073102000007310200000731020000073102000007310100000731010000073101000007310100000731010000073101000007310100000731008000073100800007310080000731008000073100800007310080000731008000073100400007310040000731004000073100400007310040000731004000073100400007310020000731002000073100200007310020000731002000073100200007310020000731001000073100100007310010000731001000073100100007310010000731001000073100080007310008000731000800073100080007310008000731000800073100080007310008000731000800073108000006b108000006b108000006b108000006b108000006b108000006b108000006b108000006b108000006b104000006b104000006b104000006b104000006b104000006b104000006b104000006b104000006b104000006b102000006b102000006b102000006b102000006b1) (.leaf 0x0))) (.node (.node (.leaf 0x20028d000020028d000020028d000020028d000020028d000030028d000010028d000010028d000010028d000010028d000010028d000010028d0000000ce0000008028d000008028d000008028d000008028d000008028d000008028d00000c028d000004028d000004028d000004028d000004028d000004028d000004028d00000003e0080000020d080000020d080000020d080000020d080000020d080000020d0c0000020d040000020d040000020d040000020d040000020d040000020d040000020d00030000f0020000020d020000020d020000020d020000020d020000020d020000020d030000020d010000020d010000020d010000020d010000020d010000020d010000020d0000c000f0008000020d008000020d008000020d008000020d008000020d008000020d00c000020d004000020d004000020d004000020d004000020d004000020d004000020d00003000f0002000020d002000020d002000020d002000020d002000020d002000020d003000020d001000020d001000020d001000020d001000020d001000020d001000020d00000c00f0000800020d000800020d000800020d000800020d000800020d000800020d000c00020d000400020d000400020d000400020d000400020d000400020d000400020d00000300f0000200020d000200020d000200020d000200020d000200020d000200020d000300020d000100020d000100020d000100020d000100020d000100020d000100020d000000c0f0000080020d000080020d000080020d000080020d000080020d000080020d0000c0020d000040020d000040020d000040020d000040020d000040020d000040020d00000030f0000020020d000020020d000020020d000020020d000020020d000020020d000030020d000010020d000010020d000010020d000010020d000010020d000010020d0000000cf0000008020d000008020d000008020d000008020d000008020d000008020d00000c020d000004020d000004020d000004020d000004020d000004020d000004020d00000003f0000002020d000002020d000002020d000002020d000002020d000002020d000002020d000002020d000002020d0800000b090800000b090800000b090800000b090800000b090800000b090800000b090800000b090800000b090800000a890800000a890800000a890800000a890800000a890800000a890c00000a890400000a890400000a890400000a890400000a890400000a890400000a890003c000100800000a090800000a090800000a090800000a090800000a090800000a090c00000a090400000a090400000a090400000a090400000a090400000a090400000a090003c000300200000a090200000a090200000a090200000a090200000a090200000a090200000a090200000a090200000a090800000989080000098908000009890800000989080000098908000009890c00000989040000098904000009890400000989040000098904000009890400000989000330001002000009890200000989020000098902000009890200000989020000098903000009890100000989010000098901000009890100000989010000098901000009890000f000100800000909080000090908000009090800000909080000090908000009090c000009090400000909040000090904000009090400000909040000090904000009090003300030020000090902000009090200000909020000090902000009090200000909) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x20000040102000004010200000401020000040103000004010100000401010000040101000004010100000401010000040101000004010000c00c0c00800004010080000401008000040100800004010080000401008000040100c00004010040000401004000040100400004010040000401004000040100400004010000300c0c002000040100200004010020000401002000040100200004010020000401003000040100100004010010000401001000040100100004010010000401001000040100000c0c0c000800040100080004010008000401000800040100080004010008000401000c0004010004000401000400040100040004010004000401000400040100040004010000030c0c0002000401000200040100020004010002000401000200040100020004010003000401000100040100010004010001000401000100040100010004010001000401000000cc0c0000800401000080040100008004010000800401000080040100008004010000c004010000400401000040040100004004010000400401000040040100004004010000003c0c0000200401000020040100002004010000200401000020040100002004010000200401000020040100002004010800000381080000038108000003810800000381080000038108000003810c00000381040000038104000003810400000381040000038104000003810400000381000300030402000003810200000381020000038102000003810200000381020000038103000003810100000381010000038101000003810100000381010000038101000003810000c0030400800003810080000381008000038100800003810080000381008000038100c00003810040000381004000038100400003810040000381004000038100400003810000300304002000038100200003810020000381002000038100200003810020000381003000038100100003810010000381001000038100100003810010000381001000038100000c0304000800038100080003810008000381000800038100080003810008000381000c00038100040003810004000381000400038100040003810004000381000400038100000303040002000381000200038100020003810002000381000200038100020003810003000381000100038100010003810001000381000100038100010003810001000381000000c3040000800381000080038100008003810000800381000080038100008003810000c00381000040038100004003810000400381000040038100004003810000400381000000330400002003810000200381000020038100002003810000200381000020038100003003810000100381000010038100001003810000100381000010038100001003810000000f040800000301080000030108000003010800000301080000030108000003010c00000301040000030104000003010400000301040000030104000003010400000301000300030c02000003010200000301020000030102000003010200000301020000030103000003010100000301010000030101000003010100000301010000030101000003010000c0030c00800003010080000301008000030100800003010080000301008000030100c0000301004000030100400003010040000301004000030100400003010040000301000030030c00200003010020000301002000030100200003010020000301002000030100300003010010000301001000030100100003010010000301) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x40000619004000061900400006190040000619004000061900200006190020000619002000061900200006190020000619002000061900200006190010000619001000061900100006190010000619001000061900100006190010000619000800061900080006190008000619000800061900080006190008000619000800061900040006190004000619000400061900040006190004000619000400061900040006190002000619000200061900020006190002000619000200061900020006190002000619000200061900020006190800000599080000059908000005990800000599080000059908000005990800000599040000059904000005990400000599040000059904000005990400000599040000059902000005990200000599020000059902000005990200000599020000059902000005990100000599010000059901000005990100000599010000059901000005990100000599008000059900800005990080000599008000059900800005990080000599008000059900400005990040000599004000059900400005990040000599004000059900400005990020000599002000059900200005990020000599002000059900200005990020000599001000059900100005990010000599001000059900100005990010000599001000059900080005990008000599000800059900080005990008000599000800059900080005990004000599000400059900040005990004000599000400059900040005990004000599000200059900020005990002000599000200059900020005990002000599000200059900010005990001000599000100059900010005990001000599000100059900010005990800000519080000051908000005190800000519080000051908000005190800000519040000051904000005190400000519040000051904000005190400000519040000051902000005190200000519020000051902000005190200000519020000051902000005190100000519010000051901000005190100000519010000051901000005190100000519008000051900800005190080000519008000051900800005190080000519008000051900400005190040000519004000051900400005190040000519004000051900400005190020000519002000051900200005190020000519002000051900200005190020000519001000051900100005190010000519001000051900100005190010000519001000051900080005190008000519000800051900080005190008000519000800051900080005190004000519000400051900040005190004000519000400051900040005190004000519000200051900020005190002000519000200051900020005190002000519000200051900010005190001000519000100051900010005190001000519000100051900010005190000800519000080051900008005190000800519000080051900008005190000800519000080051900008005190800000499080000049908000004990800000499080000049908000004990800000499040000049904000004990400000499040000049904000004990400000499040000049902000004990200000499020000049902000004990200000499020000049902000004990100000499010000049901000004990100000499010000049901000004990100000499008000049900800004990080000499008000049900800004990080000499008000049900400004990040000499) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))) (.node (.node (.node (.node (.leaf 0x0) (.leaf 0x0)) (.node (.leaf 0x3000581000300058100030005810003000501000300050100030005010003000c0c0003000c0c0003000c0c0003000c080003000c080003000c080003000c080c000004850c000004850c000004850c000004850c000004050c000004050c000004050c000004050003000c040003000c040003000c040003000c040c000004810c000004810c000004810c000004810c000004010c000004010c000004010c000004010000c00c0c0000c00c0c0000c00c0c0000c00c080000c00c080000c00c080300000485030000048503000004850300000405030000040503000004050000c00c040000c00c040000c00c040300000481030000048103000004810300000401030000040103000004010000300c0c0000300c0c0000300c0c0000300c080000300c080000300c0800c000048500c000048500c000048500c000040500c000040500c00004050000300c040000300c040000300c0400c000048100c000048100c000048100c000040100c000040100c000040100000c0c0c00000c0c0c00000c0c0c00000c0c0800000c0c0800000c0c0800300004850030000485003000048500300004050030000405003000040500000c0c0400000c0c0400000c0c040030000481003000048100300004810030000401003000040100300004010000030c0c0000030c0c0000030c0c0000030c080000030c080000030c08000c000485000c000485000c000485000c000405000c000405000c0004050000030c040000030c040000030c04000c000481000c000481000c000481000c000401000c000401000c000401000000cc0c000000cc0c000000cc0c000000cc08000000cc08000000cc08000300048500030004850003000485000300040500030004050003000405000000cc04000000cc04000000cc040003000481000300048100030004810003000401000300040100030004010000003c0c0000003c080000003c080000003c080000c004850000c004850000c004850000c004050000c004050000c004050000003c040000003c040000003c040000c004810000c004810000c004810000c004010000c004010000c00401000300030c000300030c000300030c00030003080003000308000300030800030003080c000003850c000003850c000003850c000003850c000003050c000003050c000003050c0000030500030003040003000304000300030400030003040c000003810c000003810c000003810c000003810c000003010c000003010c000003010c000003010000c0030c0000c0030c0000c0030c0000c003080000c003080000c003080300000385030000038503000003850300000305030000030503000003050000c003040000c003040000c00304030000038103000003810300000381030000030103000003010300000301000030030c000030030c000030030c00003003080000300308000030030800c000038500c000038500c000038500c000030500c000030500c000030500003003040000300304000030030400c000038100c000038100c000038100c000030100c000030100c000030100000c030c00000c030c00000c030c00000c030800000c030800000c030800300003850030000385003000038500300003050030000305003000030500000c030400000c030400000c0304003000038100300003810030000381003000030100300003010030000301000003030c000003030c000003030c000003030800000303080000030308000c000385000c000385000c000385) (.leaf 0x0))) (.node (.node (.leaf 0x4000691000400069100040006910004000691080000061108000006110800000611080000061108000006110800000611080000061104000006110400000611040000061104000006110400000611040000061104000006110200000611020000061102000006110200000611020000061102000006110200000611010000061101000006110100000611010000061101000006110100000611010000061100800006110080000611008000061100800006110080000611008000061100800006110040000611004000061100400006110040000611004000061100400006110040000611002000061100200006110020000611002000061100200006110020000611002000061100100006110010000611001000061100100006110010000611001000061100100006110008000611000800061100080006110008000611000800061100080006110008000611000400061100040006110004000611000400061100040006110004000611000400061100020006110002000611000200061100020006110002000611000200061100020006110002000611000200061108000005910800000591080000059108000005910800000591080000059108000005910400000591040000059104000005910400000591040000059104000005910400000591020000059102000005910200000591020000059102000005910200000591020000059101000005910100000591010000059101000005910100000591010000059101000005910080000591008000059100800005910080000591008000059100800005910080000591004000059100400005910040000591004000059100400005910040000591004000059100200005910020000591002000059100200005910020000591002000059100200005910010000591001000059100100005910010000591001000059100100005910010000591000800059100080005910008000591000800059100080005910008000591000800059100040005910004000591000400059100040005910004000591000400059100040005910002000591000200059100020005910002000591000200059100020005910002000591000100059100010005910001000591000100059100010005910001000591000100059108000005110800000511080000051108000005110800000511080000051108000005110400000511040000051104000005110400000511040000051104000005110400000511020000051102000005110200000511020000051102000005110200000511020000051101000005110100000511010000051101000005110100000511010000051101000005110080000511008000051100800005110080000511008000051100800005110080000511004000051100400005110040000511004000051100400005110040000511004000051100200005110020000511002000051100200005110020000511002000051100200005110010000511001000051100100005110010000511001000051100100005110010000511000800051100080005110008000511000800051100080005110008000511000800051100040005110004000511000400051100040005110004000511000400051100040005110002000511000200051100020005110002000511000200051100020005110002000511000100051100010005110001000511000100051100010005110001000511000100051100008005110000800511000080051100008005110000800511) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x800006850080000685008000068500c0000685004000068500400006850040000685004000068500400006850040000685000030c008002000068500200006850020000685002000068500200006850020000685003000068500100006850010000685001000068500100006850010000685001000068500000cc008000800068500080006850008000685000800068500080006850008000685000c000685000400068500040006850004000685000400068500040006850004000685000003c0080800000605080000060508000006050800000605080000060508000006050c00000605040000060504000006050400000605040000060504000006050400000605000300c00c02000006050200000605020000060502000006050200000605020000060503000006050100000605010000060501000006050100000605010000060501000006050000c0c00c00800006050080000605008000060500800006050080000605008000060500c0000605004000060500400006050040000605004000060500400006050040000605000030c00c002000060500200006050020000605002000060500200006050020000605003000060500100006050010000605001000060500100006050010000605001000060500000cc00c000800060500080006050008000605000800060500080006050008000605000c000605000400060500040006050004000605000400060500040006050004000605000003c00c0002000605000200060500020006050002000605000200060500020006050002000605000200060500020006050800000585080000058508000005850800000585080000058508000005850c00000585040000058504000005850400000585040000058504000005850400000585000300300802000005850200000585020000058502000005850200000585020000058503000005850100000585010000058501000005850100000585010000058501000005850000c0300800800005850080000585008000058500800005850080000585008000058500c00005850040000585004000058500400005850040000585004000058500400005850000303008002000058500200005850020000585002000058500200005850020000585003000058500100005850010000585001000058500100005850010000585001000058500000c3008000800058500080005850008000585000800058500080005850008000585000c00058500040005850004000585000400058500040005850004000585000400058500000330080002000585000200058500020005850002000585000200058500020005850003000585000100058500010005850001000585000100058500010005850001000585000000f0080800000505080000050508000005050800000505080000050508000005050c00000505040000050504000005050400000505040000050504000005050400000505000300300c02000005050200000505020000050502000005050200000505020000050503000005050100000505010000050501000005050100000505010000050501000005050000c0300c00800005050080000505008000050500800005050080000505008000050500c0000505004000050500400005050040000505004000050500400005050040000505000030300c002000050500200005050020000505002000050500200005050020000505003000050500100005050010000505001000050500100005050010000505) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x400000aa10400000aa10400000aa10400000aa10400000aa10400000aa10800000a210800000a210800000a210800000a210800000a210800000a210800000a210400000a210400000a210400000a210400000a210400000a210400000a210400000a210200000a210200000a210200000a210200000a210200000a210200000a210200000a210200000a210200000a2108000009a108000009a108000009a108000009a108000009a108000009a108000009a104000009a104000009a104000009a104000009a104000009a104000009a104000009a102000009a102000009a102000009a102000009a102000009a102000009a102000009a101000009a101000009a101000009a101000009a101000009a101000009a101000009a1080000092108000009210800000921080000092108000009210800000921080000092104000009210400000921040000092104000009210400000921040000092104000009210200000921020000092102000009210200000921020000092102000009210200000921010000092101000009210100000921010000092101000009210100000921010000092100800009210080000921008000092100800009210080000921008000092100800009210080000921008000092108000008a108000008a108000008a108000008a108000008a108000008a108000008a104000008a104000008a104000008a104000008a104000008a104000008a104000008a102000008a102000008a102000008a102000008a102000008a102000008a102000008a101000008a101000008a101000008a101000008a101000008a101000008a101000008a100800008a100800008a100800008a100800008a100800008a100800008a100800008a100400008a100400008a100400008a100400008a100400008a100400008a100400008a108000008210800000821080000082108000008210800000821080000082108000008210400000821040000082104000008210400000821040000082104000008210400000821020000082102000008210200000821020000082102000008210200000821020000082101000008210100000821010000082101000008210100000821010000082101000008210080000821008000082100800008210080000821008000082100800008210080000821004000082100400008210040000821004000082100400008210040000821004000082100200008210020000821002000082100200008210020000821002000082100200008210020000821002000082108000007a108000007a108000007a108000007a108000007a108000007a108000007a104000007a104000007a104000007a104000007a104000007a104000007a104000007a102000007a102000007a102000007a102000007a102000007a102000007a102000007a101000007a101000007a101000007a101000007a101000007a101000007a101000007a100800007a100800007a100800007a100800007a100800007a100800007a100800007a100400007a100400007a100400007a100400007a100400007a100400007a100400007a100200007a100200007a100200007a100200007a100200007a100200007a100200007a100100007a100100007a100100007a100100007a100100007a100100007a100100007a10800000721080000072108000007210800000721080000072108000007210800000721040000072104000007210400000721040000072104000007210400000721) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))))) (.node (.node (.node (.node (.node (.leaf 0x800000b550800000b510800000ad10400000ad10800000b4d0800000acd0400000acd0800000a4d0400000a4d0200000a4d0800000b490800000ac90400000ac90800000a490400000a490200000a4908000009c904000009c902000009c901000009c90800000b450800000ac50400000ac50800000a450400000a450200000a4508000009c504000009c502000009c501000009c5080000094504000009450200000945010000094500800009450800000b410800000ac10400000ac10800000a410400000a410200000a4108000009c104000009c102000009c101000009c10800000941040000094102000009410100000941008000094108000008c104000008c102000008c101000008c100800008c100400008c10800000b3d0800000abd0400000abd0800000a3d0400000a3d0200000a3d08000009bd04000009bd02000009bd01000009bd080000093d040000093d020000093d010000093d008000093d08000008bd04000008bd02000008bd01000008bd00800008bd00400008bd080000083d040000083d020000083d010000083d008000083d004000083d002000083d0800000b390800000ab90400000ab90800000a390400000a390200000a3908000009b904000009b902000009b901000009b90800000939040000093902000009390100000939008000093908000008b904000008b902000008b901000008b900800008b900400008b9080000083904000008390200000839010000083900800008390040000839002000083908000007b904000007b902000007b901000007b900800007b900400007b900200007b900100007b90800000b350800000ab50400000ab50800000a350400000a350200000a3508000009b504000009b502000009b501000009b50800000935040000093502000009350100000935008000093508000008b504000008b502000008b501000008b500800008b500400008b5080000083504000008350200000835010000083500800008350040000835002000083508000007b504000007b502000007b501000007b500800007b500400007b500200007b500100007b50800000735040000073502000007350100000735008000073500400007350020000735001000073500080007350800000b310800000ab10400000ab10800000a310400000a310200000a3108000009b104000009b102000009b101000009b10800000931040000093102000009310100000931008000093108000008b104000008b102000008b101000008b100800008b100400008b1080000083104000008310200000831010000083100800008310040000831002000083108000007b104000007b102000007b101000007b100800007b100400007b100200007b100100007b108000007310400000731020000073101000007310080000731004000073100200007310010000731000800073108000006b104000006b102000006b101000006b100800006b100400006b100200006b100100006b100080006b100040006b10800000b2d0800000aad0400000aad0800000a2d0400000a2d0200000a2d08000009ad04000009ad02000009ad01000009ad080000092d040000092d) (.leaf 0x0)) (.node (.leaf 0x200000a410200000a410200000a410200000a410200000a410200000a410200000a410200000a410200000a4108000009c108000009c108000009c108000009c108000009c108000009c108000009c104000009c104000009c104000009c104000009c104000009c104000009c104000009c102000009c102000009c102000009c102000009c102000009c102000009c102000009c101000009c101000009c101000009c101000009c101000009c101000009c101000009c1080000094108000009410800000941080000094108000009410800000941080000094104000009410400000941040000094104000009410400000941040000094104000009410200000941020000094102000009410200000941020000094102000009410200000941010000094101000009410100000941010000094101000009410100000941010000094100800009410080000941008000094100800009410080000941008000094100800009410080000941008000094108000008c108000008c108000008c108000008c108000008c108000008c108000008c108000008c108000008c104000008c104000008c104000008c104000008c104000008c104000008c104000008c104000008c104000008c102000008c102000008c102000008c102000008c102000008c102000008c102000008c102000008c102000008c101000008c101000008c101000008c101000008c101000008c101000008c101000008c101000008c101000008c100800008c100800008c100800008c100800008c100800008c100800008c100800008c100800008c100800008c100400008c100400008c100400008c100400008c100400008c100400008c100400008c100400008c100400008c10800000b3d0800000b3d0800000b3d0800000b3d0800000b3d0800000b3d0800000b3d0800000b3d0800000b3d0800000abd0800000abd0800000abd0800000abd0800000abd0800000abd0800000abd0400000abd0400000abd0400000abd0400000abd0400000abd0400000abd0400000abd0800000a3d0800000a3d0800000a3d0800000a3d0800000a3d0800000a3d0800000a3d0400000a3d0400000a3d0400000a3d0400000a3d0400000a3d0400000a3d0400000a3d0200000a3d0200000a3d0200000a3d0200000a3d0200000a3d0200000a3d0200000a3d0200000a3d0200000a3d08000009bd08000009bd08000009bd08000009bd08000009bd08000009bd08000009bd04000009bd04000009bd04000009bd04000009bd04000009bd04000009bd04000009bd02000009bd02000009bd02000009bd02000009bd02000009bd02000009bd02000009bd01000009bd01000009bd01000009bd01000009bd01000009bd01000009bd01000009bd080000093d080000093d080000093d080000093d080000093d080000093d080000093d040000093d040000093d040000093d040000093d040000093d040000093d040000093d020000093d020000093d020000093d020000093d020000093d020000093d020000093d010000093d010000093d010000093d010000093d010000093d010000093d010000093d008000093d008000093d008000093d008000093d008000093d008000093d008000093d008000093d008000093d08000008bd08000008bd08000008bd08000008bd08000008bd08000008bd08000008bd04000008bd04000008bd04000008bd04000008bd04000008bd04000008bd04000008bd02000008bd02000008bd02000008bd) (.leaf 0x0))) (.node (.node (.leaf 0x40000080d040000080d00030c0030020000080d020000080d020000080d020000080d020000080d020000080d030000080d010000080d010000080d010000080d010000080d010000080d010000080d0000cc0030008000080d008000080d008000080d008000080d008000080d008000080d00c000080d004000080d004000080d004000080d004000080d004000080d004000080d00003c0030002000080d002000080d002000080d002000080d002000080d002000080d002000080d002000080d002000080d080000078d080000078d080000078d080000078d080000078d080000078d0c0000078d040000078d040000078d040000078d040000078d040000078d040000078d0003030020020000078d020000078d020000078d020000078d020000078d020000078d030000078d010000078d010000078d010000078d010000078d010000078d010000078d0000c30020008000078d008000078d008000078d008000078d008000078d008000078d00c000078d004000078d004000078d004000078d004000078d004000078d004000078d0000330020002000078d002000078d002000078d002000078d002000078d002000078d003000078d001000078d001000078d001000078d001000078d001000078d001000078d00000f0020080000070d080000070d080000070d080000070d080000070d080000070d0c0000070d040000070d040000070d040000070d040000070d040000070d040000070d0003030030020000070d020000070d020000070d020000070d020000070d020000070d030000070d010000070d010000070d010000070d010000070d010000070d010000070d0000c30030008000070d008000070d008000070d008000070d008000070d008000070d00c000070d004000070d004000070d004000070d004000070d004000070d004000070d0000330030002000070d002000070d002000070d002000070d002000070d002000070d003000070d001000070d001000070d001000070d001000070d001000070d001000070d00000f0030000800070d000800070d000800070d000800070d000800070d000800070d000800070d000800070d000800070d080000068d080000068d080000068d080000068d080000068d080000068d0c0000068d040000068d040000068d040000068d040000068d040000068d040000068d000300c020020000068d020000068d020000068d020000068d020000068d020000068d030000068d010000068d010000068d010000068d010000068d010000068d010000068d0000c0c020008000068d008000068d008000068d008000068d008000068d008000068d00c000068d004000068d004000068d004000068d004000068d004000068d004000068d000030c020002000068d002000068d002000068d002000068d002000068d002000068d003000068d001000068d001000068d001000068d001000068d001000068d001000068d00000cc020000800068d000800068d000800068d000800068d000800068d000800068d000c00068d000400068d000400068d000400068d000400068d000400068d000400068d000003c020080000060d080000060d080000060d080000060d080000060d080000060d0c0000060d040000060d040000060d040000060d040000060d040000060d040000060d000300c030020000060d020000060d020000060d020000060d020000060d020000060d030000060d010000060d010000060d010000060d010000060d) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0x8000018500800001850080000185008000018500c00001850040000185004000018500400001850040000185004000018500400001850000300038002000018500200001850020000185002000018500200001850020000185003000018500100001850010000185001000018500100001850010000185001000018500000c0038000800018500080001850008000185000800018500080001850008000185000c00018500040001850004000185000400018500040001850004000185000400018500000300380002000185000200018500020001850002000185000200018500020001850003000185000100018500010001850001000185000100018500010001850001000185000000c0380000800185000080018500008001850000800185000080018500008001850000c00185000040018500004001850000400185000040018500004001850000400185000000303800002001850000200185000020018500002001850000200185000020018500003001850000100185000010018500001001850000100185000010018500001001850000000c3800000801850000080185000008018500000801850000080185000008018500000c01850000040185000004018500000401850000040185000004018500000401850000000338000002018500000201850000020185000002018500000201850000020185000003018500000101850000010185000001018500000101850000010185000001018500000000f80800000105080000010508000001050800000105080000010508000001050c00000105040000010504000001050400000105040000010504000001050400000105000300003c02000001050200000105020000010502000001050200000105020000010503000001050100000105010000010501000001050100000105010000010501000001050000c0003c00800001050080000105008000010500800001050080000105008000010500c0000105004000010500400001050040000105004000010500400001050040000105000030003c002000010500200001050020000105002000010500200001050020000105003000010500100001050010000105001000010500100001050010000105001000010500000c003c000800010500080001050008000105000800010500080001050008000105000c000105000400010500040001050004000105000400010500040001050004000105000003003c0002000105000200010500020001050002000105000200010500020001050003000105000100010500010001050001000105000100010500010001050001000105000000c03c0000800105000080010500008001050000800105000080010500008001050000c00105000040010500004001050000400105000040010500004001050000400105000000303c00002001050000200105000020010500002001050000200105000020010500003001050000100105000010010500001001050000100105000010010500001001050000000c3c00000801050000080105000008010500000801050000080105000008010500000c0105000004010500000401050000040105000004010500000401050000040105000000033c000002010500000201050000020105000002010500000201050000020105000003010500000101050000010105000001010500000101050000010105000001010500000000fc000000810500000081050000008105000000810500000081050000008105) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x80000071d080000071d080000071d040000071d040000071d040000071d040000071d040000071d040000071d040000071d020000071d020000071d020000071d020000071d020000071d020000071d020000071d010000071d010000071d010000071d010000071d010000071d010000071d010000071d008000071d008000071d008000071d008000071d008000071d008000071d008000071d004000071d004000071d004000071d004000071d004000071d004000071d004000071d002000071d002000071d002000071d002000071d002000071d002000071d002000071d001000071d001000071d001000071d001000071d001000071d001000071d001000071d000800071d000800071d000800071d000800071d000800071d000800071d000800071d000800071d000800071d080000069d080000069d080000069d080000069d080000069d080000069d080000069d040000069d040000069d040000069d040000069d040000069d040000069d040000069d020000069d020000069d020000069d020000069d020000069d020000069d020000069d010000069d010000069d010000069d010000069d010000069d010000069d010000069d008000069d008000069d008000069d008000069d008000069d008000069d008000069d004000069d004000069d004000069d004000069d004000069d004000069d004000069d002000069d002000069d002000069d002000069d002000069d002000069d002000069d001000069d001000069d001000069d001000069d001000069d001000069d001000069d000800069d000800069d000800069d000800069d000800069d000800069d000800069d000400069d000400069d000400069d000400069d000400069d000400069d000400069d080000061d080000061d080000061d080000061d080000061d080000061d080000061d040000061d040000061d040000061d040000061d040000061d040000061d040000061d020000061d020000061d020000061d020000061d020000061d020000061d020000061d010000061d010000061d010000061d010000061d010000061d010000061d010000061d008000061d008000061d008000061d008000061d008000061d008000061d008000061d004000061d004000061d004000061d004000061d004000061d004000061d004000061d002000061d002000061d002000061d002000061d002000061d002000061d002000061d001000061d001000061d001000061d001000061d001000061d001000061d001000061d000800061d000800061d000800061d000800061d000800061d000800061d000800061d000400061d000400061d000400061d000400061d000400061d000400061d000400061d000200061d000200061d000200061d000200061d000200061d000200061d000200061d000200061d000200061d080000059d080000059d080000059d080000059d080000059d080000059d080000059d040000059d040000059d040000059d040000059d040000059d040000059d040000059d020000059d020000059d020000059d020000059d020000059d020000059d020000059d010000059d010000059d010000059d010000059d010000059d010000059d010000059d008000059d008000059d008000059d008000059d008000059d008000059d008000059d004000059d004000059d004000059d004000059d004000059d004000059d004000059d002000059d002000059d002000059d002000059d) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))))) (.node (.node (.node (.node (.leaf 0x80081000008008100000800810000040081000004008100000400810000040081000004008100000400810000040081000004008100000400810000020081000002008100000200810000020081000002008100000200810000020081000002008100000200810000010081000001008100000100810000010081000001008100000100810000010081000001008100000100810000008081000000808100000080810000008081000000808100000080810000008081000000808100000080810000004081000000408100000040810000004081000000408100000040810000004081000000408100000040810000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) (.leaf 0x0)) (.node (.leaf 0xc303000000c302000000c302000000c3020003000058d003000058d003000058d003000050d003000050d003000050d00000c301000000c301000000c3010003000058900300005890030000589003000050900300005090030000509000003303000000330300000033030000003302000000330200000033020000c00058d000c00058d000c00058d000c00050d000c00050d000c00050d000003301000000330100000033010000c000589000c000589000c000589000c000509000c000509000c000509000000f030000000f030000000f030000000f020000300058d000300058d000300058d000300050d000300050d000300050d000000f0100003000589000300058900030005890003000509000300050900030005090003000c300003000c300003000c300003000c200003000c200003000c200003000c200c0000048d0c0000048d0c0000048d0c0000048d0c0000040d0c0000040d0c0000040d0c0000040d0003000c100003000c100003000c100003000c100c000004890c000004890c000004890c000004890c000004090c000004090c000004090c000004090000c00c300000c00c300000c00c300000c00c200000c00c200000c00c20030000048d030000048d030000048d030000040d030000040d030000040d0000c00c100000c00c100000c00c100300000489030000048903000004890300000409030000040903000004090000300c300000300c300000300c300000300c200000300c200000300c2000c000048d00c000048d00c000048d00c000040d00c000040d00c000040d0000300c100000300c100000300c1000c000048900c000048900c000048900c000040900c000040900c000040900000c0c3000000c0c3000000c0c3000000c0c2000000c0c2000000c0c20003000048d003000048d003000048d003000040d003000040d003000040d00000c0c1000000c0c1000000c0c100030000489003000048900300004890030000409003000040900300004090000030c300000030c300000030c300000030c200000030c200000030c20000c00048d000c00048d000c00048d000c00040d000c00040d000c00040d0000030c100000030c100000030c10000c000489000c000489000c000489000c000409000c000409000c000409000000cc30000000cc30000000cc30000000cc20000000cc20000000cc20000300048d000300048d000300048d000300040d000300040d000300040d000000cc10000000cc10000000cc100003000489000300048900030004890003000409000300040900030004090000003c300000003c200000003c200000003c200000c0048d0000c0048d0000c0048d0000c0040d0000c0040d0000c0040d0000003c100000003c100000003c100000c004890000c004890000c004890000c004090000c004090000c0040900030003300003000330000300033000030003200003000320000300032000030003200c0000038d0c0000038d0c0000038d0c0000038d0c0000030d0c0000030d0c0000030d0c0000030d00030003100003000310000300031000030003100c000003890c000003890c000003890c000003890c000003090c000003090c000003090c000003090000c003300000c003300000c003300000c003200000c003200000c00320030000038d030000038d030000038d030000030d030000030d030000030d0000c003100000c003100000c00310030000038903000003890300000389030000030903000003090300000309) (.leaf 0x0))) (.node (.node (.leaf 0x800061500080006150004000615000400061500040006150004000615000400061500040006150004000615000200061500020006150002000615000200061500020006150002000615000200061500020006150002000615080000059508000005950800000595080000059508000005950800000595080000059504000005950400000595040000059504000005950400000595040000059504000005950200000595020000059502000005950200000595020000059502000005950200000595010000059501000005950100000595010000059501000005950100000595010000059500800005950080000595008000059500800005950080000595008000059500800005950040000595004000059500400005950040000595004000059500400005950040000595002000059500200005950020000595002000059500200005950020000595002000059500100005950010000595001000059500100005950010000595001000059500100005950008000595000800059500080005950008000595000800059500080005950008000595000400059500040005950004000595000400059500040005950004000595000400059500020005950002000595000200059500020005950002000595000200059500020005950001000595000100059500010005950001000595000100059500010005950001000595080000051508000005150800000515080000051508000005150800000515080000051504000005150400000515040000051504000005150400000515040000051504000005150200000515020000051502000005150200000515020000051502000005150200000515010000051501000005150100000515010000051501000005150100000515010000051500800005150080000515008000051500800005150080000515008000051500800005150040000515004000051500400005150040000515004000051500400005150040000515002000051500200005150020000515002000051500200005150020000515002000051500100005150010000515001000051500100005150010000515001000051500100005150008000515000800051500080005150008000515000800051500080005150008000515000400051500040005150004000515000400051500040005150004000515000400051500020005150002000515000200051500020005150002000515000200051500020005150001000515000100051500010005150001000515000100051500010005150001000515000080051500008005150000800515000080051500008005150000800515000080051500008005150000800515080000049508000004950800000495080000049508000004950800000495080000049504000004950400000495040000049504000004950400000495040000049504000004950200000495020000049502000004950200000495020000049502000004950200000495010000049501000004950100000495010000049501000004950100000495010000049500800004950080000495008000049500800004950080000495008000049500c00004950040000495004000049500400004950040000495004000049500400004950000300c80002000049500200004950020000495002000049500200004950020000495003000049500100004950010000495001000049500100004950010000495001000049500000c0c8000080004950008000495000800049500080004950008000495) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))) (.node (.node (.node (.leaf 0xc00000389040000038904000003890400000389040000038904000003890400000389000300031002000003890200000389020000038902000003890200000389020000038903000003890100000389010000038901000003890100000389010000038901000003890000c0031000800003890080000389008000038900800003890080000389008000038900c00003890040000389004000038900400003890040000389004000038900400003890000300310002000038900200003890020000389002000038900200003890020000389003000038900100003890010000389001000038900100003890010000389001000038900000c0310000800038900080003890008000389000800038900080003890008000389000c00038900040003890004000389000400038900040003890004000389000400038900000303100002000389000200038900020003890002000389000200038900020003890003000389000100038900010003890001000389000100038900010003890001000389000000c3100000800389000080038900008003890000800389000080038900008003890000c00389000040038900004003890000400389000040038900004003890000400389000000331000002003890000200389000020038900002003890000200389000020038900003003890000100389000010038900001003890000100389000010038900001003890000000f100800000309080000030908000003090800000309080000030908000003090c00000309040000030904000003090400000309040000030904000003090400000309000300033002000003090200000309020000030902000003090200000309020000030903000003090100000309010000030901000003090100000309010000030901000003090000c0033000800003090080000309008000030900800003090080000309008000030900c00003090040000309004000030900400003090040000309004000030900400003090000300330002000030900200003090020000309002000030900200003090020000309003000030900100003090010000309001000030900100003090010000309001000030900000c0330000800030900080003090008000309000800030900080003090008000309000c00030900040003090004000309000400030900040003090004000309000400030900000303300002000309000200030900020003090002000309000200030900020003090003000309000100030900010003090001000309000100030900010003090001000309000000c3300000800309000080030900008003090000800309000080030900008003090000c00309000040030900004003090000400309000040030900004003090000400309000000333000002003090000200309000020030900002003090000200309000020030900003003090000100309000010030900001003090000100309000010030900001003090000000f300000080309000008030900000803090000080309000008030900000803090000080309000008030900000803090800000289080000028908000002890800000289080000028908000002890c0000028904000002890400000289040000028904000002890400000289040000028900030000d002000002890200000289020000028902000002890200000289020000028903000002890100000289010000028901000002890100000289010000028901000002890000c000d00080000289) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0))) (.node (.node (.leaf 0x1000007a901000007a901000007a901000007a901000007a901000007a900800007a900800007a900800007a900800007a900800007a900800007a900800007a900400007a900400007a900400007a900400007a900400007a900400007a900400007a900200007a900200007a900200007a900200007a900200007a900200007a900200007a900100007a900100007a900100007a900100007a900100007a900100007a900100007a90800000729080000072908000007290800000729080000072908000007290800000729040000072904000007290400000729040000072904000007290400000729040000072902000007290200000729020000072902000007290200000729020000072902000007290100000729010000072901000007290100000729010000072901000007290100000729008000072900800007290080000729008000072900800007290080000729008000072900400007290040000729004000072900400007290040000729004000072900400007290020000729002000072900200007290020000729002000072900200007290020000729001000072900100007290010000729001000072900100007290010000729001000072900080007290008000729000800072900080007290008000729000800072900080007290008000729000800072908000006a908000006a908000006a908000006a908000006a908000006a908000006a904000006a904000006a904000006a904000006a904000006a904000006a904000006a902000006a902000006a902000006a902000006a902000006a902000006a902000006a901000006a901000006a901000006a901000006a901000006a901000006a901000006a900800006a900800006a900800006a900800006a900800006a900800006a900800006a900400006a900400006a900400006a900400006a900400006a900400006a900400006a900200006a900200006a900200006a900200006a900200006a900200006a900200006a900100006a900100006a900100006a900100006a900100006a900100006a900100006a900080006a900080006a900080006a900080006a900080006a900080006a900080006a900040006a900040006a900040006a900040006a900040006a900040006a900040006a9080000062908000006290800000629080000062908000006290800000629080000062904000006290400000629040000062904000006290400000629040000062904000006290200000629020000062902000006290200000629020000062902000006290200000629010000062901000006290100000629010000062901000006290100000629010000062900800006290080000629008000062900800006290080000629008000062900800006290040000629004000062900400006290040000629004000062900400006290040000629002000062900200006290020000629002000062900200006290020000629002000062900100006290010000629001000062900100006290010000629001000062900100006290008000629000800062900080006290008000629000800062900080006290008000629000400062900040006290004000629000400062900040006290004000629000400062900020006290002000629000200062900020006290002000629000200062900020006290002000629000200062908000005a908000005a908000005a908000005a908000005a908000005a908000005a908000005a9) (.leaf 0x0)) (.node (.leaf 0x0) (.leaf 0x0)))))))))

end IntMul.Kappa.R6.Cx.NetData
Source
S. Jain, round-six networks for the integer-multiplication κ-improvement campaign (https://github.com/Swapnil-jain/integer-mult-kappa, commit 5868dc7) and D. Colkitt, integer-mult-bounds (https://github.com/CrocSwap/integer-mult-bounds); target `IntMul.Kappa.jain_round6_framework`. Lean module Solutions/R6CxNetDataS1_2.lean (generated data).
View graph