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 >>## ,|  VectorSpace:threads=2elapsed=53.330cpu=97.284gc=3.952factor=1.827zXZִF! B ]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T,KěU k/guX(?؍)'לz rBEAqY?"#)ۖtkc;5j7PTCv&Hwö[$Bqg3JA(/Cs f2Iu#+G+vBwxЁ 6s)FjmoN% T>ɡ+cj'-84 \7ѣ|'`*a݆Q\2.&Rjwloq~0ENida#t\80§"qm1?r.IpC,HviD ';BH++#g+GhzMCZdkeˠk)=g-%8ޯ}W_gKd0cX%~Џv8v[wp걈\E5opc_a %%,bji1O 6_$DO+#x 6(=zLN=.v1ř!Y22wLxh  V_Uf-w;`xhi AG}bJP͒;So^k-y$ǃ~wq` ՑP|x!z6yM#tYkCN|NA;eSsR "<2I]UP l9 # VectorSpace X4 adaă$Yi9NnF@{ f %-a{Oc|̌ ɏ{ZDؠNx⬈"Ԭ>/FukuL{:+-~)KmHF s88=Uj$n£zq^:LqdoRY|@;63P?J.tdW w6+rh'/Gn˪|ڊ1&V]QˈSPcΒܚaP_żٱP%I1O+:DRyl*xrJ( 2QRX^Qm ]S`ol"jDi"ؕ1"K\0O|%V'DW>&g@[E/-iHTܘk ;u ^L+DT!?A TG\3@'uUK_\2cYn:VNGIh{ pП=.QSӾg159ώ^3Zq(*Y%EbQL {m\2`߉ϲR事}͏W'˅,p$\%k9]Y2E)t^̛LO.9ns\(xF[ɰ;cI%N2a02^DIrst]*o u#;;mWqž ^4ogbޥԢ!Wi*z'Pkm , YXpf,tzlC$ySW0;p环C)_ߢǔeW1]_gxc΢CfS wG<ꄐInTsJˆ^m ={an0hJSZ̯B; }d4 w 5E1a`h6dX)b3?+1WpoVVYEuuN0Xy s?<7\KE3gٵ {؎O*)ΨW'˙zM9C GoiؿȬ(ifK$"Ĕ+>XǨ` g\ߴ⯛s"lI|MB]w1 !Yɒ+nTR F+Rӊbuju+ju ȨhHgA:m!+SSqPiCF~jvwvxR}@>XXwm`HZ# 2Be]9 nAڀ[9o)c7נw|] Xo+P VșA}odȉ ",WFAQV3ѰKvr!ofmVw3?0)~I:x%2 C6/Qk4$P lA&YV$&!\`MDTvñgYZ7zXZִF! v]ŗXi%:R K}? =3elj<í 4*QÂĹKXG&&HkvIKSxK-uaEV>&L[ɜd:Z wmI`WZcW+9a3%CA;| 2hڪă(9l#*nk(mA LUu!.63crr*;b:U+xž=JW2g"m2Wف9E g/:f#sǼhWdoBɜT\PJڝ2G?E]ުxQXӍ%f&JQQ^֟]1{v/l+6ZaAKw/퓡S'HLr?Hݶ^Y睎2 ;A"Z5/Eݨ M>T !Wb;[31NE$~z@'u܎wi'TS|E)/ȏ99X< Uh~~IL Ixb_H4$@0][-)UjqrYDaRG6y |%{)ҩ]/z%a`E.7b2+_^PuY>=/3=1F ^Q4ixq[e1t}3{W V:CHA~gLFk*H[v`&SLT;o<'/)d83BzŸe ܚ]Z`TW}h8f,Q|ajL;7BCy"[$e⯶RIAM5[y.ˎ&Da@6)*!l8"4Dm0ܽXh[@[H؅lŨgYeĒ>8hmSlK[[5o*f[G06bg5yodc@ˮ"p;V( CKSK.kh!9ľH-sHIܖalBk%WGmd[ÓVܛIʹMe TZUˍ]2^k?H7m e;*+ WoOp &+UD#[o4Đ/`B))ޗ!6`eBd$[E 51 FhםYDcP9 J*D뜨 [6ئr^&{/JvOĀFddN\È*1h:4=< |Pۛ>n RfOuW)?!YC'hkl)x]g2\DO66 )~Y#5H8njpyAxx繳WDIՠN@"@׭ܺ!ҥZF&|?eبA +SC8 )(44]M#ٳE5ΈpDg`ZHs@H00Lj+S+7fa ,b⾄gfB%Dq춟~Ll|,M0!^|exraxS i U+H$tG5|lC8>g3}Qynea\`fGbtpKZA&VU]>@TϑqģY;CG^g I ,t*Dq-m]8ݯ9R9HQH3ٵݶ׌%ɇcTLUh˛+ FqN(}\JF]:]T㰐nσ ,yAԿv W:ʧ͑C*M!HaPˉʳ7)uZ OU߬UEj Rp:b ~4*vR9"c\E.KW#dXֳ@ʱ_ƿ/ m>[qN렖2< $Z1mm!~UN8,#hTutB3ߞC.M46@<nwܯQA* x4G@;s2eɩC?J;{BݬodU5x,;䡵yAR/^{zRv@L.(~$ܖҊLZ3lyTVR~T"v ݭBDŽmqaݾwfyu$6 cPZ3+zpf?pw{\>ミ,gޕKW4am1缺*0uh>Y2 ,MhEri^Nj]L6]L )E-Rб̎zP"$^f9AvF#0epF호B){X֪Ę+`IK[m&.Giwcb23`ls[gYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d969 ec53a1af9f204ca5b35afc3a2767fd47a86a5f5b878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 770b0724ec92a2fa88f83a40381de2b0000fc1ad