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  YL ] HOL-TPTP:threads=2elapsed=6.588cpu=7.724gc=0.320factor=1.177zXZִF! ]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZ鷡{zdxw q zEmtlfZ8+V4]WH3v݁RHf {?vUxLL-{Ћ'io +ئN!r=fEqbȔ%rc{?Y$'^[1:؎3]5`4kI`oJ:hy댢,ͱgYZ7zXZִF! ]ŗXi%96@ƒn'i"?6{u"eZM®` 4#64ueLJ OR?b@sc0H1n@4ߥe+'绩}~'&zw=Az% $'2Q09Y5r.wDtg?h@Tl槂 qO@htgqzQnݱ- qBМlK8ϓFJՏ%/R}ґl[0xܔ3=@` ^p˽i ?h'Vyw|ߞusk/qm3h,f+8 P%e P"x%|ԗ:Ӆ @Aubq`(ϝ)J~ut5P3-kie"`t^60&ҐuKيn1zld!H1骛ER9)9}-YHqJ:4-sqWȫ:U=98lo=N~ #"Cިœs72$ z2o"Vl m{Q r譢yd>;8ڀH<eS_H9лEs95pT*CbuKtR< >,AyTgYZ7b4c3f0c7ec890fb2bd61dfe99a0a85b3748b05a3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de d423e696cbd8052390366debb40bea8c4171dfd4   HOL-TPTP