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 `7<<, ]/ BytecodeLogicJmlTypes:threads=2elapsed=80.092cpu=150.276gc=3.984factor=1.887zXZִF! H]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!ݮ[H%.) #њe hXj1LyKDPۏGE!yqtZYsQ8Vl?l4:9!O`|QN<WOTC{\CW˅K G[>TBk8$OC[ś rIv/7ɱ-.Jcc;l%Ů O3"u*;|MS^ߦK[֤7/۬\z L#[옒،y;˴VCm+9M/Sc7okŶNS hhbEb˧L˒1k2$dᏯUQ ~ aJЎOB%'3,ߺ8.Vo}PPHx ^+v4X=5KZW߁zLt1Sv-unp{@KWe@)f+lGc]U q#NBEJIV m!hYp)15aOqoW] d3 pZo`)F ۂYz{;?]D7Y8.y0^DOI#B!|[GT/CkR($B0|HI(We6TߵΡ0&grͭ+0| $ zaMǖF>{9d*Yd%5Y ֯Z  0Rv\M4ݽ1HEZ0wU 0|i]#dd! fe'!Ed iyF޵sLҞ@Đ7݀CL6hO#[{ӢOK6?(r쬽+y9bˊ1ةˡ^xZj/ !^.^eEI~}e'k:'rAKG"2 i^ϑWWB^*7|a6ӏT©0#8PM)h0(u BNg}@2N<ݧٖt@b .Xٕ:jʰs}tۨ|!f=:86id^=sgFݰX4xpY\iFc N}/3i_K\J;.֯ ILa.,ʸ; V?J7J/ە<5(A`e\9V)[{]^۳YGlωX,3녺5 c_$DCA˂m J'2̃* }-6Y!hm͓q64#zK_#䃄K!]]N雓"9`TI朜ƾɝ"6 ^7ȭ`PZ1gTZ+8 /K^vQY#Ē(U/&eFcMp*`N~5VC%7! tgb9U"aG,Ei8tQdd.$+xjʝ+ [rRuШky˧V1%ίL5y L jsǏɒp2ױgYZ7zXZִF! F]ŗXiɟ/jڢ}n>t;mmB~a^TqovNjGDi+xĐ4sj[B_q6 n2K> 97\Q#!$&/+8PL0EvXHuc+E`_&3sksaIA1cOlࣨܠB|W1^J_mi5~fzyv G <jFO/ҿ\Uz٫ *Uд8ӭF[t!RMi6#EҾ|xmhO\t(=t>ժxC!!Jʺ 2HS)zçs&?9$nul!SJODT-\o>$jMz ԧêhT/4 @(g$;G&A|gR RcSVeh+UWقpOS5hJ.]7yUFm]#؇ZP1ș^m_57%QZ=zq}wpIɍJC#Z-D<5njJ]@4S}77w ]uBFنƾ&Z,nE ܅UcS|pKOMk4™eVi7^1bK-WqFU&oGV`VǷt:}Zi[(s7Qu@i[wж>gh-Sbk.8P[95Ueluq8p+;34ilkؓѨ 6,uhB:,q0 '(>软 ;#2u7"?VbGNTl_-2scG#>aZ =;^Nx$D1 j_.hPi1_P k+6˜v4-+!$`[bb^T4C&*1Yp0UG3<B{|ie:^<+)8ZL~rmQK/oX<[,C5VCQYh&7Nh##\j{^;)QA"uڜ7Rx].EiNÎ&fNۆKqĹJ[@s,uކ4.B~!-4QیˋF U*eV$ƲS9i{\ ;"dh}wgRMAOH԰on}30Qߓ|D?jP'82p:)M91f~BhʺLݪ).S#X&19.;¼jþݢzPb_̌G (k*W@3XSG;ӟŬpm5"`ȶ(l>'@q!ᣋjKTrǖOAԀQEtPݕΫPB@[PU!'z0[oid u] e@A='6]X>BCj<|2`<$) q@4 bM0؃-MjL$|w6pmAO{,8&b!]dg hPN(v~-q/ɀG( "q0%)aU#ZK-jIt 8"J 7}F1tLUĀΉ: T-uE4hY  gx' QMA04O0B1~I#|_ R-mj ':8щjQms1Ni'drOUN+1sriZLbzݬ$7kbyqΡzڢ7nw=eMjO<+KU?e}6kcCB" _.)-S'0KY0#܀:SwW e3qC4l*Oly:{ NTy44P}CT{ * xӏ&u@g :]k +VpB<=Spx{~+X *˘ZZYKYy1R>kxmb脱 j<"Kp (&P"ʉiTFG1-rz;9I{5K+ju-ܺjNN(SI ~eb h|L&T.H6|Fh/|v9z/oK72Ȧjˡ{w5- eҚZ<U_:>^wihD`~SC`̺ dždgYZ465c7e0071411ddc366d53208bd295be28e333d102339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951