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 WW)D|L ]]Refine_Monadic:threads=2elapsed=64.118cpu=116.376gc=9.084factor=1.827zXZִF! AS]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kﲛH;F.VN~6ݸrI#+v׷ XbM@ZIcHgGk^bB4c M2'%RA+ʙ607 z^tm3;mB['&| hAޞ[\KΚ:VdSٮ;, w^Jr 07)eL5ֶ-BL䁸:iH ?%HvYIB >A yjbо̱9} 9Oeh2GɰFYfe-p|-)(r~t֝Wo Rj | yb99yW!ӚpZ:>B7Jf^&U[LCl#eZ-ik\{4tĎ/b$ |q2&o&[1%$ٮɍq[BO,F[=pPn7ӗc'tn PHэGd[ݡRO䢃aO"mT:z*]8i+ n 7>W2- ,ԻI/WzD僙cاg$GxJN +t,QHT4?7pepSǻD+Vy–o|tU#+z#waW%X}l5͈~Y5|3q&ym24Yʷ!OplƧImyŽ$Z~7>>Kd-~89c+K[&f fw1= ǚYES3pay )yxq>>KhLB~z? LU/].qB9sDR' ᩱyl mMA"[a"BctTe"k- "I0!u2*r(B{* gWx%^:C[m~U*h+svAuN ԂagYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLT4ѩ 䥣 ؼ (RZ~oÎ@{xmNC<5k0tI7FN ;Bwy߉rd3 9>y^ *#QpcrgMbO>Wbaؑgu)1 8j 6(KWbXR9Ao1Ws 5ـTösm].䞅w~AhYuOa!3,[' <8U%9ֹY|i\V>s |ny(߽q ' ^ EEY12%0]/~9d@YTv&r \7hJ1  ZRbc0~Bg6N+y=l BNɓw]K-.GZQ4ҏ%鐁pЏb'%?Bp =g~}>nL/,/Vݑ\1a'h=ilA54CMY#L^lQU#qkw6gmsL:@YBNItY>m҇Stଭd1CrQE#n-v`[ģZ l-? aVu@CC{ $m+ʣVM.W]& n.XI\*Cy%.J?zy xm_4[mWs+hrG34F,LaH..[%恸%TQƎBNKS՞ Şn%4ׅD%$+42߷2ZH@.+WD;|sG4eYn[ٽ1&=@h ,e{2r#|=_L+'iMzteeߐ HTm0Rǁ@UUp!̊Nw" 3+)5뛷 ܦ**;+4bip577kZYR!^e;DR.GSwrdu^'* Z IU_ɧ iBλDܹG.M~$w՘va@KQ:}; ZyfCҟ!?sxLU$ T߅+ّpgahhӸWrGNY>8;m_"AU X w =Т/ 7,#YeQMl9` ^< ^U R^]0X O['|7Y5d ᬝcM}1E(KpDp@#=/_` $)oc`_,(T~mejŸ1)pCzqDOm.Yzߦ_p jC@D!s>b{6Y9 =~p$#K֮蚗,##S|PdwsdkhF~ 8UU͹ `B,\IKVHb {#\6a]i6Ƙ*R7j? 'D 0i!grV&cw''nB wE^3yBfrFm}G 5Ҍ~}Om@m$ԆbyCHu.&'vCpt@BjARLh"M =!ɒtR4hV32>ش& [\~1GW[+R:')eO}̯IفٿA![ plկP쏭b{R¦Sׅ'M,C*]C VgtW_Tj̲Qޚ?D˭DEBWN. J]*[#P{{VVytk}vEa@_tj ٚ.렧my+~D^&ܮm6`"vվy& 07nSy\:bݻ4jy;+&֔vzo:"@ י`^og %i>fS_"Z&gVg=fGx5B"~r,s}al7N(A 5_F+"X$O݊1WΌxW.dXHDG8*sߛDq5Ȕ/-9'ѭL%-)0ZK]VnNɹ5dž'Rc켢XG<33u,[*"_.Yݚ+=σ9R岴{]B|E s cf鰘3σ$iUkK+p/ ՃSQMܠI<hCJΜ0E`C3[k]3 >|]#y z|WSŒ SgwG(UCaڠ7fڥ ib3/!797Pq=`<ʋ("" =9\cFEh !BZ6j~wCZ M簈6 Ev:%Ɍ!35#cEQ􌕧Jd0vMWo`̘zِ䔈 t.Tj+wNa݀މ%,0>A>q0uΌ 0Kϛ @v}T)>D6SA^̞PgVgMO3F[4ZNf,m;eMZ&"f]91џ##љeO4v.OGS_ܲH(t[ oM:`!J4۪d4Xur?A:)ˣ