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 BB; | ]/]HOLCF:threads=6elapsed=12.707cpu=40.256gc=2.640factor=3.177zXZִF! <u]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0U^r^(Vxځ% vYErJ 1J$MPPQ>Yb MC,-7=p\.$A9?&t["2Ŀ6ƂHs.vw+Hd l2mPGydCD;fUݤ>ol@si"iMtۊ H{wt\MѬ{oWڙT b@j,BVn{|1eƩz4=m̷JѐNpdo78,LYzVXg?h odA/kk:[,Pd,5 cW'3=IIyEbw [0Ugquċ )rte\UÜ`l-CDPƤ_KMބE=!ކL_I6&h0nrP Jɗ\&e&av1YRӛDFX.4>Ͽ_Gvtǂ9p:R'gYZ7zXZִF! G]ŗXiɟ>Ӈɇ9S2]k1{ai`, qH[rsף1no=@]i.>ᲽF:~=}Q|3,gL90dd\Lc_s3I|q3-vM/FQC\Po.>~9"l6^DVz_7;&|oMTDxjm2_6by`}\5PS_RM`k.r WpNm=$S1wqzvo}9vDõ,y܂3b nZ yQx (&"iIT]gak[Fp*d)R$8[~൨m£g9\޵uwyha#\26X/q-vׂavCא73 xHۭ_G%TBj?ZŦ#I3C_VkiG%rz;04Mm ]Ճ_"ϭYFgՔ`+p  u>iU/yäS`$ұgYZ7zXZִF! HB]ŗXi%GeSW^3v/BIj^fa%]Txb~S[Lb9'tmZAj{CHyQڿߗw:fSjJ<.Y8!xVcq|)1`?^(6O [THT(jEK6Ѿt:^ E_ -إ4 AKЦ@Ų}j;@Bhr=BMl#)G蚞vmE=94yuaH*r5kᰕF}i5"+73xyUo'XYEo)UEW*'-*B/q9|Kjj :>؃ȑYw@7*ûyR^~$DSPn (9ρoo4f}@0zPFN VС<42BDu|KڬN+jCK\KAuvZcn`EyV(v`2Ęss/Gj`z4'e=G7,}Xލl}xWM GCF{{~i!Lh]VN\GNY;$xhdfx]o*9љ4ϕ{+_S ?OᡉEKX"LeƇAq2{ (=L^"sGɜ&r1g܄سj5pmD2)hDZ%3Ve> CiT/Bho2[qս~@ZΠ qC'tD>p~I}lt3UvFs=}4(#[ :hAcf.S(b 1%m8qHZx ;PP#5O}~=Ev5&_5JZA?[UX%t[K*0@;ڴY/F6_~~ CD9\O c̔,{NR}@<J:G86D9y >JmpN֖Ǡ_bQ0tPPUc,fRu(C|ф8֗@ksF!䧫TQːbKvG;VX6 [AKrxk5ɴQnj 8tҁ÷|[Е&JcpiAI \3]F5Pkռ<{%ZsihV}mVgLg_J,W1>?g=7-ZgӞ4/)YW6x.7Y"UX^j[RyI=fwQ-x p'kcOZL %.;>k&Vc Ǒq gYZ7519cf39fc3e5eede46e119473953fae5fbe0d9f8a4269a42aca70396b3fb4cbd3bc25030d219b39 83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2defe470c1c761c26051c4575d22bd7ceaa21852b8  HOLCF