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 w= Tl ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.433cpu=23.896gc=0.960factor=2.837zXZִF! ]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒlbOltJh`_qF4OD[R:4M/MhyG}0U'u%/"<w &w$;1a4D(TՊb' 0E\Srp'{H "-+u% 9ts'KT֤;R~a޷E| h8cU ϑ0Y7[Hqy_UXl;8ޘ)ӂ4f,>#$r?o㜦+M 74s Dc~nC ,/4vWƕM&'4ȿt fDZgYZ7zXZִF! *Zp]ŗXi%ϩ4 ZW:>Ԙ tjqz9|&VMۺ"h!<^{)ީwE{:M ʠ!5t7xϢ FhtzkLpԣ2%<Dž'S*IYOR bb #b_5Γ#>Gǔe ʼ!eWTԥJ` ;;o I$l?@nrgOCf9[ZRD uLta@CK:Rq'O\IoЃ $_ۧZ#jeRt*v+f GƷ|EɠA֨ԗTϜz41AD`E1jy=p/z06+674\ 5R} HQEXm~C.+MjB šv]2,דGs9 DA}m=$"mI-lw5Hpʎm]2_hm`R\m AS5xc