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  H H-/< ]/ HOL-Proofs-Lambda:threads=6elapsed=111.480cpu=140.060gc=5.412factor=1.267zXZִF! y]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%mZn3T=d2p٧Xo>':0s#\{\8'3w$!6u^ӗ%0_Ɯ ΋q1MԞ*KC=^̈ =T@}z8e5+7NH'ۅ=GB`QxB0%w$1CՌ $c9d.BW{$u!b}r?щ} Q $%n7V Hq`g6{GaFzGٌ@_rL ^GasX: m-2A"M=6z'(J3콺X RHX,dZ+붱gYZ7zXZִF! iW]ŗXiɟ11bu)]>_ws[Ɋ br=9XyvG_$oԨZqz|V"f5;܄-ydP[f:RƣgyZcEY 3P_)3F X2rK-԰ -ZM+,⫖^ds !*lcmE hxxhsz{\O82=ե椴QGuemp/Gsת6R'=ǙdnXjVxmђBa랺>+_^nW*C+s:ӻ1PbBgYZ7zXZִF! G]ŗXi%90%戝PVր(ד8Ӿ#cC(_d*;=Rbs&֑q!j}WC 'pr] s&DW>ӃD>ѵ4L?!zMoW勱=R  P#ύ8C 9vrJ]G&xHzP$]kxGZKrPP}j%$~](Y6]TT !6A厇I@hur=lqu41qfBE=u"D2YFzE%ֽM@o}F~0?D2$tg!b:wo̝)$ 4VKNr1Xm;vҤ7B2%oW=w./[U#{.[w2<";a"U+&}^c"Yz^rDFZV - =1R 6B NȽW[ߡe}YuAR@b*\w.[bh@h mѸ򛫏ޠ{m%9p?6J(F-mlP9Y/}b} tܱ`cx?(s_&km#4v0w{s.jXK֙? 8*禳[L*CX)k59+t)%T[=z~UwI5dpzk]0Qҷ)m#}(DtE\^GHSGG|G(S*TOK&]:0±Mb~ubLt9]"Ӕۣ>!)\- Вij>&ԍ?$ZeNpA0@.4nY0) W.{ah%k%&*'t l=Ьagm O^|R&dPꁪ4"$~yNr!lʞ?uAk nǘ'B}&!5ƻHsl3QpqC Ίq#qϠW2I ނ2^D<;pbTVLhBv,kd}hj$cAՈSQ iIz90 Wn% T7;S}7IҴXN,!eOeZBqq/'Y鲉%5(Gv?zIZR'cfiU;n71h q(鵁 ^ZuKʅyo0B2TK܀E%fVM ')4Q ㋾4jm9csbb{`6-OO b!nff$eg*=gu PBSPAۮLgXPb1z0 ClRV_pTaFk~=5mI+3>;"⯵M#>ڋ_F8G|38 4zP0ʣ0kTm,ogmJ_Hku?*LgT^f!U+&"{5'ΰ8%&ygGA"[3r8KchdY tƫHv8aqTnp:gx8"0É^lxDac?_Js2z xoI\JQ/ձ^dBy/)i R6O^w|5At G]糞] CK[cW\6( IEEK e]RZNGDKt+"s1lnu!s\a\z =So~5kfJ6UeZn)\NZTB8cep&Su0G$FlCߑk0C2 d#ĝ%'ΉDqlnӥ\]Szws_N̸LKU E>?X_<ΗXMeS':p{@! @Zρ3qni. c\^2S,+܍5M3ļ@!x^&1Vŏ i,kxd6,6oX,{VΌIDGЅz) &cҒPnTyh1xE04ruoK5(gZcgBgd1knЁ<\yi0Q`0gmjv";+TAgW#I ڒ4V*zx_^x/\+4sm|ؾDb!+3!8)m- |O&{!(܉cdRbPqrKxSq#xf3>:xˀ~( i*wH4% #bg2~9`B N ap+ ʂn0bR"c[!1lm9"NF][Z#60ɚvh!z#f!zzozQ=Y5ou\Y#JDOZf3rz]OS GGA(lSQJmΜK6W< ix{zh\z!zu/HTJD oZAa ؠg=,Dfb-NhFk^7i3{ik-,L&ҭYznMl4eA)PkHp}]hO܁%2`X;칊 .\wWOCebǑ56/ "[J=1<1` 4 suEcƜt)\cL +dj] (Il? >[iڰak)c,PF7wPa}1Yk?/0K9;`-XAH"~q.|% ApAs||lozw$ȘKWgYZ5150e2da91ffa875dd98b99519534ac5f599f839fa37635535c1a91559f94a7dc9acf81e08caa63c 848c726e94576d08e2b954d3b42f1de5ac2ceeea