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 E1 lLl ] HOL-Metis_Examples:threads=2elapsed=36.090cpu=55.136gc=3.064factor=1.537zXZִF! Y"-]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+Gˣm\5_4 Ɋ@ gu/ڙsL &G9n59& d+G{};?)xB=f\`9?p$8-"S @NK1\Pʲ,n4^ɷ)Ʋ{!)&u.|##Xov^,jGj>6ƕ%<ؐàXkqC2dP/đCG=Tay{F22=yx*nOIy !dqav};"k3^ ٟZϦE׋bԇ  ,GJ%82f㾟mU]_ G. p9!A/ܔ lbυPMA)"1ҦS l i V ;\٥6p-FO/gd1۬j/VJCባ^Z~H3^6Nbm]x[^|9>ڛ|Dy$ޗ& 4г=,`<;v Lz{荝~KC qE0笉E !Dƿxy}KXg/ZOȌ-d_sQLD8$p{(;r7ʐNqE#I=N?d^$78_~>~a t]gYZ7zXZִF!  ]ŗXiɟ1$Cܨ }X 6^vWn p^k8hqͮ$2 SCq^۹'U+4‡ TM/t]:TׇI+@!Ve^m%3ԍFU߹#:ND=JѫgYZ7zXZִF! p]ŗXi%;查~S&!3tV2eMT fc e0bR$|qh/-NbsOA#Hڨ :z%5"jv.gk-Sx1!xKO"hpʯIpe_}^gřߓ_hRY~ie"vI9`lQ3'L˰.Fߪn2hQߛ-LNZa79O2.WAjGݡ"K!  p;=7eJ;wXRҿyD }c$qWU#orEd#u9/ vSߦ|;c_鋰RȆ3Lqڝ>'loAq6}}HRXTE7:3se fJ9ۄ`A>5։5[)8H4(]ỨX/( {$NzZ$FAN}cEi=D8֠\_#y8Y@U EbTg.Ǿ2P?z1~eiFȳ{fR=B;:r x[~^/kyMUe4sm,&|!,#5՟xšd+~Q9dƍןKQWiaimL iR3m(`-iP0S;,3gZɔƥ]q8 2A]#U`]ye F{2d%HI^S<呡|` <Ǯ}S6gTi$d,VOL|9@P~!1q9ؒK\!֍&ڤY#'9|! رD Nc< s[T&̶N Ks#N9oOeON>oH#~O!'>m{_f VW2WYC%ޣs<( U 3?8 :]0-UNq ]7?=w.JƱ l%'pr] U_ǫKRlA~]C{ j[8@!x̀Vp_3}vV{I%/U(lhvc4PP-ҷ*{[s;Ma`@ 3K'h52omRѽ3K6^!yXQEM~& BWrgYZ7a498bc7a0c6f0192ada93eece71ff2babdd4909db6f05ad5884c3d4b639d9f4b203792d5968e568 8f4009a03cb4dc8972f8428957511cea3c656c5b a57efa7649a3294a1a9152df50ebf74ad2bf698c