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   <$ ]S HOL-UNITY:threads=6elapsed=18.245cpu=84.876gc=4.300factor=4.657zXZִF! -U]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yy `"Sr?xZi8Ŗ5`{jdAb 7fJ78NZ=mNn0nU4WfcJбt9N5_ ,?d6 ͊8JL\CIK#Uy!g/x܃Ze(?ؚXАf_yYgl9B_ '~M%ط=Q$=8XyZݰ7Zr6-5ZTdw5BA5Z'F-`:^X0s41H >h—c!tx]C= JW[^5TVJ+-?l[2f ,X87oaV'UD3]e";jC<62g7Ø` s*ַdWlׄB(.} I@#~ɗ0ݽK?'c1" _pF+K= KQd<2mXLAB?os~*&.mKJɤ`S QYi y%M!Q0]/bͥz'ziPwv86m1_ {0TyTV<^q R;"Ysm'Ҟ4!aOy8ns.;fԏ1TOңGV h CCP!~S|O1naߍz_NǙAbYOcub区]>uffTEH%m8mb.Y:dŇ+F%@hP+ VDs<:,հ7^ CRenW\5f/䧋V}HCNY!yH*o<.OG@_fLdin=[/R-)WLt_`mW5_!]4p%4wd'kW ,Z P۠Esbx7KXzὬJ@n";yb =Jf`X E7IDJ7\iqB, 5>m *SߨJt*'iF*ze&ㅩT_VR-n[|; P֫G2[,Ki_1j^@c*2e}'F:sv- qpK,%R܆ݪM5b`':RBK*Wq>x=^?dKCz 64hj6 <KbapZ<!}Gҭvd4-ᏌfBM Rp߾2Ib8{*$1s%9>j *ɒaLxWИF4PtOh KI†e:9wc s*u[88<0;XUEo3 TF _ݦ튊U?޹w'ގ5CpG3k9U99 At k}oĄ5̛^l?[!z1M@\+G!!Eq