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   n T ]/ ZF-AC:threads=2elapsed=6.827cpu=11.468gc=0.660factor=1.687zXZִF!  #]ŗXf1-W'S)b-LWtƺ}*5$ws[2\D4:%c>.@h  UP. 9Eڔ[0iU¨R^{IovEfmJ]'Je8:5gfm ^ьo?Qr󌪌GʌEf~: $Tz2!>9FT\bt'LF?Roⴛ7 @tGpfȽɒK_y~9Сw6؋ez+Ს DgYZ7zXZִF! ]ŗXiɟ98c tؠL\[ 5"]iB"vQ8#\g2_spUs;)X;Zۤ!XMжzyHO侾}ƒWH?p,68w§i^} ΆUO:(#Ld2݃+ 16mQq8Y;{e~|2S-F(@Bzk QvͰlx\Zp \BF@GO gYZ7zXZִF! 1>?]ŗXi%;gVj'Vlf=8rX؋q)?M <ܣ1(B94%UlL|?Cݗ솣zfVz %gMum`GCKXИb]X֨CQMrsχNog_E^⹟T/&ib.&F7u*MaV)je5JtL*;H9SB0[(QrҤj3 ɔȃiaXO?u/@ c͆~Pg ØUNP6M<ۥ"!н)^C[(tC-Buhvaҝ CΩ>.? 48j'0FAׯ–=+<ƀuȲYc0l-3[&ߏYp ,N?ẛ36F4,ǮGrKϜu< n$k(08M /xS6zn3O!$DٱsPA|䮮+`_bEU~eO?Nl)CElxS˫P0dGtz;FDD1X. zOB% rF┳DZ4c!l4 {C|dr6yQ(&l>ϛY 4)M9aV($@£6zdLcB)r'GH\s,К\@TU?3_ư~̻42iCPk/rMԑ BH>?Wm25>SIZyWb:gYZ008654c24f1f0a2f25c41eb27cc6982305597079848658d617e1d31408814b70d854f0969b4d3dd4 fbd58dce709825e9bfe69a48407d491d27a953c4  ZF-AC