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 ' Td< ]]HOLCF-Library:threads=2elapsed=15.734cpu=28.944gc=1.352factor=1.847zXZִF! $]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&*lL1(CR)*`4j1WEy7B)4JIamh-,t=f1{|'JAu-?r_z\j5i C2Ox: > Ts4Ƞ:=`sNhmGA$J=qɊ2^1@6hTzS=9XhYl+s}H.I ҕ!NajI{ F둨FoAa){xwtt~ kWGmXVDNn.#(ϧ{u@oƯ;:Xd60SDO2޳;A~gND['wDū<q#{_TG峓/ӿq)0|㫹aM &'d7# xӇuMwd\ͦl!Z{gLeS07BӉȫb F3uq$FO3|p24¡Tv_~%'xS)&3Yqȳs P.k?kT0i+crcjj_.sk.#[ɑxd*<7}g5\jM\K忧gnȮ/?`t])5oSr`Z3wkÖD"SbS(𗴚fBqQi\?Eq/W5~* 0;<ӵ-CN'֫aݝ8Ea%+77MѼs:nYOIHw*i$!sqA1I\SmT%.?9_Sl}r)?T+\ܡe|oFl߮[H-˳3S3u#f8z/.O:f#̉4o;`ʑB? Rmʖm_}K;GÿtgEbpUifmJ1YZTeE>}TFi}Rs tJ lCyf:LmAc?Sp'UGQ6TJYZ6D-q{8p-rԅE>WA6C,b^+ef+8"h/<.Hlc* .w4IّlmZHxuO\{7iqdF|e0 -@fE,*fLttL笌:6*2R=^IIb0]Aƙ}De^-rG J^CZ@ptx_W (6B9%1^˚*} >)âjc2Lq}#b}0ӸΧ.3J h3)c,-(i*VTFt#Ř) $gYZ5f1491380604177bbc875dddd8cc83d1aeab989731bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1 b019279a3daae570320d38a60badc595e098c1d0f50c4bcea1cf6912f4998dceb761b46e20eda88e ' HOLCF-Library