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; dD ]/]HOLCF:threads=6elapsed=12.438cpu=39.988gc=2.784factor=3.227zXZִF! i]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֚dI{[,eORd$IX'wRjuC?d$P9zV؜R'*rD-y+չKYUcdf&ݻt5呣ajD ^QglVjEY9c]|d (mJȀG.u7O>~O+D L`A^q/Ĕ]xM}wX 6k'e7"Um*Idثm?j|i*]Od ʎ; 1 ӒhV԰ [w5Fegbҽ 5"$6tJV_u,]gTIdlzͲi]xY Cxehb vdLmx2ns ͜. "6]. 9񥁐U GE9YwVn):\Mu&Ʒ\xHWfDy˰vj15Qapgr|b'Kc<}GOr//[ԓ\VNˢcOOD0v99gYZ7zXZִF! Y]ŗXiɟ>Ӈɇ9S2]hh'l; d.m'_y{#L+@! s2XL0Nf/iS{)(z(@uJUC(M56t06h<7 XRD/ (SetQ\ /{:Z֪fZf+0S_F>yBǧ[|*`V꒍ynJtXcJ<XUxq%sw9QDk.7/{|(Ay3CS}E~v*kDgnB/L^M:D;NЇ'VOp?W-ñAEu1p[3K9-KƀScfڴk3<"WGnf΢(4p^.OL &^CEj0#2EGQd& |^ׯ,gF5tVj ҪPNe#`Bo43KnaWך%gKYvb);[S (N-&_IV`;gYZ7zXZִF! H:]ŗXi%GزS#0+4@8iwnTh41څ"Nc#GY!d5YܴPDowE;v;WMS`xN? wI)e>"F Eci%ҥseCʊBW&iݢ S8ĸK9<'^tKKY{W*;wvم>\&m!6>6]l$&%> `@ >^[0󱽜G&#Ͻ07X?5JBhݗcaiGM_fabt% zȅ@d|rZˢƾd[aK|Qa3 TcrpaԤ贉ȨӆhՐ;t}Gvp,QhP &o/]NVٴ*́ȻP&T崒4K[uz.K[F6WL&x#Ϯa B&!B֞<1p.ɚ$o{΅ T}_E^2umYOroΕO E`[lxQz,?J1G_ ֻR$/y V o4<22p{5Hi S{I(4Q8Lӣ? +d¸]3*v:.PKOa?awjW‚9f"`UZcv3r8xujl98X j YcH/3h" 5DC8bxNH fT,\u#UNLDǼ7)ZE+^矇h @E@x -~bQp[ G{^%=~4 Entz$yʼ$s+f[Ґ|GJ`j=0R&:J -mWHHOV=ׂ]R)8|+zuD1} 6IcGVR‹ 5@i +±gYZ2cc2706f90fd40ac1cf9ab6e8542a7bfd13e02b3ee6ad39af305f89937086a6f882fd17679ba7ecb e3caa21a0f45527522c83927bef2cff3e9ca2831a9ea03f3ca127167be797e7cffe8ec768a480879  HOLCF