SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  C T4 c]]ZF:threads=6elapsed=9.754cpu=34.028gc=2.092factor=3.497zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(FRtYמے~>7W[ ۖs 5׳"OpISR 6;P܁~M9mLٟKN /[DbaM &lLUi$`w˙E5 z3fb9?6J:P-HQb뎽lO@4OGM0Q)Q߭!=2<Rd@bIwUB a "foT25ٴFBҸ_l"pd'DclgYZ7zXZִF! / Q]ŗXi%6x4opIPf-sNFnZuz$Z&KAyhkL+=ZWbOIC1Ln_|oe0̷ .i\I4kHF56Pj!= o]X@T4ʵ`@Qt&NWO|Gt?{sf`aKi&!.!6fuhB-Dӗ6ׅG۝  ZF[rٿئ٧AvuSNj1F q !Vd4N%B)SJI(:|pLص:;ΠC 5eA"(o_>k6RIgyVȚRcr-F$7?}"{.m`5E1`DjNtނBBr2z!ur"VH o9͹;vS'a 6T g2't6ιHV$\ +3-EA~9l2@DV&O 3V`!b-5\Czz V?ܶj+DT+YZu3u7?'aV Cs/gw3_$+S Cl߫W`HǬ"-Ǖ_i*Cz߫+M2#7P1n'f}ݐ@p7$<կin䕋fc7ͶA,` ʪAH?Gλh