SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info DD)1  s/ JiveDataStoreModel:threads=2elapsed=13.537cpu=23.728gc=1.132factor=1.757zXZִF! >]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ % ƚLÅ6vv.3gl "14: kJ ! ,Zp>m E"iJ]:x(-畃yU(.]k M0wk^ߖY=)8h&;=FL;,O};@kZ\cUiEŸ vqD2\?ҙuȑ.T(( 1 JiveDataStoreModel č'RKmvZq*`o! ־E) =H&B  8.!=l%okpnAդhIvU"T<*tNޞnpٕ-$FK~XqHj`PU)pNj>9L[hk҆yGRpkV [`+t+5bNRʩEY4NB̊d0[@ՕпY?ޅ~˙v̬즠|]AbM9TGk<yإ{eK5><8w}{Խ?ϋ@u;k$5%fpiT;3I.h*K~;Ry /dUA3d]MĎ?7D~lŭKG[+0hm&Ի`ZF|VOX{bm3"MSP@`8M썩Ʒp` `?yɈҧ:EKcpaBrl5gLJmyt1gb2(t. r_ȜBō36cOؖlc \h-]`[8W2D0uU.ؚs@% vl2WK/DFeUxlPÄMڜ<[BSʈJK:RVʵ9pa^䀳x:ŋy(8Dv5QWqH\4Ie1E Mj AVz8q5* \[LM:3~pfM}~}NI+VJ]I;&y+=ۮh6HI:tPjp|5W5HΑ  }ֱgYZ7zXZִF! Hz]ŗXi%k;=tqI|kNeS @3Ȥ&xWž;UVhU'̏v33bmBl:j> Lhmgjmo]#((>x%䠑w(uYYj t-/\g}q5,&dSWrYp߮ꟶfc:Ӄ]y;&Ԧ_ r5bҙ7 kZd FAzA>8h(#: n)%U&땮ZFχ]!4pD}>y.$-=a&9P9s*֊kVQ .9rNMuj?W.˶$aQ-BR"B⁌$ Ѻ- lxΟkbTxeLϝ.&67o(H0vZ0)EV%}u d$']Gxqg(ݔEƶ7Ol,]+b+L`2 \U0Qt7Y< t&0;^+oTd)jHFA|+^) ceU&`^j2-\:s^h2tdV C