SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 oo  ]/]HOL-Word:threads=2elapsed=26.028cpu=49.468gc=2.172factor=1.907zXZִF! U]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z@s̪x.2޾e5:tDsF4X:d54!A|Ӂ!j " .};IjH~#RvCX1@hw:j/YLE\JD0ٚW(&k񁑔۽傴v/`R(e[π"`͉J򙧱3%Z<ԭ e^Xqt1Tyrt/%[wyߵT {վM\ y2- + N Bp_ Ct1cpF 'ƛٷ)!}8pze,;N dj^•K3!{pg Z(-"VoyD }9<:'y *<wDUⷔ刭 iH9"н$a/^:Zj,tPxA +7Jdat1' hw&vL=xJXuQ@`$|.iCqźSEʕFupU ֗ $vrz[dtйJUAU_n\!p,D+gYZ7zXZִF! ?]ŗXiɟ1˦r8v@Wl"`&Ba~*yKN$6V!QPDX5;ͽ=gK~Xs@.@Nhc'Y Lp!wýMvܲU<-40|kZa9Q#S =wb0Zzhx!ݒv5эuj$ 6z#V^Ö?~5VjO=c_&,\ïv'τF2m&mlr0PnGVS;鐏}N. jAN̍w"QU nrcö>\ Z*BRO^]`YG!˟6@X:q2E`4 KagYZ7zXZִF! E]ŗXi%9(Oil&RB[ #èڇxdZQW.:ιc&R^|cYHVB.y#:@/o]OIXނXsX&G=İ,LaHMjr 2F4{ӽGG@ 9Էi ˇ>9SQ`$7 u?XbYQď;R-IQiEU3e;Ch'@UFZ 9[^_*6n ehh"i=_b R(? v{ +X/ǃ#-B|Á&|wP0V@]Eo=,^ a>Hb6:% wG֘}?WpxPJ} ~b#YT/+e8`DȪuH'wsQ&DHQ _(@h t>QR >O,<:[N"6HTpzsR\C;B0o~;2 M  a%fӚ Y R _Cĩ76Uwn;8*G,#<? /ùKdK~4-JAhby 9;]t:ȕ3j*tqYlOPq^͑gDl,nx$$fX#H+GclSmf7(-=Tm3Ɲy@);씧g`d,8dguyW9RTsL[:<0 ÷Zn UF+L}71 j}p1˛TDApk()SJ\QKNIJs)Wf&X6-~4^h.6ʇІAik {5,յ9ϧ`[E3ݩ*EqY]Ԕ`i0 uBp,k:Jy'U,cO!+je݂<`++E]_eH9᝼mui ;##B3=ŭe;X_0 G ~[K>DEA,H$IL.#/ 7>sԴ._6SdAoݫa^mTKπ:|Q$=gY(JY1֓T xKJLs?&r枙IwMxLMehjf g̏$_M:xD%pT%<7;zǭy 鉈U T^d'Y-={΁nF'@xgEɦva'!{Em>f{}QS=@y-`{nm8P55 J$Q z2#{s,ʩHf-<\Y S4'oM -Ґ ztp3C<؛}dǣ|q4gˆqH"6 o`s\Hff %nrxIOK`*~2R? ׬ϣf%ki\bv3ցQ Wc\%sggCP3-ݥt/>^p9LH;MFA}uOAn/MHDF ӶG2tsC0"{fWdg/%lL&&)۹w~,:_Z|RY#A