SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 B1 <$l ]S HOL-SPARK-Examples:threads=2elapsed=18.308cpu=31.188gc=0.900factor=1.707zXZִF! 7]ŗXf1-q恈׍ V$*(5DU߆rAcf,(zȭiV)9a e*Dh .0 R[Pt#r|^ MH0 2iVtUXS)1"6!>"H c:l%| -GM& >gYZ7zXZִF! X0]ŗXi%>gpxG@,Te P64-6zŎr[Hc_I_J*çJْYnEԐA۷cmWn!t؟ANP`L=AA~ebsLAs7)``r~!ίju 'H6:]nΥZq}yZYQ\)X.)=x* ~0gNR2[ nx'kR˻ 'dWץս{DeTDǻO II[{7xB>Isqn({ՋDUa=T@ٞU;%7+9 }hqw$G)@_#\8q }wr+[EDf>ہRomd(9z5`l+T'ZAufX9}kfBEJQN0b?"˱c xNGS3SnUdY@U!vc@&~f%-o@+_#r"މ[Pi$bÁi4(8xJV KێbTYyv (h (́{=d f;ߵQ0CkD.PK7O X_o 4DʲG*9g[?sNX'tM@H]#2[HZ^, Oy=q 59>M*}?H;{aB^X%J]w29 [q(/Sy8g>rlOkBx_,mRQU+!ZyOt%ǰR&Y4QDv~E&f'c!6u.h6HM4?n8w/5~mXV\[s`= <Kp LzPDEb&+[sRJ!*nZf.]n*;Ux˛hQ]v0"~%+a(AG[Xr h/Edyzl`VL;uH6Vh 4W/DZÇGLVaLBb( +OP=] +,8\?o }NQNK)zdJ;iLwځYâpԾ|