SQLite format 3@ . BBh77otableisabelle_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 >>? T T ]/]HOLCF:threads=2elapsed=15.556cpu=30.748gc=2.060factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_JA@oܠa.TGycsLv82Gs%0ȥYlS:A[U;XG4}qCa[xav *pٌDjtQ4JMp?l$ \"]'tz L(~HSP-5ד# ! ( յluRFzq}SӤGvB\Xz*LN|A>%2 -+$+>xΥSKぁL$ c@8"ʸl>{z{6;+rz+W&p?;PG.r @&?vG\l.uE07TYv~PP@" \XƝ`wX,̂nOңBW0\fb]ҖݴmK2>U#`xVOlb˕7Y#٢(4_[\'I 5 z\B; -UUNۑD}-1 40QgYZ7zXZִF! =]ŗXiɟ1˦r~KunύNN{ ;W+KN"֙>8.I=jN,jW"8u;XLeASLYztR:\˖﷙4o3n5ie"CIǁ8Y=Wq,TO07_nNDewY1FW59u'(=QүVUNoZТ gVb)?Ɨ;Ys"xznw >^5Ad:ݕBq>Y[+c%46 /ehEhF2 .:rZ{~WБ{8Ui]S^ܙ1]8aVHc?vݬf W5Cr(UL^xWT!bA)2U3u}F1DMfvbHwֲNuGtaz2SdG2 ,gg~MjaGr}#|Fl 4.m/3<ϸmH9pC'Jwﴸ-DC3$ZCWT71tl(1WPs^OSr1LD!8L8AE415kv8GkphcjY`T[x,.XDj>u NLI epj("dBz$m-zopD˅-rN|ujQ߉\$btQ&ںL :4N ݄17R*C1A/5O#VVM&C:ϯ^.ty3\jc{^k`Қx,#x㦾YJa(_88a-$lX`E`/K'IBQ4JCO~(-?_# (?1'PN,19TAmFLO dD ^, _ë& Hhc#< !޾C H\c'/dnSN~uLs}'\vQ\9nIa޳[ @|?ABd b-eN.oK\ߐG( A:"WubxYbepNOe*ؗ nO+{}53Dg70{S- _| ꥵvEvWp$Bvk=CȢʼimVERPDMPHQ}t*1ug _H`&7{~]H͎Ӟl9@RQ`ڦ ywKOJrؕ|tIL(lwk;vL`G[&h ItgYZfcc02cba3604634e10373ce047b1c5634ae89a2d62b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48b4a9ebf2767f749f29e91b2100573c5beb56e6a9  HOLCF