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  "Ld ]/ ZF-IMP:threads=2elapsed=0.944cpu=1.116gc=0.000factor=1.187zXZִF! O::file=~~/src/ZF/IMP/Equiv.thyoffset=1824name=applyelapsed=0.3423،*>$WhPp}YZ7zXZִF! `]ŗXiɟ9)Sy6\Y.KkVJ T:8T(ʆ|/NS$-?'g}zq ;fu|yc\agYZ7zXZִF! ]ŗXi%;$8pmۀ9t0Cظ3 ˤ2y7ln;`/L[YC+Q4#Xmg[7I31<Sp=7R!p9P:RA֧Eډ1~c_-9[E *0F㜷'v3٘ަ[VJܠp20Q \o{57"M\Z\8> 䦐KRU9|4\k̒lo#}ӊ^[*,V~xͩ$֠ ZG ;tոTUP 2XB &y< <sƤE@m[F;.**ǽě[6~Ae}9jg2z˓ː\XCcIڈŪUOXA@ܒVvu+t A[qz]&Y8{,jG{ZӦ͕ )4/ngYZ28d5a6cf7fc807185e5bdd43540ee4d84e9ec0a6db6f05ad5884c3d4b639d9f4b203792d5968e568 a576462fd42ab1a9ba9f77843dd376627ab012e6   ZF-IMP