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  q4 ]/ Lazy_Case:threads=4elapsed=3.148cpu=4.440gc=0.000factor=1.417zXZִF! h]ŗXf[& oo$q;fOuy;KDSqʧwq܌>G9XsMÀg ׁ[bv2&yP)U9xXH&ѣ7[L8xVcjiJ뗣'~`INV&+ZSgd#AY]s`yh#+j/K{u2 .x:`sPw6q`ByҐ wRbnǠe $!A.1^aI&<8γW" J_bu/s~2-i_r-MsrnuEʢCC/.J'"lr O*#"&z_=/7/uEL#l@|Q5p k*=g[( {\_u#{o,tl`\Sč] BHM?:Ÿ x֚F2VQ,{Q2K5JXƥ؟M}aDAKfHh)L̪HQ8` D s/Y"~Ə>-9Xd+"|N45rYv8*:Sz> /C:p"]Qs1^K/ Z~)XAT@$QFk; gYZ50b89f6250e9626325556fe9158e19a1cbb6cd9176b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568   Lazy_Case  (=+ lLazy_CaseLazy_Case.Test_Lazy_Casecode/export1.ML7zXZִF! U]9 ! kG:yOͽ:oM߭cC>lg@QAzx(>pV+GXJoDҾ$qQE%[ [Ɖi$9>RY_iT \<2?{ds?oq!vԎّ&S36}E|üSoV^Ibr:!ٹU_S#Ipu)*@"-ꖁsP&6cӅi aGvM:s=pN Tn+C{[E" 6(vi=ŏyVLlPU[_~&b:OxDc 6}zidu5'= ߾җmw@bŋR֤r&?DŃYӚ(zz$bԹy<躪>:seye&c͹Í֎4Ee `{bZXVhs)]ۇ«aY6qw崾~gXz@bT{%