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/ Verified-Prover:threads=2elapsed=8.589cpu=12.660gc=0.332factor=1.477zXZִF! I ]ŗXf1-/6vR[w?q2F)4|*[X\>!~ X.h_ .GoT ʗyնڪQ8Ɲte7k`{64żf-*E,v m |/z1bЂ jU iYK`))YT>Lc*ˡ2XZ~gV[k_B`d:Pح-*KBy,oFE6{ 5|w)řw_mP XBr hEQ7'%3>QZAدZlE(N/̇F&.K(:<ғwTCS:plLtE@fo|Őo)cƻL{?"mI]fxw!в㍸%=1 =nj'KZ5ƙ `wR\G }= zHt} ?D{cO"o0je^"v2BB\'x)޴}4d5qQ4R7zϿ.7O'3ޮO]n\Na=9N]]?TYKtVDuئEA)Pz)H f5:Ho<+Eߞ$ɦ !b Ez+՘^okS鮀0qJqN!CCc":@_P|ŚҕNtN>3R*[¡ůSY f0RZfGm |&32~ O€JqTS =gYZ7zXZִF! 3|]ŗXi%SOgvptl%&c1e%;;}&N֞Qah ׼jfZwDZ*Xr>~)Y'B wۧ1kWh6s!ømKH9qf!Go o*bĬ"6!G1Hv P6'vTGx L(>FKI<+T$$V}38Ne2M}.ئ 3N2cG> 6&ekUU4b=r-\ 1tl{UdebuΧKczC*QgW>}6TGB%zzMN2j)fRE1dm<(Oa?)PM:,INFO% ƒ_j)eH"u 63kU=a8Ԟ1Bb_ 8 W)U oC0^ ˷qityLXfo|WD/ S':A@z@$'o3'G2ܔ,$˰W} ڷ 9YzX}%DaOAWmH/< CggYZ3e502dae8165fe3b7725713f0f4a35c31a9a4cd6 892bbe0189a23a2e6fd96fbc3ed4a7929b9205fb cfb4fd7da59a6788f5773633c4ad67b7c70e5d57 dbb51d4c6470972f27a73e1864c54a1b39ba98a080f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4