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 | \,t ]/ MiniML:threads=2elapsed=11.877cpu=16.132gc=0.528factor=1.367zXZִF! f']ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 k^tHă#ѭ $E<%\!§nU:#B/ FcL9{` .x ͭo98@)8p\Om )KC}ȒzSP+v3wYbK? Aۜb?㸡_(=@}jzω d5cƲP54vR;8 ԓ~,ogYZ7zXZִF! ]ŗXiɟ"xS2}YNd Ffl4&oOE|1 YDBU1@GkլSo5''ya5=d;9lſ C`fJa^+cf0FL gYZ7zXZִF! H$4]ŗXi%>g‡|-qGVK#p_jKq2J䘲92.Bmg*!# R҉njt@f N7>]C;Q~JvqAYXqVk'x0h2K5h`9O|?4cvepQ>OeWĥfi%NL+3QKVd0paךWG8%%0kӅU$u,l90wOci;Qjĵʲ2ˀ 4u@|-H4Bи0ytn)eTl]M AҞP^pS}{ڴ";&B"¹6NL$: Z8c}ݏye-!P~g4M;Adlj*C={´}t=}>%qsZuұ+BY+1;.asL,ȷĵ%$M6O$M-j;|fUW[1]õ,x]CoUR-oS ֽ| ֊G{E$4Dw~ېQD"*=$T~Jܦ]Bf_AI&5{PRfq(Ѽ!ݥC)y?9̛0QMhKm Gc9ח4}8D =ʩ.3㵛֥;~$a Z롮jdK moLy MWD;z/|yg(3)&VU ={t17m]/88xuѠ= _)bt/WnfJ@* ӅrOPJ]2>eI1 iЇdnTETBsּC̼kaiZd~}Q f2' }2p,*L<0c>YW}x0]-R&M:e|F\5+ZWaRboϰ (g a]V)gXH%xv0-֭`9gYZcb78bf9c2d7a4fd2abaaf095033ec0c76863825ca70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8   MiniML