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 vv7 _ +рl { ]hsf_|8cĘPEC=;MyӍu.N"{wgPμBj>-3)xK r %6z&,IA s$w7F~@;6+l«S LJy6gYZ7zXZִF! f]ŗXiɟ饜يmTnGY&luSclE[m SC:sC(p$i( A7>=O3bpFGb9?1dB?<͢TX|Ř}%*9r? tn \R"(bhfר Ilב`hvɘDZlgYZ7zXZִF! 1Dc]ŗXi%9#qwIMxK^YAmF&dix(aaߩh\e@Bze_ՒN'ܾ틗yN?l^33>XX/c!fcNS1dE`b݅e(h\R:L?$~ԙO V:cqo?]l[!O;fa^{Lr +_[^ m@W4[ HH^x[A ]{ٞ?Xj$QEDNgFʭڝ!B4O>~ ^OyjKDˎybˋgYZbf944d339d9937fe3f57c63b1dc724b9beb8f3098ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 7 First_Welfare_Theorem