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<*Kĕ,@o7om V"49=.~܍w{ q>ˀr3  eX\Q~Ӟ⅃ }5E-;'rDzxU;*6WVGצ%1mDuq\fs]vY0.tCG< \{% NeCf_D>Jk3w`+pN]+Xri~u˸IDv>q`#NP8-%\9mM$iҜKGQ 0֮'垮o O,|'&0Lfnsr~@ZVD$gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx,Q3h[0= SRA)f 0hV */ a^ _bnȪX-TqEYHQq?K"tIYBhW Gё+#mߌb7Lv\Я0+h;$v\:ף|lg Y߱w5 >e0|&gYZ7zXZִF! h]ŗXi%ύIxiNI 2P {M{I\֥6ug5 O5wlj4؁uG+w 8鞃bز _rxiS3{vF4. @SBn|&rN<V?P;ux]srgld?՞ΩԵ9a2DjyS躴V'@%`fUzVǖ= m&ōjalLF\Bqt°ɧݻog;&y8tjZJvh{+5)]~%݋/9OR2lŧ+;x :?_C>@joA{?J mӵyhC`mL֯VHd`LRO rmXwI+7?XDmW'ZkU%spȍj ݿ5zPL5X5z03fE@V\MzulJ5Gro8FROroC"CpINL ˇkߊSCmc%;FOu?מr-Uhk^s.ܔ ̅TO E\yp >21Y w<xMgn c%VԵϣ*}wt*CB:`iV2#-ϱy(*DȆ٤QK sӝȣ_`7 ȳSvdq23v7QdnGS5f$z r ~e2&R!`OD34F˲5T;skׅUTAPzg'tN}@}HPlwL(C<Wv}AU kU KC<0>=c g~pg4`N"2 ś^ /3i YԁنY(2 ;6fqskB]=5SPM'TMBWk|#̈oo- nSz"g@%ׯbsI3HsӌDV$/k