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  D\, ] HOLCF-IMP:threads=4elapsed=6.161cpu=13.848gc=0.424factor=2.257zXZִF! 6[]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHS{#j +!9fW֞ okWRaD#Y9"L3!ҾOfnp kGd3ә|eiL=h`ڏ$bPV |SQ.G3=IĻ_,Sp(AņHoKv~N"i*XRI_\N w㼉]޵n? i/c!}`btzX$=ZZ{O{-gYZ7zXZִF! ]ŗXiɟ1,plnQBmjs{>Ĭ! Vn.-8XmjL10-:+% ue)Xu.bB &s嬼Jzȝkf TWTv՚f2_GT>`0vZ(3F?gw1{S)i:^F"b){TD6wf3@Įf,936{K\h?%OY0$/.YCMTS,B+aRfY%|׵1|VB{yC `D7xE̗`X!ks@`=ȿqkR @O2ڑ x|]M[+S_ ,]ed.1Hk'낃%^}9Rpa\5E9Acc}0,}o|l!(._vCjJ"p*ދ \$b~ŃɁ[;}7C25z?EQ0cԙU!%snRwLU{1=.pM!<̶5 rkLyj?oE#/ gB.e 5 Z뼩^,vCګ9hAb;on>Ej É8;Q`Gx3˨r[ohRi,s4do|"J/kj m a>ܧ!HW- h;ǡ ̋TɦFxY7gV'_3?axUiȫ!d5V| Rb',6Iݫ˸7tO S%#(}@Bn(&*YipjgYZc648e7925c9a615b7739d833984af081ef462105c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a 2511fd22fe17e1fd6b6dbd308e169e5056946464   HOLCF-IMP