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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p p 3Dt< ]/ Projective_Geometry:threads=4elapsed=24.323cpu=81.692gc=1.396factor=3.367zXZ ִF ! ?,] ŗXf[&Y7 Kع\(y)Zc|qe=Sg^-u5,%dn}[7ZWULD{\V |B DqgÖC%UE>Smq< ֡uF uJ^(ert՝Nڈ\P1xwKW;n?U714$h+.YJ.1O(# PJ ,i:tQP@,1mu*-|dTi}%ꛢ+l.@L? ɆPG`q D|dW;#d1@;bVw2^v8Ll@(2[$آ hgE|3ؒRҿVD ͮ3w_3oy?ya2ѯ}f[GX)׃xr^Ϣq'J 3 Projective_Geometry nX{PQ1`?g-P[FWX#G6G;3%~2\'pk|BG?YܨYv#Qw&aLp9h ͌R>+f0=^NHHg_]4(M do|2dWu,: 3f<-cn5~sn&o4bkIZVE=.8w߭\ZJXŰ<͑Q3_8>zzj5OCiG"#L}Vw No^|+a> ݱtH7}\)EExBIMѕ&Ro'+#sũü}[8jh+ap) J,f%$,'st2