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  $,T ]/ MiniML:threads=4elapsed=8.657cpu=18.924gc=0.484factor=2.197zXZִF! t ]ŗXf[&M_4.F$ܙ:(a āšB~e ؐn5:b2JEXK!B@nvY$&c pS[V1W d$DOJB sY"+ #DwK'԰O J jz2t'ՙ&#&YY+@%e#Qc,?Io<0b(d jrαgYZ7zXZִF! ]ŗXiɟ"xS2}YNd Fɂri?8Y\w)#Z Q6]JNgN?]7|2':kf bf Yc;RNĽ,¡EMIIgYZ7zXZִF! EN]ŗXi%L xent,]*{Rit?7؆!aO_x :rԌ 4Ժτ k⪽EZdOE4HM5TB6阗džoG>5UΗM߯[k>L~ʤ.jveVq6Χ`k)#z~_՚]!+(KfB&} >m\q.{!:h0MP=:䆑! cP hBt9Hr =Ia2K~}CmNi*`%S6et0b?%emp0NO\7Ow(QRG*YX57_DԪȸǨ^HV} ɀc߉]N؉hU gn( $!ⱔC ;ا"1z㜆bGz-;j_e]ZX*-Ɂ(~8d KV'I3t(Emg榍#OW?oRB6^@.E~xyԕI!zV0`ua MEG,ma.Qp9}kd:@q{'O ‘pXsCЎ i{ueP@Wɭk}Hm]A0*Lc(ŷobKNy"-MhriӽrZE}̚< ]5J`- .B#1k7P1Mnֽ9țl|timf$Ο+j 21hI!t<뗏^r/jM\\}'H^rkԻ*(< ,dq 0XZ^E`c~6 i^ 4CiImG;(9KRƙV;sb ǩSJ5V+O40aP@%8.r+5M^+/0-*:߅ͣvҝuBQK`-GĎo| zA*t LZ2tUc,a~(o(mj$z `5]3fE S_lǨl9n@X ϊLgYZfd0a2a47b4c02b66f570f8b349a99de877a9b8cdd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773   MiniML