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 dd D  ] IOA:threads=6elapsed=7.255cpu=29.132gc=1.116factor=4.027zXZִF! ?]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K C gޟ 㞳Hj0Vb# W7N}Z5%~goԷ8CdxMDb{;L!*F_c>/sEiז0X#&FFLE쒛y,7%CX3djDh'H)磮]"?5:wA yBY;FD8--c ]vg&ZF-ƍOkV*yc咚D%{*ccO՜Y^y4l k><_;KG#y#M91؃tғQ6T|UKL4Xp51:,(4ʍ_ )MdFҍ{C6ʫ/K9<[CڧWC֑qLU gYZ7zXZִF! `]ŗXiɟdN'LvH۹$QOdoIu:=*~VZU$sT$_kod?hc3z,Kܾ} ,\Spi?PRI \c9FX:| C#\p[Q0N^ єhalQ9j.?p"%s*9кu4PwYǗ@NkN%Wx+FAll_E 74fܦg0 gYZ7zXZִF! %]ŗXi%9(P־`}l3Ch¼AcE_R+H |_vL; r&m^ibϨ3Yj3v%We1s,O! RΎ<=ۊu<$OU\jF`7. 3K:cUe~YUɓ .lTN%GfN艱@h )`y&I,tdR7;4vj!Q?%m#)?\A$DOb>J 1(i+3dWJyԏ躰9-5<żZԗdZ$4$:8p[_m+#CwQُN%COPLsz >OpI >dtז3!v!(VbAwkAB 'QGtO!z'N_'Ē&Rlp+wʱZ1^׶Rn(33*!'\}kw/yЀ+AjgM(`Lu jMHS@,fDt?Fut3JY@͉GwC!\`jgs]|Ox;,ec,bn5-ÉƤX\bP(K4,H ,s&X3}WGTAjz$;ax )nDI(Ϥ~9"F1V,cկ=ot(](9VƐ0i6KX4zgYZ39b87ddab8ea074cd9ac467130b280abd9fb68395bc7b8609748a10319dc3892a3dee59fdc4e228c 8d4321ea3a63542efcc2eeabd02c563b82b91bad 6a2336e5cf5956bf64a1dbfca0fc98ada2923bd3  IOA