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=26.817cpu=40.400gc=2.236factor=1.517zXZִF! ]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%:5:9Ch*U۳@(j 0,15S-~z~fY?r=(h1l vU7}|".vc2*tVD ɎY1;rzhW3WivV9QeoHMPjhdĂEJn[86+|0uhohoыxFR$=+7X qF »Ԙ2 ZrRA^F2"T>gGQELE 2s|swe\*?ڜF(U-uQGTM`oԈlax4̊P1ݏU`:nhl|o;\PM-9H~. .ЩtG.90w>!ˏI˴|CK=Ө G"Q@;1\%ʟӌxιa92ޘaN!|GP֖es8 9&6_Ҋܲdo'!gf-qLndYNB8TmoE^4}'`Wf,?8n:1E.E|sr\Nί2]bWYPItJ);]m V̠hvj:[C4v}h`>Z׿<(gYZ7zXZִF! u]ŗXi%945}pCC挞osU#'T@H23UG-ԉHܕ8fH]u>M.PlG19?CCaz}l4[ڳuE!MPc/ WB69LHɄBzm\bn8 3SxȟDy:N1 L#E;&'d 93-#\__K<*RqCc!׆l8Iمm}SJuBL5?N]'~ˉ=Owŷ`Kqz67U\eʖDQ: ];d%Xv$ZtG63 Ͷ8U{妳{Rzd p,>DHs.[G(q Fvdzh_8'ٽyQ*JxW5 [ߋ/SzkB& (/yҴꖙ:ngݙ³:[&$LEվx΂i [BA;9R(!&]R ̍M@{?#8υip<-1_H-#n@d㾀I|[sdۯDPD^_|trsߪ@u>j&}3& 7z3 Q[0+@X0,\Yvjy߇ qt~73i#zjmG+ѰjPE>]* F/xl@;0 4d=wZcC!ɡԆ!:$*2ZiV1U|7&XNR8ڀQy<$-\\>51#Dv) V_gYZ63e0858f1c1c1464d71de3f929e21af317104c0ec68b30ad566b49580fe13839f7a432f3076bf46c c261812e8cc579b00fa6c102259eafdf6ed9acf2 5c42e8e60061297de4820761c0f5554d67ac5643 a91cd0f67ec0a37507b86840b88bca15d8c0603b 63f47d37d089d16e1842ef305f902da12e4d4874 7 HOL-Quotient_Examples