SQLite format 3@ .0:  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  ,,d ]/ MiniML:threads=4elapsed=8.589cpu=18.132gc=0.532factor=2.117zXZִF! 2 ]ŗXf[&M_4.F$ܙ:(a āšB~e |+\eȖ6puH|pO[W&y?35υqZmBJz&BvR8U"~-m[.ʟB'u1Ï=HVOF~̆-t1g# GZ*oʬL(8ʴ[Mݥ~XWȁj˦R>-m>D u>BluN؉s\{^3 q5zu4 [gYZ7zXZִF! ]ŗXiɟ"xS2}YNd Cuh' }ljTić$ W RZ(7a` x-RF<ɕ:!ejjA_`Ί`Nn(7&{'\(mMU@gYZ7zXZִF! Ej]ŗXi%Gcŗ(ͤ.*r(]NTD4+(W`d?RQ?>JJH >;#w۫k6|wRk"8) QbS?h~GHgݬ c~ؾX?HJS#픅,TZH-֋f5v 3YFͧ ThGMH8t&7'F&X`>ɮ Th,_o/]mBpA;Y^^(csC60'dkҕt$;-\y74,ɞ rR#R82@ީ0b@iySt UtypMu`SC S>34e+]'F 柛I{!6vK@$ڛΡW+q+l/"e.V]ܞh#~Ch)i/'ȲrUi)>[jtAMG,*=kxe+ ;eZ--? xTwWaQgA5RƧu *INvvlC8ap0eW0zG*@)ZwFH+{^ ,Ǡ]̾?Jk*9A),3O0dMԭ-1Ax)fvv0!Z`cf-k -D)Dž1)fKSCuNZ[ 6E1-)_=yw=1g9zߞ.A>>1&M XgFIEJ,ħA$iiW,EOrg:^"C)Ƴ޸p쾶He/DBҌt%O>z )-@a8펯nȎc?/ pîgC5]sE-%V!X\x譺\ "E$z u]3"*XunN5<\Z0'c= ES!ΫE丳-,tEm@ײ<9( R3I:-|&h{6]» &PF2@ש䢱p 3ʺXe =(^RyMo`Gt9]S/ݎ(^﷮ 9 _3gYZ73ab7f37851f4ecc468a3d500f6756412938d10f1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89   MiniML