SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info $ <  IOA:threads=6elapsed=7.567cpu=30.580gc=0.976factor=4.047zXZִF! ]ŗXf1-qN50^ .nEށܱsO.($.hg/[ќGox[l1_ !O3f;\ג4O9#ς߁ݭhIS㊿ ᠈5AX([Yh1Ôg~ڴ#yF ^S](m\W_`AΦ[jGs 43`| 8qe'EGn@< l /'܁v霴`@$bg&i>4{qxP&I"S"V'D1ZwC!o܅Fc0 T!FYx@axxdI4]fi7 {VQK^%itz9mQ\J<:s|ntY5zȑ"kv,5M,h0ş ʲU6Ul*Sa / z 3#+jɳ-x*w4Z?x lT > E2zgS{PfN$Wxv蛊J X* ͱ},sI:/!P&W Fx h!rAZI0LURc|s$SdBjOedFR.JжlCK'g#D uD8& ^HװsuEsGEJ Ӈyhs|wah3[E@McM3_p. w٤;O'3)6fa7qf ^k̺H$D$(͉ n-"Y ]3h &&B48-`JIOKa!%'bgDԄSWR.}$$ .T۩MDS?s-fV\{D~$vM^'%Dኴ^YGYJc6XVW-\=rRTE+"|~Gf&smn:LIMI9 -q6sM]mkutm>LH塮Ѱ0b%ŦE`D̮;8t##s.OTOe;/glR>f࠾PHOMp%+C}T,R*:~1T RJ'IDܛY6`djrV,TpEZ垚&oLN֩_^WkH_dKY׊a{x̨[XwT.2wJ_<&s{$g}sNTQ]ZCV kRI3r\a5jkdK.QlgX8g>qKJD8!BZeE ·Sy~0r,> 1˲Qˀ֢Bߜ3`\@ L0S ^ޭg}Q'ߌHkTyE^)`cN%O/"_bNf@"pZ k_i-Idg^Ǵdm'%u'2X @Oᕔޫ[+U*6I0sdu~agu~O2XҺi'e6۶1;ZVWRgAqߨSyɔy-|{#F4F-zX9b+Ô3 ?5Q?IkPRd{M'ZG4(P,n'2}lnq$W l)[O=}uO^Եg;Zc>D:LA{+pc\I΍'{P3'~G"ZP# ,yk&"Rbбcqjt$GL'-6``XCqwVt[v$K4Xg1pو)枂 (2wa9o= xR6X7ˈ < ʏZE&;E9E{YA6RzǻݱˠN2kxDbKAC0C E{3/dl^Xh '.>z8v%?{7oG8k)^q;cyu\V[Q=\"M1x d鍫d96zx-1 bV7F)}fZ f];mW`KEO e:H΋-kVWuy%a߅qM1ŽӒb׽y\)0g&@Bh3 IЗj=5y4o g Nt /d77 )5Cޘ4^|ZUFJo d5I1/V+fo^"-+AO;"&LU'˚}-n;UY!TZ` I'*.t Hos=^Z玛oYu:1sxuYp359usy6ַ `Z$$0:eڽbQY V(='$֓ T ,|n&oQ7 4\i%:פǢnc^-Hm6!y^KV2(7ENfo5@> w./P8@~A@PK|N"0ZbSlS/*+jgb~0M6iՊc5ae;%{~z~Q際늋dD86k/#ۃ¿I/yp`>]d;-N͎~b4Tdg/Ez=ATBO7-,tWJXh,ʔb \^[n?x`6ބl;ʴ8LZ^= .A0'/Guh=|{N1ȡwg8s5iK hxr"|UλX֊AYDuiJܱgYZ7zXZִF! %y]ŗXi%X$ अr`_SĀ~WeMyW TaH/8Bo858Ud%| @$ i5X ہN<*x8޿;w/n#miTbn3嵡|"AcYTA!u`Y<|f]_&*v7Ɛ(PPDۃ }=' m[$a 4C͟{{+ 4ĖEE,CZᘭmp6/;>(~ܽM ۊOv$;0XROE45m:NJcCjBA7Ash^˯+*8w*' ?hž|`i&^$-#6JU_ b6 >9t-eQglG?#.d[*{6͛_篸BnlY6mSVe-秠NKC;'qǂmY]A=g6T`s8B54Ÿ/jyuFHe^(1ut=> LAMVA)U_3dE9!# 8ũrp/^yEPeٯ1$h9d@nZ4s>]ϐ^_ r2q&B 73"t\.֙ ܶ+WrI aSI>Ꚏ:Ja**$`:*2|'[BdZ~Rw 2KEX#&Ut KkK߲'~L )\QR%|u zZ|]Wоlyb81.KP*gYZ20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcd f981f7a958c30c1d47ac6857ae9e3f01f9a18112849200688557e9f0e6edd85a9b659542167af62f cca457174e898ad247ec138b5790ee51ed5698c0 7e02dd5c916f1a82511ebb8c60febb2df6a5a0d6