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 \ ] ZF-UNITY:threads=6elapsed=5.036cpu=25.836gc=0.872factor=5.137zXZִF! Q?]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb3&;OY";{WC=6cٯӢv+8V>FN4|%8hK^-V<%m~1DO!hKڶs Gmr`'xn@Itmv+7Cg5eqH Ǔz9K:e)p‚EDLnxpSlZWIsUX@fsj`)ҽs<( 6B[TWBr(YImR sei(i]X5kHt!)D$l݁m$m0)A4$|/XdcW~;D[g@>*GҸm=z[g> =ԣ#bӉqmZ vI"wZ?pAX}:z`Oi+ 8a0mok2M8uzxeZaԱgYZ7zXZִF! hh]ŗXiɟ9 i:4V;}A<<ګMP7"a\zuӆ/N(Rl|.6ESZ4g*خc[ܑ\9[qjD&+d[MbUBA] s4gYZ7zXZִF! ]ŗXi%96B}SM3|aaMtX1.ܵK_vSCLtYRg"s[ O/acH v!-/Z $Mmuq0<8%2U}*6Z[R<̱Uq3 #S,}9"O)dbcƚK4s ?2_ q:2$28 }Vܱ* 9"wDQU(I C[pC,+F[d{1ܷE30q'^W2й.;/1?w2/=}Hs4ɻ !eA|e",Wק/;ԁ1h5)%3:d̀9$Dozhq +v Y)$fQ0n@<=+5d 4蕭pBL҂𷣜X4JogYZ7dd2bb9b09d7d152ba0885213649d81d2e3888b9ad9522bc18e2b2a6cf26599b560f2a9ea7596aee 3662ce0455791e6c89f5f9ef0fce92bc76c78fc8 1056c05ac55d4f6f8bf2568e131df6537871c976   ZF-UNITY