SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 3 << m% Residuated_Lattices:threads=2elapsed=29.429cpu=51.968gc=1.652factor=1.777zXZִF! /~]ŗXf1-/6vR[Oxtۻ<8(O-H7;6E(8@a"szM8bzǀzqZev>Ћ|{JD>`{pL' {a|O&nln1sKTMi&KEv_T`->VȬ]1dy}ޠ- 44FÜmVӦJ8_$` XYH<᝝QnU$6̊M䟚7vƳ+Q`O   :c ED'Ρ$ = }b=$/RZ[XƕjS-Ժh]ˆMR(ىDŽ]٬ D{&X> /i|5C9&lwm4An#QL+&^b7Fc0l9-2g5l(2o _Q ԥz$n26ph^&s.v91I;uFW/c}OdLj8DFЏmW6 =m)vQzU/ILN.KNj0"n'TW4z܎^)BQE')eDwTx\,Q[h+_\ kSLAckA-gE3V\}sJዊqLJ[^C' Jt2\]9ӌ~V"*{Q} ,B>k_RYa!8D O!YiF)Xi KJ (\_xm’N g Bqe7pfb  wd1ݸ @Gu@ .MDn&`wO䝰gOw-.'-| Qrj"-ymvg`S|kw?oq^}$ͿI08+ ؊0qF::`^:ǜgYZ7zXZִF! ]ŗXi%6nh ;7;d S~] Lkð1ݮK]DD3Ygމv|SYbMOVuo4y܈\+sO&)S$3WyxK@ R02sk Ѱ؄4iL# y:xVTy-m9uyߔ cBVVFW]uh6N;@PwǙ,}/y` !'Y? һDIځ4(]fG)&H4i@nX75Lyt6gAqs[ӜA ca0 KZ+ @./"-{hrWY J%Is f\l=|ǴGS/ 6 (p?ۯkZ떞vmLhtւcrp] H%hQꝧBfj- I%~@<$Y[#_]Sq+w+鉮ˮ轷D_{R̎ܒ.fs9 N'948U sHf 6'2J^0D?`3NՑ TΒUڰJ|_UKϸ[hM =3Ɯy5\ݖXD#YZpp5sGFlJv_?y_;tjk%!JekĨ"+VWǐ ݦEF]ype蔚0]bDI5Rl&N/rqS ~Yq +