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 f \t, ]/]Nominal2:threads=2elapsed=34.243cpu=67.204gc=3.772factor=1.967zXZִF! $M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQzk} " 8[B\9o@R(pԈAɉdp+ǛC9 0'jj*^WX$p3((uWFf,@K6uq FXA3MU.!ujCʬB!s`rNl\7v 2;' U)YNMx)HOc1dRLʹځg͙ r9b (|ULir ӻ q~*'eVMͻy&8~Bp!֧k* M5M5VzJ0<7~C|6:{[Qr7miAW!pz랮~1sDS^."DDŚ$Ai[~xycS~Æ&Fi+ e H>gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14ګcI'MA3`1[//=W!=t$Mیwoc3Ec grQHGs8Yp2 1H ھ)l_Xb=KԙGfeb+#֘ #VϽnI+&)5ĒQȩulu:ߚ2z.XhbY_xKIO~w]Uh%?9bS@ݏ%Nr'B!i 1!9+n$g`)̔eCKb+&R5/O"~"Lh_Iz]fj;ݥt_woRwqu#,Q A <"&Ā(y8/iTHon^4xqr zgYZ7zXZִF! ]ŗXi%92%δYIO?ۿt|ѭ*!r0ά\K}쎙A')ɳQGҋ`K@rUkY su~IK Rahth wL#z&XM|sND s&vr^긥^ geZQAB-f:?yoC"sQhS}ؿ?+_i]'AJ, -ag =wO>*ǧ6:+#bB׭KPV% ks1Sʢ7NIkeDͷ7eMGrpB>ۈ;K^DXVM%ҸMEd=9$||̍Exa\/Ui7 s]y8<#Ĕ/ |?irM6|Fѽx5JZ3HvA54(La&^T QQQlu[O/ Ȯ|*3KUarLɲ<#Z &UIM#=a o{LQ4b4EYKƭqrix3IC @_¯p7!?$Tg\Tݘp9;{Ѽa=1Vc~h0؅b;aȣo0Z;g=-q*ndhkP;ynVR%!.p:|#߼2bL=4Y1틤nax 6\{]߿^sݑw-X݂r rR{WZĊ0RjyCNDo΃A2\;b?8m$B7KDBi6\_/_{3HY"ݤLf#V"яEѬ]xL:Gm̅rԐ5֑RqR;1:Y ‚׳H~£9X}'CzNH:-Jwa\hPCwÿgE L+y3&juf{#<5tۅ/ ԑ7 W*oL *4eE{(j|9i0yE)$ԵbQ첯4@_Q }sU#zd}z a"Heᷡ.S0Ϙy.b<NK*_;bVn@:/&:E`ή9bVZ grnk.5כv-{BZՙen!W=?8T+`V9FA] EY] Z$ rFZ 9I&qUЀDrW#!e4{C& mê)n,f$ۺ.v 0ܗbov8OYVhcg[CǎNfa5 .mfw}' ;)!^Q8aNUq.4a 6u8Jy˺nT͡RUa,{WWP =ƦVTϔ?UK.1qu/owi* NA5C8z8,/ `~ʳ *k9$>ȴ֤ nڸ^=RR ָ[m|*RnS6PMtaj30<&. J+aD$}Xxu$FXrl踾~6',R;x*KEX2'ϭ.h|a>B&fwf I7DƖ֥~LG- 2cQ>f`>=S_±CIaƸ^2wt[m~ .Ÿ&{[60'ϻSd =@^c8A+r(2VN.T (JiO