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 Q |t ]/ CryptoBasedCompositionalProperties:threads=2elapsed=12.174cpu=20.012gc=0.712factor=1.647zXZִF! u]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R'VguQYSӆ^8v XCJ6S#IP.${u LHb7{7y ϞW8~PC~(daؓtz'>g@Rh`n-^Wv}az]EλALU/ph ^gPai{!oWOL>9u3:FW_W;sv2N<ީ&($?}Β9CD9 P,SJnf^ M`s ËW}jYvz(jGέ+[d*3:N ?o%=ˡUI)ҕK`8+|!|MKmOK#%C-n"V@*׍ɚ[䝤H/ UDF[(D^ ,,XsY.#2RYĴR3T/(QG>/_I2( .J vg\` Mo( }w}ٟC|,=fVgYZ00f075409bc80b4ac1904760ead1c427ee5768802722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea %Q CryptoBasedCompositionalProperties