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 g |,\ ]/]HOLCF:threads=6elapsed=12.725cpu=40.584gc=2.500factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVBGn/1gEɕɚd%~??[SR@ M=IƲ];7)B_)S ;9%EowXZHvZQ+~0qH,T)?z13O!6@oD6cgY}i/BpmaKݵ܍mg,H lSLni:'3S׽!;gYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]k:Q z%J3IpoAV3#ޘy.ݿ NT_:Wk=iBm,Q$LWT erj>^,nj(UAtx+%?fI#ȵ8)|.SHfB}`?fVXh j2.<.6eDGMlJ&:{97KfE@esct%OiwaVHKvyYRlB1)i_A B1Cq}! K]ޫ6]R2<ЪF0M.XHޥ0#\Qxieɬ!$݊"2,:qZiIHfGpYFqf{d=9nd,!/pftbs3]r7c|4vK!gst0uR/hךc-AG@߫!YnsF3=u୰[o=*HfQ=`YXBsu1+gYZ7zXZִF! H&]ŗXi%LHFº=]Oؚg" ]?̰>wSogtM OdCjy&"с*5mjÎVTuS5t>.#17EϼOy+@.ȸPNb/D XՌvm`o7gJ|qUeB^&׈1?]=30 ߖR2̎))~q[ 嬜 Srͯpc|r.z# 8wv c(2uV彣I%D2.}"\}Xd⑏"cԘ2Ӛ5ccʜX@>Nw'@կQ3(QHp1n7SzXL/>bPF9lf+Er~JJ3[`~ `l] A9–OחxGE\䄹Уؙn_%I=fNZ+'5(i$&N#coxxqnRHbW8pDצωw>1ٵ1=OV b'e#>Mv׈FO>eJ]3hb$֕m#~I@):zCs.1q>|N҈,|8eUI>'f@XP#gdCVJTөLr)I z0f(A3ehH1wo1y<WIxE)$E*Y2#WsgB+(fy&A26n!A#,?s^Z| GQ冓tNB.ٝ rL$u<6yHP@* ,,FC` IB) l<c&6=lSv 9Nb1%!oްtvܚ.ܲKZBmW\g*ħ'gKY]u(rvUBUqX dT&as2!Vo[׀ЌϤp󰎵 z]S " C1ZJC+b?+zfj.ڹǽ<4՞ NW"W~w6}$زyE)3j8Yhȍ PMp|.N+.IFK/ "Et&t=R&7^SP<:3b"DWLպNMGb澞,܁/ZȝUyH?΋Y>0ǫP?Οw/vƦr%ֳvB> w\?jatkB5-L T7gYZd3212e4406f6d4e80a19f2592f8391bb1f734ec3069c9ce34574a9d180b675661212e7d3c60137e9 6c6d87ef68588b18c4100f1ded4e7f9d6b048679a34630d08ee9d35fc0c01f95104593a068085a9c  HOLCF