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  <,< ]/ MiniML:threads=4elapsed=8.319cpu=18.156gc=0.552factor=2.187zXZִF!  ]ŗXf[&M_4.F$ܙ:(a āšB~e ؆]-Y҆-DX<KdKd M[aMc;+<̽"#qgtA[K&D#9HWC4nLәxՏZ!MkR0d]cyTN pS W8@q>q`gKkA,@X"٥-8yY`-{lXY!?x4Au*,lgYZ7zXZִF! ]ŗXiɟ"xS2}YNd J4}uN˧+Ur<Cv}(te!xZifX@Pܛkynƿ`ƚwa]ɾj^Mc,EmE*óCq'ƱgYZ7zXZִF! 9]ŗXi%@b^~Z7MB/g4c-J^N~Psc8n,x9KeU>4]9.kamC_+.sS8:skʧøxg m̻(Q{(%t_2' &UAun Ht 1>J6^G^vO?QhjFzkB{J&˫Uw"B8`U*#m<|87]/޾q׫*ob 1Y=Y7(K1;cQ e#=5Πڦ{$9z 2#&evlYb"ߠpGiH (˯0SlurnIHqH)`db }z+^s2!qdC"NL<}BR2q1\` *пyLZZ X` :vb-9lйl*F)FUAsjH:_Eo/>#cGpr|nv'/j8gp߽ķ_}$HJnU~:vQErwLW 3 )3CZd?#3*No:(~;j:X "v1kX]nj~C}Ks+igYZf48b384064dc921b69c2862a330f8cd354a46e8831f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5   MiniML