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 oo lT ] ZF-UNITY:threads=6elapsed=5.259cpu=26.164gc=0.860factor=4.987zXZִF!  @]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3T/&JnӨHcZG͵#RtJP @x"Fnw IHWȜk ~B@s 0C&1Fu`~FBơӽkUU#A]e VdrOXKHV fBN#g7492= {F)eyxPoA<[tn6:%le%\r cjiۚ/vFx ?AAbk ݯ6Z%5[K!gQi;ayOZTg^D#5t|*Fۍ 3i,m7<,so(qai|.`x"#DQc<`;Bn}d˰o0jncZGy b7 - Sז .C0khłگ͇ Wɕ/ldMZ(ѮۭL+Nd&%f1=Aitr/c4/lF~dz}Ҡ X^\5\7z "'3?Eh|R?Ã)LaQ_}1OsZJjЍ<72TuÊ?MCҽ*|eGT[\RðtƊ~@^$!TH&5KQbϖ}iy= 7r eBEH (˒>y`{&O T+7Y8ЉgYZ557982b0d06883e5fde081e7b7c96d6abc5e003454cd32f4919d850faca17e94e357093dc43a48d9 f1073a2ca22d6f778211bf039c75ba5e41276e35 ff9c7db4b685020a84331f09d7a158cf3020d676   ZF-UNITY