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 g << ] ZF-UNITY:threads=2elapsed=18.814cpu=33.956gc=1.480factor=1.807zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb,Y%$660<_?}^MtwLj&am2ؐ ` ieJ}/&Cdhj\<,>JT|m7NU$U/IͷDk`DكnKN+:x^\%Cn䠸6,Q_5pov:z{--0IPu,B3 != Y7r& =8,#Yb(ݷ28l/L!{M/O1fk系X+l&|;G7ʈ%sǹڴߝ xֿ=ጌj[>(HѧУ ڌfg! JK8YdzeB ϥ PR :ȱL/wey݋ !bR!z!'m)U MQ{i|t.H _W\sNG&aYucIzY=#Wx\JŶ3IBSh !MA {t7esUE'h# ϱ  J G "nonm=<4&u)^źa*ZdžNfĩ~nu[*ΒN)gYZ7zXZִF! hV]ŗXiɟ9 i:4'9Zfw4 _.9"c+*+f`[ϼZ tl=)DLP̸-]gsAնw/QE Brz>YR)2znV= QCbOH Z`]\y 3F %?Gqޒ@Է}GKC^SMi'"k {fЮ\R4 i˧jWbp/ݽ_ٰ?1E.d.Z t0Ў\ ˴/GgYZ7zXZִF! W]ŗXi%96BTiҖ'yF !V󬺺C>1b%z>Ps`kC!23C|t^(`cSMT@lܯﰽC ԋ(];ot#ڲ/] iiݳ;\R]ز3ݖ0f g $mlK>Ȣ:-3IrҐB.=d%Ly|muL~8-N00P*t~Tnh4_-XFb hS3H2KgE[#Ojn9B{T&XCΛR= L-_R9ݝB@~vcA!֔#8 oqG%1N!̘vyLs)@dST=պ#

>97PK#TY_/NDGajC;>@ͽp+@7ALb(DBP7ahn"~sbg@W*=bR/4ŲUCm! )oDfj'c-luc%V!q]e8A&9 mWm 5cQ%!l_u::DØW]{ۻ@ǒǣkYHz:wV(iy~163rme8shc3utJm$rgEoB܌(E_D)t`od!2VU7MO 8Ca4ޙͼ7 h=  ˙mFDkF~Jc(p>fPo|:Xō6ڍ4Ѣ{b|Cs* blgYZ397ee3eaf418d0da728655e42212870b4eb0d4fc31bf4bac648c51f49408130bf9489829be3fa993 cc76f8cd61bd2ccd679a3a19f19d8ab2a0e029c4 c79947ff7d362fcc6c8b7441ed8ca21afe3a04da   ZF-UNITY