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 o 44| ]/ MiniML:threads=4elapsed=8.452cpu=17.972gc=0.492factor=2.137zXZִF! |]ŗXf[&M_4.F$ܙ:(a āšB~e |][ sA:_Xd^xY5*Y@Xйۧ/xiϑy}-Q/ I,Hi7 ].&;֯9UC#n~M&L\1ScuɭKI0 滋}OH|D|s0I-MG@N ZrC.R7 ,gYZ7zXZִF! ]ŗXiɟ"xS2}YNd C{x?l(?J4wӺSdvi0\L4I[ #9/^޵zF5HwL" B iӮYݬ8H~1_0 UX*0[۱gYZ7zXZִF! B]ŗXi%H7ѪvXU=&pcܖH*nDnYboqxs ~fd*]!B`W0{8ĕN۴=ֹry0T?E9.RRI`[zh >Zf(J 7PT7g% oɆOlqzu-5 +1?=Tx:vCr'M+m6ߎ=?A#8 ~yHN-XOW21uvIξ?s'a;Qc SneRa0SD2nƚنE(W ZDЪ]TEWo`VZ:7}ltD`ѹy.Y<%@dWPHf\1wX 'gm@5Uҳ}RwT6FVVSraBjԶ;ETn8uNվ"q-Iukq޼Sb.f$ENxELzq FJ<ԃ]N0 KE6HtZ9ٖW@ 4YY?@K&@9-v&Jج((paD&&:610>FnDEH>)4t?Tqb] }ZYb`J#@OCGg2pc82a;A!԰|h=ķ1p.LF5zڹ^x#j[K|v7aQ\JUHh vQq|a>ʷV`TZ 6܇O6-k?>/Bs $ìT7D%slSIMx4\K٨l-mCLi:ICv ~9gYZ3d745b7c4984e5f1f557bc9b3e24e180b55b2c9ba3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e   MiniML