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 B d< ] ZF-UNITY:threads=6elapsed=5.183cpu=25.732gc=0.900factor=4.967zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb1\pƒ07Ǯ6:,ā/LE:9L7tߧx4j#|p u|j6~d `>?3 k"C+nsErߋ4zI@P.HHtyL=+w6 a6gZ~`` OjY˶ZnJ`NcBxh/zI:` % lVU*T $E?]iP{/׸)Ĉ ?BQWzwv/|pg /2af$ڊ[8 ҄Qsݳ9X]N ,7:ߩp)N[X%(”|@ezkYZϮJ?b Px|B]WŒbK7 6f'6bu3S9)s4s]515e%wNj\ṟ'ijguOvyƟTڶ9G%d[qи. jXvIvGEj:[YLEX(Ćs0g$kgbߐ֦LCƲBLm&x[ 88gYZbc0d28e2d603ef7db8a3825c3cde6b10e24aea3213a4ee91aa67465b8841fa4bd2c33bc4d91f32eb a03bff4b7647b8e546dada65c81fd9b6177d7f5c c96bb9c19032bf06e3d0f44c67855e7e0b0263c2   ZF-UNITY