SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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.800cpu=39.936gc=2.400factor=3.127zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAUI0DfuLWWQA`ޖ)#Sb'Ӗ # yZ*JN%N D*NG¶D @o=vE ]<QDN}v{vs|!mr.L,M# k*_ *V(l!e29! r{0pvs͓<%x%F ^]t:oC,\v4ES} Lɒ&p;dfIRU d=PV2:EO43TъUgoƞHɌ7EpWW _S2unۛCa[{[苵L]8r[Nxp DIHzLK(Ź=^N&~0U)P,E,5xI{KG#?]loW?a?ΜEռFyVIDʶ+(%8`kw)L{cVڧBlNF cq6ޗ֖(b5dU-SІqcDaD_˪{p_q5/0c +mr4 hQ('ϼJwn@J&gYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]tR3:d+$Y4t8nRC44?׵a۲~uQ32{- v9] yN1([7&x~oUCv=^S$_)-Y;v1l#pV,GZV&74, -eqQX=mζvQ(r Ͼ`۞F¢ػXG#V4W@qRJ)-!=!ײ|UTZm}M {';GF i}dhS#@)VR4[WT3BjVI-Z Z)5  {/0嚐h]rnxs1F Dd|8UuOa/:lO4dHG_ N]ԶsK)WDzfakW|w2o[J1A=U|3⌔1OV9M>4]֝KXk28 6U J*ٟgYZ7zXZִF! >]ŗXi%@^~*=l%N4%S})8jýegTAıg^7˜8bD-K>hGKZ/0S9$MݑaZ!8mF n /uݤO*!2y,5h<9rm ;gyjǵ{)cXxӻlV ̨ i@0BUp@r"1? +KV/U,|KXjxR:V$|rukD B˛d 15?n/蓆 mG DGa1g쿘L@Hӄo .!ķ"(fs(Y5tgY)(܌Ժ+N *Xn\ Q*HkT0`<Ң좬ڤH$i* Ԩ[}Y%%QD"a ּq U-^JV4ʦ|_03dSc{$slE)oNR6 <մ5vNK3|ѶHR 5A5И|lp c.fu*pt%~<5 m`)Z /H!M۽JFQ u5s_*- 0&<2CϺv8yDK/,#1ゖaGenűL͙ `s@VZ{t19da DK-̖;*`͙4,@'^-"Eˀ L;iDѬ؉9jWN "mjVA!)jbn,rgHc#97'M-gvh!Q_[BTq UO:\ϡ >E*%  cwZ]NDO 0@6#T]ˆ| 5laS8}9_ ,s r)eڍ;]CRl[iyژ>@RN}p >j`T|$OCM'm2o*u4$bq5tp22^]VǦ'6ŒT° }ޮ!gYZf7ce99f2baacae106717beb5a3cdbd2ebea37feedb692ddae81c9b00ee09c2ccbd0bf253d1829313 a61ae159d682d08a86748e488b5545fc9c92026dff8fe8a13855dd2a89b8228620a00b6e9a7bc0a1  HOLCF