SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 1 TDT ]/ Concurrent_Ref_Alg:threads=4elapsed=5.897cpu=17.816gc=0.484factor=3.027zXZִF! ]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtC {e:cvβMΛ{rO@,z1 ?a >b9V^׆|ݱ#s1_bxpppULܿ_"ߏULA8[Þf'eu+W@ B=`[nUr9}ځTrJD WSo/iT(J[ԈPVb>K%.X_WSKLH5>q^4,sຓaɵMܳU6OFyU8+޻,uijW.+d3wac. ֛tMlĮeble:*|n;PgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEduWMŮ0`|qL shp! zbto 0KV76BN:JNdˁB0ysT~<Q>Ex?w o#dЧ+᳕e5RY,3v*`ɬaVFbcрE*F@s|R`=@%e9Fø1]#}ބ~j-0H>.QgYZ7zXZִF! 7]ŗXi%L SlC4"☳ c'(8h*&#̨W91EM#% WHF8b'f.G!GzWqϬwXe z0LiNL@])* {dw;w2ߝ0[ؕu8perR50IT(׾F-o2 =z[2G;nY"$$BÈ> wv _ώd'3џ?qp_ MULVplLP`/t=5q(hZL{G3yeY#^]gW\>ǷטR#+~L0+$H(Q*Ds&1?qn,Ē dґbNO,74hkR%S,icߖ$plUfn3g"lYA̭ i5pPflJp(Zlm:XIM!QDS_67Cyom԰=}>cb+E7{4f8WM磘& _{DYw'ru"X8PPo{EkmJACڤ]_v8S,[#Rh=[@!o1Mfxǵ>5L(E`zXx[SP9=ftelkvjQrPEE Ȟ[4y &|$M!}#\L¼Xw