SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info S) , ?/ HOL-Statespace:threads=2elapsed=19.524cpu=22.568gc=0.812factor=1.167zXZִF! ;]ŗXf1-q恈8\:[Td6(Jx3[YZEeȼE<6]wO ]ȦO:_bwM&~kD~Z$sQ/ W`ɏ${Jw`biOu7`+~n zA쾖SI$PP);MTM5QmAQrzpP63v8[Mk(*-7zb|, \:#隔R){)"nRKt8r;-aFXrFW=7)UjFthz!`LtA$};K80% !i?u{ &lc}rE!S/.+78"$~+au[L߷Yd;-y[$M[ŢTww-r3HL!== j\0@L|5fј]5ⵁ)Q4%ܭzaMgX˷2Tu;NCnn ) HOL-StatespacelόϸzW4 dxAh؝ڻ̋s$?ji"\ڍl}҆iTiT0K$=Vhr)LgYZ7zXZִF! dN]ŗXi%BՌu7y [p&cS!+ya>J:ʘ6Dr/= UƳ5)t{d:(5 |YYp<KODyޑmd)^;̞ځ9td^KR`{͙_nRB!5h : M[8VIȰF|徇#`^(* %0 | "Pl0 ő\v-0Guu\6v5*<)/4Jp,節]PU̍Ҝ>f$8һpt )E%f`&dǿ33zp[F/@XNz%(@ՙk7LD1 >5q{~6Y %a X S54rgʢhϞj2A|L06Q+V

˰V!ejsG6FK&Vx# N 2L10h+{VIMO_JQR[8*.5qYh4h\F'k1/a!vC0f\e* W5niƟ)zNLLB29^{wTHq+u,YL"l yn/ i]~D zJ]V߰oE984g{۳[~iJL("A瓫1-GzRh%l0g^; -ĔGVZ3Wq=PCUY!&_z6}&gu%aД]5-O0T?^mq rxA]ǭ Mh5Дh bq"QQg~`&G|ݓk B>1/_JEK*^ʧ-wgYar|)?O+dK<)@vswAt]~2i *i>rQfVio>W/qr [ α