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  &DLD ]/ ZF-IMP:threads=2elapsed=1.044cpu=1.216gc=0.000factor=1.167zXZִF! \]ŗXf1-W^E=J8,kGBxZ~>$b>IwYYQ h} K4[rQt+xgYZ7zXZִF! `]ŗXiɟ9)Sy6\Y.*5lf.#,%ĜN&Rb\:C҇zxRq֣*x G%|yc\agYZ7zXZִF! ]ŗXi%9(PπY26F~O55b0Kwܠ _hZwl!23x ȊSf/W7I#UPb,IuIa ^?E_\]CjPYź͢GPD _5.Ͱqy47ڀ>ُ0 %i[EfvӬ<} vW)*pl˖EFtTEOE{xfT?.N]ڟr("(բzKOFb 7A)9bWlG BvOH6lɚ X3;|B;/$[(K:rSfH1XfBьW2MKw5 qr]ycwV@=Edi^kGFFlPDjV\zk Nk= 9 ݿy慎aszdqjVίB&Ydم1^#9DK ~igYZff7d5c46f4ba3fdcf6e127434d14fa704719545f6f2ea6ab0b5842682397ebbb65f675c6588578c2 915c18da4627e5cbbd551a676cee91f990f935cd   ZF-IMP