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 mm $4, ]]HOLCF:threads=6elapsed=12.661cpu=31.828gc=1.912factor=2.517zXZִF! K]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&Hdh6O1жWv,"n?NI>[!S܀IQ7ԊuN}nY B;tL̓Gx`yMBvcݼuFɚ{C>>TтFU,hc!58i _(>ұL mY4EhRYhG@F*tŴM{\; #rsQ܆>k}dXrY^yJd(Q ݻFa >}l,23^63[(ǬHX^vXNh ]ޕfP?dh4`(AUPSMwuJ D',Fɀa6 PiCsvl}\ҟs߀Ǫ/ˠ#vc'v)8!zP Ę>6WW6գNGxc[Yo5=4Z!)̟jMȖtl? gYZ7zXZִF! ]ŗXiɟ>Ӈɇ9S2]eOh0s+0 w*-q3ulD&?q+<͠|k 0Aߎ.i+ո*VIۀnѩ?GD+]i0㌌b~vXr{QvƧG2*U<<D;E3SdU8+ FnZ>VЈn)\"?=R{X@:'O5Ti:+gX@%/ˇ#A>@3]7ru~8$)pdǞl9(7uuzhKwl<&'u.E!()ތOc##geWkP4ڈܢ3Ab+Pw?o{n [W5Ə(LHfoy[KUp'k-;|5HSoYѧxsLw>cC3~S.5~5ZI,+{AbiE#@V>0gYZ7zXZִF! :M]ŗXi%6YFBw (v5ԪQ{viIO?J dmSe-2W,]$3 ُvdq<>2_8M,1Lm qPi:+0o&\5߹c{ F"`HWGx#X~mx%E.C-Es sŰs}`^ &xsqa'`H8f}cpaJLlr Mr:nAf|9D `1 1aEI>{trDZȒ='=gl6/5(I"H3pك#NEEr{U ,U(YfdPDRazO0uI!z{c2y6Ӣq9pv/X\zZ:T(W8햙|mz {`u ZEOV0݃͏̊sc݉r8Gq$ \k|PZn }6,ss~=dФ.yMpk#iN}̆>Zkabt,M^|lD[e-:K2wCP!Ta7Hq@FԄ ڶy?)N6|gw;dJ^+ۇe:sxF1ji:ܔZ'L:D2qi@-A%:c6"\7)ڷVk[8Z8DU3Xk2 z͠k;v}5Du] -ե8 DŽoLnR_o`9rv1XJ4g T=5ƻ fZH'^ 8&#I(J1#Sb;ر"1"%Z(D'ul۱gYZca1620d77b08295234175da2a9ce57faa99cb7cce739dc532a6c80e6f5d762f572346ebeb03f4552 5c6d1467eb3dbc220749df9119f5083087abde6c a222adeaaeeac8054ee14fb02b6697a4291344c2d3a6ec61a2067eb2844de6d42ed2fde68052adff  HOLCF