SQLite format 3@ .  YYQ77Atableisabelle_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, "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 KK2/ Dt  POPLmark-deBruijn:threads=2elapsed=23.748cpu=43.480gc=2.436factor=1.837zXZִF! Z]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4LֲցYO *3)ud";U/ P5j9c[sTovv5Ϳ_k`oW鄜pUh>w=%(7"_ѷEjfVl# ;û v-$옕ܛLA mKV3*ϋzd vw;Ť )mGxWcP>&>Rю#::/-^9t1H'傼̰C _%~+g9Q   3Ĉ/ۋv[yW /R#ѝؤsp/Mυ-pe%} &^N2D}3>lɀM۷{ e>X4,u(ngi҃zvGOyڌw]@.+g![hy-<%ۇ_g1.7Š7yI B;+nq 9LſMg$*5gYZ7zXZִF! z]ŗXi%6uTO_aĹ4<B7D)Vp]٧%A8O.qYhEG‹1 #]/a34e:.q@`hvHӠϓ&lahĪHPKkDVb.4(m~ >^9ya8.&CQ`cOrF6ʼl ;qڸ),X;=yF}iVk.V[n35 h]A 7| 綕LmaQw&0s M:ߴT,Q[W@~f aEiA+mNiXw_Ep)2Jpyibgn}FP97o_PJ . nij.}c\)"cvJhK!9&K!]}F)wѰH.aMn´H5q&mWre :k1 ]ɆqS] oE q4Ŕa婎me~P~A*_Jq꽉:}.*_S#Ga0 o <[a-ZZQr6B/ )/-` ,yv+z~0.WjʈYҒs;ԩEErHXe揿/ɅqWCѣ`ڧPu,jUQ| R ='Լ}NrAPz 8] \D/F0oS+׆bBOW̿śW:✢_!0OC'DǫMţS'µh)QxCKzjfæc'c5_]D>\g}p2[_n|^SMv 4~_sϐq"wӁIQ{SC^g`ۄP颉59ᣱ@o ܱ~y^؄ñ2^kޱ4WxهK2ivi6inMQ%{k\8d] fhE:^t]A+{ mL+"qX| 7֑8UK &2 `I>jU 1ㅨ"pSCpу5m bQ c_-LѶkI̚gC"?Ѥ[qo(6A[!8GJPoR[A{8I(Y6XӬ7LMv[-•ʹ.J^8]e ޢAW>^']8z;[ zYM7sabߜ^t9W6;VRϿ,:-kQZwj7])giۑtM_=~8་CA ӽ`,Rsi~t)!(a  YjWgYZ20f5a3375bdb138a6f5ea2a8cdc31692c74dee2e 37694fce0e46077c125a67bd1e7a07553ab3dff0 3fe6b6208cb2039d2efcc275e00a493c5bb2a662 4173f2b40848e3bf6f8ac91aa0fc719a39daf67d 4f80c40e3ec199d35a5b808a47d454acffa976c9 b4855cb804f992d2d2901784c628e661458ae39a e182e99baf7942014270841b40355e1416b27ed6 fc61964320106a1d5751e716b19965af3ea01079e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b / POPLmark-deBruijn