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 ) T < ]/ FunWithTilings:threads=4elapsed=11.340cpu=35.872gc=0.120factor=3.167zXZִF! e]ŗXf[&-? 4gD6 HƙzSbx U׀HZ4B|Wۂ8t$s8kE(j.!8#'Vh=E yLPeo8p"ߌ*ۄY).\Z pĹ5nS^N@"p?jՋ2j9QrW%wSMڲgKJ>lQ=?\r7'u`>,_'HZT`  rgYZ7zXZִF! JD]ŗXiɟUXvjV*~ ^kmoy`'{v%|!5Z6 Qmcw`KFu}YZ7zXZִF! VSX]ŗXi%B۾2& sCjFRم?:{ju5t9uXVah+-nWzylhW(yċ2=D9?͔]`z Ci )$=vXdADHUYX#=F~ X}/ƊC|v9]r۴Lfw ^^'?.˂LI.H 9ϛT*L.pXBxijTggՔU·yĻCSDg-(>묢qG%n QPM!̟yeZ?ZB }0Kv5D5vwui~E@fx[*z F2z(kBNp*ӵ%k^k"+D'fXc^L{wuj4<wReե0lgOV!O')1Ӕ `?{LQq?ee 鑯Zx7񩂠͜ˮ&ݓ0$, BfߦPc(Ɩ4ثY!Q}rPA*u7tƿ=,)i#P9͇+|0/ 9\~ ŵ?0 tQ0DwAmep'**Բi+8@TedG`:-B clI/c O7ДZv|&|e%_qĦݸ,4^o5"2]VVUrx/6| a`o`;3)z=#ň;NGv N]HP aR"IO't/sU>$8jvIybokNGCbHeTWfb0KxIK˅VC -gc P8_24+=/}7REv-!Բh T=01 B-EVv}!\`mkdi6-@yq=5I5v@Μ7v H2mǔV2~H ^~g%D C;S5Ԟb ʭ Ԭ,ggYZa3b5b836d72cdcd80e0ec0721292b266ac5f1d4f76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f ) FunWithTilings