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  , ,QD|D ]] CCL:threads=2elapsed=5.682cpu=8.088gc=0.572factor=1.427zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^23Uq=֓a co~*GO ")>5nztQl V*Hx7dV~׃lmt; wt(CgŸ'h N߹u8w]V;Y5t㻱k@gYZ7zXZִF! ]ŗXiɟ 1FE`u[PVyH]/Eլ:Gb$-2i֑C*E)%]ڶ;\I͋jOl@$vlςd v2-a {-=h2}p"VA3"ZH0S6Psww6yyA φC|\z0:/'("=fɸqnNK- ?|\9hESD8筱gYZ7zXZִF! ]ŗXi%;Ű;x`,lZYS@9he~'K_ˊP; QqjDdl9|`޺$W7`/(Z5ls!aqjy2uK$<2uO*n:1~ӶG,u /3yIS.\.syd4Adγ]m$9!Cm\9XOIR<8prɆ,ce"G*#(;/g!Z**M z|^ݻf,In+* N/Mw8QQ@3?{3_dYlꕶ$]J8M;rJF9F^Ȝ#ˋLr K4zGFa%}jipcbGOf')gh4e;>bF^ Yh˻3,yǴj=&țm~rQDPV[=laTs577wgYZ6e308463fa6aa5c317965aad706cfa7ad6c8033adaf53072a7b7da07dacaeec0891eaa6642c159c2  CCL