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 l< ]% HOL-Quotient_Examples:threads=6elapsed=33.061cpu=48.700gc=3.068factor=1.477zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%V[32O[v͉O".:og׬3jv?d8I@pH=B0A|_ǁ d_x޶˅r:6}|U!5"PI$ݻks#Y{Vƃ_Yùep#xErt0mEmC 2bJutdD4y|3S0OH`ؕ*1 cwyO4*YPf4z6qh/6LgYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X͂F6 اW!GsEQG!, d! 36nPK1*=ى*!pWOrԛdHށxI ps>z L Ba-dV[j*,k!^vgwDQǦ;{ aR =/OGt{j_pb(BgYZ7zXZִF! #V]ŗXi%9#}M#v F.tGj进a1LA(=QG>]k-~b./"|_w,}fuL[8*CceLu4v.,um+_ġeق^uLOوҕN( (_ׅsw'}? V[;. br)eu 3|a,hNro/sbD$HAɕhr2הSXgb}74-&pWy! Cz- mzjh|1ae BX>[!䴝`=,+8M IbPrJaݗ9B a˜ulURqޢ+t% cBo~w\ye[*osbct.by @֒!iy(|6-sɈM{ YflPp:TϘEʮLhe d V棞/ (`Ԍґ*UL绕j0'۱c<y^Ħ`Ce (EI@Pq * i|2`n'l|\lٜ%^85x}RnθUV%/G> A(SV-Z,UaR˽9Dp\<2gy CY$(Csʒqi*D]{.pf%-EJ5|yTp__)LLg !Gb78ơ5Bdp[P[SsW _]aS^b$цv:عO9ҞdVx-Mjү/)Vu X`J*[:P"~)gsL=dnj^O'LU,|IBv̈́xL 귻\1#OaHJ7}K5%PixG3Wg!SO54lzd%Ҙ۹ }wX%z!)Y-[(ec&TpjߓZi0ԅ=>tSn^s*_3O,^ۮR\{½u1iwJ.9!k kyK:ޮ\+~~B G'(b49!rJ~\?I4xSP\7ԣIN1b#Ɣhu{lVq.;T\)Wŝ'\fZghdGKy) mb $ egYZf9caf3893023c957761763b19c71a03f1ecaa3a58e59201648d7aa8ce728c4e17f1d57ee228b2810 f7012f5768972a97f450bfd6400e324efa13b311 b74d2d4d9b8a39e7ba82f727470a80d5266f6242 b63231d291310e177660a235ff7e3157fb884e5d 3a7f0906b0cd0f363871086ed3e5f08ab07b6839 7 HOL-Quotient_Examples