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 44I dl E ZF-UNITY:threads=6elapsed=5.261cpu=25.492gc=0.836factor=4.857zXZִF! )]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄď- >J )(Cm%bKd[?ԤJx ZFr[rflYFNSY&17>%(5p[R@M+O F϶U";5D٦ȝvLJ hSO\T~y!$ [qSA_D(m_="IK[·Q|q?)C&(g171ķSL0ڃ.og!(RP8Lxl~/J"5Y,ktxr=u7' {/ *%2 e<>XnfW%S1;-TnZep. D#lp.bHQQ|F$ˁ"ww!N6Ii}8?AZsZ jDYtnB֯F,@XR80A_W4osIgYZ7zXZִF! ]ŗXi%6!k vX@/E^$# -H%5twE $/K9sPK'>^].ǸpD+J0*0v=l@!] _In¯LM\d SV6k RlԤ9TǹZ| --P ֋ fګ#S02E|+j6R nDxMwgߒEG%:wJX몇I4>p4W~3kbOj?=>L/ݯ, xğgm so3tN1H\ Ɇ%WB,U䱐16TpXjBh4X}>0.W_jGytMm4J>tYAPQT=ӛ|[`0ׇ`g0#+bdm T>BaXU&%D@O_?VCI'عMZzj_{v@)[єeXDGZ9k-zS-)|9*딗B7ԭ^cñ!ZT)<ֈ-V/ZVγĒ?2RwFbOM%j@G7/iI4 p7~VŽv`8n*(ZYT#@$ÕmhS7߳w