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 0' $l$ ]]HOLCF-Library:threads=2elapsed=15.725cpu=28.708gc=1.056factor=1.837zXZִF! 3L]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFsHƞ!3i)KtA\ڞg#LEC2^S h>L<$b[q+ EMܧ~lv1:4M]J1n$8? yw!B"5X|CA֓fD ձD eq?Gn/<"'Ky/=5NfJ&dՐhW>AzIݍ2[n0 LsPxhܶ*2"-[xOݢkhZZFS=%٘+;mXf<֕/\kAPD xG&Ӻ➹ybаtKu&dG x8t8|V 9Ͷ0 msF_BeQ`S.+C7YrX¹=3+._DQ4Y=ւ؝ك mȍ܄ ǯdLwp,6`#W2V-ApaI ˽'5uʩ9r+hKgYZ7zXZִF! 8o]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0=4%bդP X 5&7<@υP۲jo;0#R뱻Ï]qon6)Wm=AG㤄A 0dVI*w$fz}rX`7P m/`霑e1hg_T!3#Ftymv ( {#\uQ!Wjly%:_r^pc(gZgMS?А-VcS<ſ=.O$j^inz⦑Nbk}Qu%@}J/ zɀJ ogYZ7zXZִF! H]ŗXi%9(Pς&)˙V~79arGH\mI]4\dwF(:_ZV#U{~3րb4'+$is"O df̰1+@5qY\:jt ɔAAe3@13+5]wMĞL yέ9p=4m5vs|Ǡ}]^s}OqpeoFJнY\+L(#^9ñ 55P_npB2G.8m(q/gḶ}*!{]dE[m8̈SS,EwΪK tѺ8ԗo-:Z[ogDee?3.4-Q;W$H,{ ;ڈ<3f 8YʼnJg arcE~Bd[W3]WJ'˭~N8_&Ckf &L/"%Mlh.i4&SYb=+[d)5VOENX^8qRzlqǿhH8h' pYB:){^NK+Xot)v Ip.>5]qb0]X)cD<|ȼD㔢R/{-+DUs(r/z t_-g֊'4dr,+Z0h>A1oJV.TYx?,Im BUI{v5G3bgtq>:]JP`M><VܻQYR4̸oIIhe6y.,{.  UaұFs*mXͼ2`Y&R]=݃LI6Ju&ㄑ*ܟv_!e¥^?VWv.06lzNK;'LiZ 95ZRa̐6\JL_V&ﳒK=ps ݋mDϤwi 4`Fi8+pAW e2dGRݠu,<2:*@HP{ԡPiA1_[N).*@?ˈ&b.M5t5{Lz{'e XbgYZbb0f02a27e2baf519b631308f58b10c2ded68d0c6f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 542a4e488b977119020a5c98f66b8e1daf96e42a0bc87e480080be0969625ba8285c1ded7442e816 ' HOLCF-Library