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 || ]% HOL-Quotient_Examples:threads=6elapsed=25.791cpu=38.956gc=2.124factor=1.517zXZִF! w]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxu}G@'=7rՔX=+GUO)Q*g ˼5qvT8i[gp3_*$ۚ5C._ pÔ(UҾ39-|1Ohl Cv .g%(S]bR\޾qN p?80Ǒt Ȗ5f8*IAoSl})1xvF>[Fe,< } ޝbD<;qIU~C*[|XE`tDmMgBg]rcDyw/\dԱ5A++2j{e?W#; '>'&!Adb; |+@Q)bFk,А1KIB*Ȅoa}07*ST>#;'egYZ7zXZִF! z}]ŗXi%92t(}[wĎJ'z6"-XhWf.#n*b0sݪ0;N/c`jǦ7IP>PmqR }"}7yYvx:O[s)L%v&mWR~qL^SǪ~|Q -`U :xSSտ^߶A߀ X!$ӶimXPoj/f${^о5҃<2e]Ick:O'@Α&wK6uQEt+R)PyT XacoBGJV5!-{&S7X[k*f;,D+$Jsehk~<,NP8-')C:Y(qq/HFbCMiIMq#]Z/$D~ }##˔-?YR, UO۔7gTَǾ|nrIG\μ[pi6Юzbjkl0_+k=Vq2Pn!OSĸy㱱 eS\S(*Aqk|ov_nJn[jNO Bd rEǂ#e.^,~Jз"WTv.))#X4u*N;۹% 7o+.qsfB62rw kr(O~s)(Hw2 2gYZ9ecff2d04ec58f21bee1032797daee86965b2c38b690dd9b4995811857c4fb640c8853723b58ff28 2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f ef28aa63992d38cae790ea067cfbf614ad2b6a81 e77a7cfba9c2221a01222115ddc20601d8045b3f af5f448306b267c930ab2063a9121db6ca06d2a5 7 HOL-Quotient_Examples