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 ss 7 T, ]% HOL-Quotient_Examples:threads=6elapsed=28.134cpu=41.812gc=2.440factor=1.497zXZִF! r]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%5[32Os0aHY_9Cfs z ~hEh;U@,ȝ?e/^7~mbinR?jgMҴPsRϦnL;b܏w0jJc ɆR,XȤ<^|#M-q"^,r%R:N/G5p`X,)#["_/98:T(mtQhb1X7/0R)'UUGpΦ_s[;\1:rM_!FoI&A!陂9QغwW}囓cAnJEH{,Lƻ&ۢ{doo|L%4^,R3+s{9I\ۈo;0/ZB0d"Hb9\n-4YLyp`'{ZZ` p'뼌)h*4H-;;B}*nhTh@PϮlVAТ5H&[RKXeZ%FRt#+1v4$&&96DY6|PዪÙMwS:K1~@CЛ'})@3n81ӽRr[ɽ]G2ZJ"s <*yutTӏC&ɗM"–Rm0b;堷eh:W#+\O:e%G%Ѩ2uJ fzUHg\R%7PwbcW\􆳺?;oV/ 7 翺Rט]&"}Sc|(yQ'\KF$];iD.Cm@qq-rtw?(eF[ʆ1Pm;%cc#WhǬ;%{Ѝf7ҳ9 ЈG.gYZc9b0a7973dc64d37d63d4b87241dd05152ad5723dd6687a512096fbd242a18d446c4b55d3f2372f6 a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607 5c678e4a838ff829b19b28b6ec73b6a65cad2c18 49d5316b23cf5ede49fe3042c9a703029d640242 d8f2c107738def6622cca7193ec0ba23bed47d17 7 HOL-Quotient_Examples