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 O d,D ]/]HOLCF:threads=6elapsed=12.555cpu=40.896gc=2.820factor=3.267zXZִF! l]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֙ W,M2gvmOf%_󿇶\Xd"mRj#HؗQEy_vrW$ sovLC[OEźRIE #-Q3H}φhmb´@Gj_31/#F&_Sn2䶆EֱE6: Tݺy)Zs1/UlqF~ U'+J[D I8Ѓ&O/aCt9WX+ֽçWXPMlm{Et!mߣ^;Wy!0!$N]!`8i~=}R]s(K!',GUP,d+V Oɟ"X7Y׈՞m,EyEtv-+:SgYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]hL2Ě>jˋQ#ÔXcB8@I=DՆDYz-TCa2~s]l6hў5gqu/e=yw,pv[ Ÿ< &Kgg 'R)ϦDE:C^lŪBpd@i s#Ԅ]ص2bb-KuITUeレyp+Ƽi%t<+4 (wXlzlÇ?ow>gYZ7zXZִF! E]ŗXi%GChA76(*9JvvԯZ.R?)]:|!V*[cGo0J}v mm1ݱE-RCI|rbYGB>Rnouv!\lX+[rO!/&_ST/[q\}WX,B(*pBhv(a{@j!?)G1[צ [꺏Z"?"UjBimyhJ&e;~`5u$!6 .·S8~Nh ~sL"kVs E0eyys=җb.V%RNGdIEH9ioIE&@}~Q-NO}(U&.N—tdjlx^_zAUu[^'{~ m\[WxMJO$}O;Oפ PX0Xshp[8B>;M(F +^4!BtmJfqF~04Rєtn=DŽz%D ad_*4*3Qf$?IjkUÓ]JT#u+NϞ.Fg(T%+ ӜVm%R[qL^-C/_>.Mw:jwP)2'g@N*+cްXӮ4uD&C2ȍ'ҙy tn#i2CR[5p)ۖ;-cn0=Ƨy ]z.vH@q\rGUO"F:ZX&a: ?uqbՐo}I)9$+ w (:+ę:n~fy.@ J=7b |Dg( N.#Km ;zLf`M?y<:gM6`E+xPZR^|xhg v$) Fĉ *|YuJE:G U ^++*nzm/:t< pʍ8jN 'n6*79cL8e[ถfc;G~UРC \;NeG@&Y:m%Mnp"nG,MfUSOj>na op):kT7M;dT3mL'9^T:-n #XuƱgYZd92629d30cd93c57528dcad0e25021d74e21a249f3ea5aa2f8d11857b657c5935b7de4dc91bd7467 17fecb4a5a4b0fbde672e754c2951e16217e6fc4c60ee1896425b0586c4298c3fdcd0add09dd5b59  HOLCF