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 D,T ]/]HOLCF:threads=6elapsed=11.720cpu=36.944gc=1.816factor=3.157zXZִF! B]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0&u4 LnK` 8<O`{ENd-ni')%t t~4}݊T"N<56Um88wGI+1oШ1[WF:{N H;zo=T,i/ >'1e?6W"` g8py8f祪\:ʔZ8Fcg/Lװȣg^`;˵oB0m+j,=[SGקJg=VoJ!U)Dj;"W(}eמi݋Hsܗ!zZL`Km_IX.[(('F2{$.|ЖzcŠ{}ppvB˷+~tsaг HU. ?3ɬV*Y$Jު֎)D  Λ~%g7ry+T\q g%WQ-OkRDG ,S+hyzDvd>G}g^A*$-@A#3gYZ7zXZִF! P]ŗXiɟ>Ӈɇ9S2]Ud">_mPV46;N,'4X`CO";AA _֑#57iH"|.2uxYAqE7[\C{upkgC;t+cU+ӚRS'Ea3rżi8 ~N9FЬNG.ٷ~zdt$Cfփ"9}xEɳJ.x8sUC&\<$MU-Т E3.=t&2UWő u ?bD`%"ڷjKUEm"-h^WT7+DQhRʽ& !=f9ͽ K]dUMd#d>ر5%58gDm\&)>ąKg##/fdqHLjCZq1R#tM{}Ge\t|bs_hJ [N nZRe8훭J23DJfo_a[zlwD4A}Voϋ'EjedLsV_=<kF2{iU׽a0^FqD!%apڀ#2Z)H3%&Mt 'tzW@WQNۋPs;gľ1~_R۠Ui]B+L5/ɮfٛ/ĶTX#Gq"eMV:}ҭ p FhkA9#!ZEEqX[*!p9kOhlu 5* qcE^w]ux5ty_z1v*h8B5kVCw|k2v#Hk|X~H[EL(D_H^ua*n&u@9,<ǐ@:"2ݠ$Տ#$ Eaz9aX22=ߌD+ekFMJ,C?| : PH\=×yjYz/-;z+%..АL4K1%XU4D{O#Ԗ0UrlMp pJ]"ϳ7L<{1fHtuZ65x~QV'XUd/<;,;= ՛&#kk&,x -2YF)z j&.hNg>.y󍂳 U?X)-oB \eK\|h5AAWNI}"Z ~$V,r_y|Y]zxq#\6vK0^uOE809"S-yl vd P䪛6΁a9VGXEio `^igArPl&8szVN1/τcbMxإ } jT{gYZ8d005b7b238dbe065464054cb0c68eaaa59e662e1f65d912f4f4034c3d90f597604aaec582095f4a 1eeb4b0d9c6d446062edef5701a7b107d157602cf3951406b3a5d2da20350977eb306e3dbf007f84  HOLCF