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 + $\ ] HOLCF-IMP:threads=2elapsed=6.724cpu=11.752gc=0.636factor=1.757zXZִF! ;J]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHS{tʍ RqSQRqjlX" ]D5? Y>\xˮJ;ܐ'#0]´ "F{3{t[ޞdP.L*4?$J%6 PJtAlyϠ&63$ `zC3-9'6>Ii Wӂ%T?ѤyuT<Ŋ;~.&{41(~Sێs '\jmoZ @Jj~ $gYZ7zXZִF! ]ŗXiɟ1,plnQBmjs{?DN[*R<33M]+fr 5,{lQt^g|Sod@:_mrDK^V&1fy Jy#6Ep=uʜԿa0@gYZ7zXZִF! /y]ŗXi%;GZ{2zmy`ۦt,߳^vL*JےR C"u`n``(x/gzU"tNRxKj=Ngt)6iczF6ݴc%\p=E**N B܈۵C s]%etFTpk0tJI+n[ / aDeOvĎNޫ˕{* >u-VӸcq\#1d\V OKaffwg(˕>q],Jωjhwe._-h)d2$7}ӽ8?JFEOQZ1>ID' }#*V}}eVʉwYc/A]fWm k-;S(Ӷa HK63M !j<3W~*Pf%r@v)[! ԻxS&~Mм>XTzp%|Yh{!aTp,<%%|Ϧ9Xț*⮀k U߯|~` O1-:MkpNx|<P u=&`BX;s ՍܟCV & !]Ba1 -aEt&i}L&el w!&aVh/u7s5cR~OȴG2'$.pkU`^,/9(Mc`&PgYZc894c97cb1df6496f4975f5e4713ee3410b341c3071f7fa30665cd1599ab0688c2ebc3134f4d53a1 9735cdf9ab52c04e2b30aff2857f0646f946ff29 6a052b9f990c0caabd712f6185a05dbddc8c0074   HOLCF-IMP