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 GG61 lD ]S HOL-Probability-ex:threads=6elapsed=27.852cpu=46.144gc=1.440factor=1.667zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E?ZTnjHǠ!;QA->7(ӪuhZ9rY(Crk Mø$6?ڊdTq^>k`[X(q[Q5%eIcYvPYSֈQbF[?eӲ{%;mIM[| C3e Lؽӱ\Zt|4pY0J) Ok~&0a 3j~kOԙrݦs #c\!(e3i-6xw+I]w8Y/n HwkU7*2vp`P;uk p6 2[Rj_ZQ%}W)ȿ(Ť`w(hiįoj!G^LũZ$_MHQ'.4qgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Q[(vDNg9kSsh=}B"x#(}m4$:0t O_}rb?_͚+;!:%iu3$;T+.Sp|H[VOjrWwO*ʱgYZ7zXZִF! ]ŗXi%;wF|pm;<§mZlϬY6ɪF\c:PFлbq E+LEhzxwVA'Oꈿ Ģ 1?ixt0ܠ_ܮh,: 2ip]9 m*0؅"Ċ n\Nq5o\4.㫖+hQV)F:)ܽ9c]8 |{=CVEH$RxCyoqK@knyn *uBc5OUt&ԁmso-=]MSMtakǻn6mP*PNs^5ɒ& ?d^Fi#H9$SԦ)4x߰$ NbHGa}EX E@jAl+eaPA"IVb;2.4QdXSM'pȣ N] ȕywA vpTc$zs+fZW}KGCY -nno2jEyܯ;i(f۶fO`HJ>n4oYN隫ͼNpA"VCdaSf,2rZѫi?EV$G=ԼuQNP(0Y>Bݪ!%1ە{4݋ dJ$OAn,YEZ=Y1]=\dְ.t.f:|r[ҏ7oU-Ͼ[<~ɠ3h)ɻSaTTRϼȠl웞p-8!xiVu" zP+LwH LWuIEJ2ʀ]Ы7CprW`6WRNb}ZO>D 7h$Y)R$rxx  T^ȼpS.Ⱦ4fOe,!d -0OTQR!$]<VfdK9ʟU$x1w!Wv2z8W*yRj$'\o@wے(TkӉ?[ Su[Qw<+Շ{$.