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  7 4L ]% HOL-Quotient_Examples:threads=6elapsed=26.877cpu=43.992gc=2.220factor=1.647zXZִF! ]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxv``?;vm,tLT wڡSDx7Z22!`'7#ͤ;MoS6ߟޝGR;kچэ.H5fֺ̚j^N`xjp~^ ] O6j((V 7|6;6y|hG6 7"f\>z¹MUXl=_/tWQ'8~)eźiʈ-Wqn)@ pX3`qLQ;{#? $Vΐ ݾc\kxbtmkkĺNWT^&Ӑ7}ZToIAe+4_jŇ_V]O)w[(DW7((G2}su2oCY[k:ٹ;e%(yn9wB̕W<%8LYG%kNjjCl\ܨnKfQBS9K̄Iת)y`mُ_r N-NukgYZ7zXZִF! ]ŗXi%6Ƥ"<Ȥ¸VKH)sҵGB'2u#ziL%5QiIًlPy|oy8]dāsr01qb`GUܣ6g.A J㻦'_L9+Yi'7[데=U|?f`I!?\)Yw_\ PDœ_iƄ'g@L䈂&w)D-?r F$9GF+ٸ7[ {# )!ZS6kpfe(qt yvvc8+6}kkzLO= qa:*)Eަ}#esc(&O5F͑>X}#8܇l`\k R"ʲAjsR/u(d ZezQA*&.գ}l %Thy<׍ଭmǻB~(/fף"FXfĜ@**@2K<71@Dx}DEr7UV䂅niUTdvCwE.B.z./EşMj@m-P4s\볡c"ܧ&f؅6t"ARAȯPS~&H mpU2}'ɰEN[cZ/9437T/;o"9iZ+nd[V:Cn; f09 Dm[A6$J .Т듳 r@Jra}jD7 n|YC?(srO[j\z7P%9AIy; nH`)o{JR*Ҟb3]jc}Qx~O2 `,*5Jpx=MHuY$^IF ! Rٵ%N87Kw# 4x䳶F{I e=7/9n&V ȯs[lf(V$umw؛̀wd1I%2p:7 a`ҟӺŖP2nON^ E4B_DD㗉:U@4Yo @d @L27)jD< \#@dFA^9V榴Iơ^u)]S.=Zڙ.ngb; ` SKon rJ|#XLg* *BtgYZded93b0c013b47a50e363e48e217eb4d429f14ebd45c74c3c975463d5aed11161e8ffd9a51437a45 4473f24c6908ad0badf5e15532763e307c56bd29 9a935d177eb52a94e4456ec4f5b63c99be8e2aa3 1645db8ab85076ba320a29c94b217c43ce22bb58 b71a6023d5d38cc9bf936f5f4b171510c941bd5e 7 HOL-Quotient_Examples