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  ]]]ZF:threads=6elapsed=10.124cpu=34.552gc=2.160factor=3.417zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwT"nM^QCn1ws'gΉxr ѡ|~E{l!DKCOt-m1 허c&AeRdbh͝MVҍ\fd~ q" Y[dp@hb_/ zq 9u'՘^`Rdi9_/̕Ǵqff[ۡX* Zg7f"ENœȠszU@ ƕzuO]&9Vq=X(9/!f=PGzRB<>IH}.w&ֱgYZ7zXZִF! 1h>]ŗXi%6HزuKZ A1.\%+8 Zʺ!dr uJb*5 ǾXJ"dpf %@Jv9/4smo[a|0 VSmWGQ󝇿wfOs[ʣ[trӘPF}t7UT]} d4*i;Z7 ]ڥM p'M;Yw@T7ebX7;'G'+$7M 1EF5voQL= #TRAꌣIHD)*dN7䏛9!3˝H{$TMKE]Ԝ! "\ut?ìZjTe$nr1*XdHRBPฆKi7 xyVz41;PL5Vmy䠁AOi)eȰ{XCGa23pBu[fjX)o=z V6A@*ckl׾#6s{{@_bgYZ15e96c4df30bf811e7ab8dd1c8fa39e6c5742bc6bf6df4dcb2f17dd318b7b5b00e238c73d2e971208bd858a643ecc5dde1913dd278868369176039a2  ZF