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 g+ 9C~TopfpRݦBr# G3˵ie6*OT'KIkA-JNgYZ7zXZִF! ]ŗXiɟi /-v!NىR!`vsY|Gsʐ ;v,|ZײX=3q7Rk4˸J&V6vl|P褘zw][5F]+E';T=?E2QZ\"%YỌ΋6z|t_=㰰N0rL^⪦2}?K3( \ݿG]#%6܍!R,x.ZSgYZ7zXZִF! o]ŗXi%L ĄR2Y쯉ڹh R^$AV #Wح/0 pP )I>aW+Ud$~}mM{ݮy巔.kq&fi+Bvн9DN Bjm_rf:g3en&^J9b&ҝiG$O+)J5=pN6t,Dri +3!tU !mKY893ưG4p1EُIHƃ.]>g齆KT7iP:eH^Gh~D5wHj!{85ѡ.b4qXը&KNqj$`BX[J XV9r|2JKH\9tŘx6bږ|ql=qo1M5 Sbuo+&CI-k tj;tgd!!щvG5~ V`0 rGݶ0 M{T;&nR c8ڋ'vF"5"gs?&. %~l=>WӔ"3UW;m0]fF/re] 9MgӸ''bp qoЭsq itwH}{^HgQk H0gLP&_T Ñor bk;j9jLMtXh! p/JB!| v^ޤvJtE™a/׍?]s; :| ÜLv|.xZob1@Kf(s!lTz4aAY@ v0X莌iO c3] ~Pj{ء1\]GG`p͋M@=jœ*8R]3|2۶ovL--KfE5N6—|<M *SUdx:`,P'-Dm锦u) KDЛn1}7{)p#v;ĥj!`0,"agYZ1d88c1419c47a0a1ae93bb22ded889725ce9b1cbd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a 4895ea9776ee2adc9db279b7523063eb4782a9dc + Minsky_Machines