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  j>iT%V42w<$1 >#_v_? h*ŵmBN*č6QԄ%E @!ДsȌDAlܣ%;*(\Ye "nي,n7`C^DZtU9D 41qd[Y~:;rtTesm?WtmQ9XVb7Dntm9NV(4Bq"ֱمqxbޓ{>_`]ˣR^MAruVg4韶BFXrRЎ&(խ:o{6Ⱥ8E꩔E@slJo \#d?7A /^^C"RP c=Чb c$-Fڿ8vz}ev}c * *K Ge^YMbPdƦn) ȁupQ'LՊ]%>ei(Ra~я4T^ղ-yAW]Ȯ@(:'PsIEp9g6FMɄ_ik"A< ?_jN4>xe6u+t2J{+9|rRKqIop/ NOWu ~꼋B?+UgYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]wNg4[d' d_~pߜ/C(jf4p[7o9+`ngtt|-p5#7t7Uy|hu(<$1C6Sk5bewf@ďnm$o+`x{jU\50k9ZAmJpŤ!vʴ}0ؙVR ¾6$W#%90VcnL\g0@ W&5W{Ba6 LpSP<`zë(Ke1C-.bd%L`qp%$mw + d&1|`4zaVcX{++]ŗXi%BȴCqyr:{L!DW\]?GpH**oPgE-2g jMd'5,{~~GPj7mU2e,Oy3lSMPq ~PǬq9j@ycRh{cf+4o}ŽވQs.e0z[;-(uWg=ĎBیv=6l1Z u#OseJd4M@'In`*k]\3Ey(N"Y*^>$=90һFksmRwYS̓jJGzdRG 0y~ Ũ2/(YBПT/JU~X"ǗXRurŔk(s`l$;GC-o,IWZFLu /1;1p}Zi܊`m(h㯠ݑ*+ji[~+tZ@D8*0kO+D9?OOW_dH ;qXz̙x`z>3!9Pt!qz#AP v ߳<|M,~ڽ=Ke/z@3`~π].xT0P_'hXlur/QeD̒ﯘ2o6eGN*#'}>l}s%5~bC/ܤ } gYZ140e610e80e1d45e5c9dc3da6a3f246caecd0c631b62f589250a397b750b9cb14f8361ec2107a8af 9fce8c97e397b56bd94058e31e934a30dd22c73d45502d8c7fc5bc9d3be9eca4dbf29eaffaacd74f  HOLCF