R8 BitNB ChkBit densified DIMT (nNodes=62478)
DefinitionIntMul_Kappa_R8_Data_BitOppbankChkBitDimbitnbchkbitintmulkapparound8
Densified dimension table
5-bit DIMT fields indexed by densified node id, matching GenCN/Net alphabet
(, ). Raw table for future Dim chunk certificates.
Definition code
import Mathlib.Data.Nat.Basic set_option autoImplicit false set_option relaxedAutoImplicit false /-! # R8 opp-bank ChkBit Dim slice (densified DIMT) 5-bit dimensions on densified nodes `0 .. nNodes-1` with `nNodes = 62478` (same densify universe as `BitOppbankGenCN` / `BitOppbankNet.codeBound`). -/ namespace IntMul.Kappa.R8.Bit.Oppbank.ChkBitDim def nNodes : ℕ := 62478 theorem nNodes_eq : nNodes = 62478 := rfl /-- Densified node span dimensions (5-bit fields). -/ def DIMT : ℕ := 0x2d6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6b5ad6a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce7394a5294a5294a528421094a5294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a1084294a5294a5294a42108498c63dc842daa21d29352108424c631ee4216d510e949a90842126318f7210b6a8874a4c5a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a52d2108424c631ee4216d510e9498a52961073a107398a6321073a107398a631ce739ce7394a52a9294a52a319252a4a6264a6264a625725312b841ce738c5421086a56d4adeb59044110441104529ca529ca5394a5394a7294e5294e529ca5394a72946318c6318c6318c6318c6318c6318c6318c6318c6318c6318c6318c6318c6318c631d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a5294a529421084a5294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a5084214a5294a5294a52108424c631ee4216d510e949a90842126318f7210b6a8874a4d4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a529690842126318f7210b6a8874a4c5294b0839d0839cc53190839d0839cc5318e739ce739ca5295494a529518c9295253132531325312b929895c20e739c62a1084352b6a56f5ac822088220882294e5294e529ca529ca5394a7294a7294e529ca5394a310c43188631886318c4318c6310c6318c6218c6318c6218c6318c6310c6318c6318c4318c6318c63a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce7394a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a5294a528421094a5294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a1084294a5294a5294a42108498c63dc842daa21d29352108424c631ee4216d510e949a90842126318f7210b6a8874a4c5a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a52d2108424c631ee4216d510e9498a52961073a107398a6321073a107398a631ce739ce7394a52a9294a52a319252a4a6264a6264a625725312b841ce738c5421086a56d4adeb59044110441104529ca529ca5394a5394a7294e5294e529ca5394a72946210c4218c4218c6210c631884318c631086318c631086318c631884318c6318c6210c6318c6318c4218c6318c631d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a5294a508421294a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a529421085294a5294a5294842109318c7b9085b5443a526a42108498c63dc842daa21d29352108424c631ee4216d510e9498b4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294a5a42108498c63dc842daa21d29314a52c20e7420e7314c6420e7420e7314c639ce739ce7294a5525294a546324a5494c4c94c4c94c4ae4a62570839ce718a84210d4ada95bd6b2088220882208a5394a5394a7294a7294e529ca529ca5394a7294e528c4310c6218c6218c6310c6318c4318c631886318c631886318c6318c4318c6318c6310c6318c6318e94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a5294a108425294a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5284210a5294a5294a5290842126318f7210b6a8874a4d4842109318c7b9085b5443a526a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c5294b4842109318c7b9085b5443a526294a5841ce841ce6298c841ce841ce6298c739ce739ce5294aa4a5294a8c6494a9298992989929895c94c4ae10739ce31508421a95b52b7ad641104411044114a7294a7294e5294e529ca5394a5394a7294e529ca5188431086210c42188431884310863188431086318c421884318c631086210c6318c6210c4218c6318c6210c4218c6318c631086210c6318c631d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c6310842108421042108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a5294a508421294a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a529421085294a5294a5294842109318c7b9085b5443a526a42108498c63dc842daa21d29352108424c631ee4216d510e9498b4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294a5a42108498c63dc842daa21d29314a52c20e7420e7314c6420e7420e7314c639ce739ce7294a5525294a546324a5494c4c94c4c94c4ae4a62570839ce718a84210d4ada95bd6b2088220882208a5394a5394a7294a7294e529ca529ca5394a7294e528c4310c6218c6218c6310c6318c4318c631886318c631886318c6318c4318c6318c6310c6318c6318c42a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce7394a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108414a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108410a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a5294a108425294a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5284210a5294a5294a5290842126318f7210b6a8874a4d4842109318c7b9085b5443a526a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c5294b4842109318c7b9085b5443a526294a5841ce841ce6298c841ce841ce6298c739ce739ce5294aa4a5294a8c6494a9298992989929895c94c4ae10739ce31508421a95b52b7ad641104411044114a7294a7294e5294e529ca5394a5394a7294e529ca5188431086210c42188431086210c4218843188431086210c631086210c4218c631086210c4218c63188431086210c6318c6210c421884318c6318c42188431086318c631d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a5294a529421084a5294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a5084214a5294a5294a52108424c631ee4216d510e949a90842126318f7210b6a8874a4d4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a529690842126318f7210b6a8874a4c5294b0839d0839cc53190839d0839cc5318e739ce739ca5295494a529518c9295253132531325312b929895c20e739c62a1084352b6a56f5ac822088220882294e5294e529ca529ca5394a7294a7294e529ca5394a310c43188631886318c4318c6310c6318c6218c6318c6218c6318c6310c6318c631884310c6318c631884310a94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108410a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108210a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a5294a528421094a5294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a1084294a5294a5294a42108498c63dc842daa21d29352108424c631ee4216d510e949a90842126318f7210b6a8874a4c5a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a52d2108424c631ee4216d510e9498a52961073a107398a6321073a107398a631ce739ce7394a52a9294a52a319252a4a6264a6264a625725312b841ce738c5421086a56d4adeb59044110441104529ca529ca5394a5394a7294e5294e529ca5394a72946210c42188431086210c42188431086210c42188431086210c4218c42188431086210c631086210c421884318c6210c42188431086318c6210c42188431086318c631086210c421884318c631d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a5294a529421084a5294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a5084214a5294a5294a52108424c631ee4216d510e949a90842126318f7210b6a8874a4d4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a529690842126318f7210b6a8874a4c5294b0839d0839cc53190839d0839cc5318e739ce739ca5295494a529518c9295253132531325312b929895c20e739c62a1084352b6a56f5ac822088220882294e5294e529ca529ca5394a7294a7294e529ca5394a310c43188631886318c4318c6310c6318c6218c6318c6218c6318c6210c4318c6318c421884310c6318c631086210c42a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce7394a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108414a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108410a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a5294a528421094a5294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a1084294a5294a5294a42108498c63dc842daa21d29352108424c631ee4216d510e949a90842126318f7210b6a8874a4c5a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a52d2108424c631ee4216d510e9498a52961073a107398a6321073a107398a631ce739ce7394a52a9294a52a319252a4a6264a6264a625725312b841ce738c5421086a56d4adeb59044110441104529ca529ca5394a5394a7294e5294e529ca5394a72946210c42188431086210c42188431086210c42188431086210c42188431086210c4218843108631086210c421884310863188431086210c421884318c6210c42188431086210c6318c42188431086210c4218c631d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c6310842108421042108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a5294a508421294a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a529421085294a5294a5294842109318c7b9085b5443a526a42108498c63dc842daa21d29352108424c631ee4216d510e9498b4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294a5a42108498c63dc842daa21d29314a52c20e7420e7314c6420e7420e7314c639ce739ce7294a5525294a546324a5494c4c94c4c94c4ae4a62570839ce718a84210d4ada95bd6b2088220882208a5394a5394a7294a7294e529ca529ca5394a7294e528c4310c6218c6218c6310c6318c4318c631886318c631086218c6318c421884310c6318c6210c421884310c6318c6210c421884310a94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108410a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a5294a108425294a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5284210a5294a5294a5290842126318f7210b6a8874a4d4842109318c7b9085b5443a526a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c5294b4842109318c7b9085b5443a526294a5841ce841ce6298c841ce841ce6298c739ce739ce5294aa4a5294a8c6494a9298992989929895c94c4ae10739ce31508421a95b52b7ad641104411044114a7294a7294e5294e529ca5394a5394a7294e529ca5188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c6210c42188431086210c4218c6210c42188431086210c4218c631086210c42188431086210c631d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c6310842108421042108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a5294a508421294a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a529421085294a5294a5294842109318c7b9085b5443a526a42108498c63dc842daa21d29352108424c631ee4216d510e9498b4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294a5a42108498c63dc842daa21d29314a52c20e7420e7314c6420e7420e7314c639ce739ce7294a5525294a546324a5494c4c94c4c94c4ae4a62570839ce718a84210d4ada95bd6b2088220882208a5394a5394a7294a7294e529ca529ca5394a7294e528c4310c6218c6218c6310c6318c4318c631086218c63188431086218c63188431086210c4318c631086210c421884310c6318c42188431086210c42a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce7394a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108414a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108410a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084210a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a5294a108425294a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5284210a5294a5294a5290842126318f7210b6a8874a4d4842109318c7b9085b5443a526a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c5294b4842109318c7b9085b5443a526294a5841ce841ce6298c841ce841ce6298c739ce739ce5294aa4a5294a8c6494a9298992989929895c94c4ae10739ce31508421a95b52b7ad641104411044114a7294a7294e5294e529ca5394a5394a7294e529ca5188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c6210c42188431086210c421884318c42188431086210c4218843108631d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a5294a529421084a5294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a5084214a5294a5294a52108424c631ee4216d510e949a90842126318f7210b6a8874a4d4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a529690842126318f7210b6a8874a4c5294b0839d0839cc53190839d0839cc5318e739ce739ca5295494a529518c9295253132531325312b929895c20e739c62a1084352b6a56f5ac822088220882294e5294e529ca529ca5394a7294a7294e529ca5394a310c43188631886318c4318c6210c4318c6210c421886318c42188431086218c631086210c421884310c63188431086210c421884310c63188431086210c421884310a94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108410a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084210a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a5294a528421094a5294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a1084294a5294a5294a42108498c63dc842daa21d29352108424c631ee4216d510e949a90842126318f7210b6a8874a4c5a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a52d2108424c631ee4216d510e9498a52961073a107398a6321073a107398a631ce739ce7394a52a9294a52a319252a4a6264a6264a625725312b841ce738c5421086a56d4adeb59044110441104529ca529ca5394a5394a7294e5294e529ca5394a72946210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c4218843108631086210c42188431086210c42188431d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a5294a529421084a5294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a5084214a5294a5294a52108424c631ee4216d510e949a90842126318f7210b6a8874a4d4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a52d2108424c631ee4216d510e9498a529690842126318f7210b6a8874a4c5294b0839d0839cc53190839d0839cc5318e739ce739ca5295494a529518c9295253132531325312b929895c20e739c62a1084352b6a56f5ac822088220882294e5294e529ca529ca5394a7294a7294e529ca5394a310c4318863188631884310c631086210c4318c42188431086218c6210c42188431086218c6210c42188431086210c4318c42188431086210c421884310c631086210c42188431086210c42a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce7394a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108414a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108410a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a50842108424e739ce7418c6318e5294a62108518c82188294a5294a5294a528421094a5294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a1084294a5294a5294a42108498c63dc842daa21d29352108424c631ee4216d510e949a90842126318f7210b6a8874a4c5a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c52d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a5a42108498c63dc842daa21d29314a52d2108424c631ee4216d510e9498a52961073a107398a6321073a107398a631ce739ce7394a52a9294a52a319252a4a6264a6264a625725312b841ce738c5421086a56d4adeb59044110441104529ca529ca5394a5394a7294e5294e529ca5394a72946210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c421d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a1084210849ce739ce8318c631ca5294c4210a319043105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c6310842108421042108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a5294a508421294a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a529421085294a5294a5294842109318c7b9085b5443a526a42108498c63dc842daa21d29352108424c631ee4216d510e9498b4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294a5a42108498c63dc842daa21d29314a52c20e7420e7314c6420e7420e7314c639ce739ce7294a5525294a546324a5494c4c94c4c94c4ae4a62570839ce718a84210d4ada95bd6b2088220882208a5394a5394a7294a7294e529ca529ca5394a7294e528c4310c6218c42188631086210c43188431086210c43188431086210c42188631086210c42188431086218c42188431086210c421884310c6210c42188431086210c421884310c6210c42188431086210c421884310a94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce94a5294a52739ce5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842125294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108410a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c6310842108421042108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084294a5294a528421084212739ce73a0c6318c7294a53108428c6410c414a5294a529421084210939ce739d06318c6394a52988421463208620a5294a5294a5294a108425294a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5284210a5294a5294a5290842126318f7210b6a8874a4d4842109318c7b9085b5443a526a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c5294b4842109318c7b9085b5443a526294a5841ce841ce6298c841ce841ce6298c739ce739ce5294aa4a5294a8c6494a9298992989929895c94c4ae10739ce31508421a95b52b7ad641104411044114a7294a7294e5294e529ca5394a5394a7294e529ca5188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086215294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739d294a5294a4e739ca5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108424a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842105294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c631884210842108210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c63188421084210821084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c6310842108421042108421085294a5294a508421084252739ce73a108318c631ce7394a5298c631884214a5294a3190842108410c6318c6318842108421082108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420842108421085294a5294a5294a508421294a5294a529421084a5294a529421084a5294a5294a508421294a5294a508421294a5294a508421294a5294a529421084a5294a529421084a5294a529421084a5294a529421085294a5294a5294842109318c7b9085b5443a526a42108498c63dc842daa21d29352108424c631ee4216d510e9498b4842109318c7b9085b5443a5262d2108424c631ee4216d510e9498a5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294b4842109318c7b9085b5443a526294a5a42108498c63dc842daa21d29314a52c20e7420e7314c6420e7420e7314c639ce739ce7294a5525294a546324a5494c4c94c4c94c4ae4a62570839ce718a84210d4ada95bd6b2088220882208a5394a5394a7294a7294e529ca529ca5394a7294e528c4310c421886210c421886210c421884310c42188431086210c431086210c421884310862188431086210c421884310862188431086210c42188431086210c431086210c42188431086210c421884310c42188431086210c42188431086210c42a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce73a5294a52949ce7394a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108494a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108414a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c6210842108420a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c4210842108410a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c631084210842104214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c621084210842084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c421084210841084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c63108421084210421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084214a5294a529421084210949ce739ce8420c6318c739ce5294a6318c621085294a528c64210842104318c6318c62108421084208421084210a5294a5294a108421084a4e739ce742106318c639ce7294a5318c631084294a529463210842108218c6318c6310842108421042108421084294a5294a528421084212939ce739d08418c6318e739ca5294c6318c4210a5294a518c84210842086318c6318c42108421084108421084210a5294a5294a5294a108425294a5294a528421094a5294a528421094a5294a5294a108425294a5294a108425294a5294a108425294a5294a528421094a5294a528421094a5294a528421094a5294a5284210a5294a5294a5290842126318f7210b6a8874a4d4842109318c7b9085b5443a526a42108498c63dc842daa21d2931690842126318f7210b6a8874a4c5a42108498c63dc842daa21d29314b4842109318c7b9085b5443a52629690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c529690842126318f7210b6a8874a4c5294b4842109318c7b9085b5443a526294a5841ce841ce6298c841ce841ce6298c739ce739ce5294aa4a5294a8c6494a9298992989929895c94c4ae10739ce31508421a95b52b7ad641104411044114a7294a7294e5294e529ca5394a5394a7294e529ca5188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c42188431086210c4218843108621042108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421084210842108421 end IntMul.Kappa.R8.Bit.Oppbank.ChkBitDim
Source
Jain jfstack dag.dim densified with grec_full universe