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 II( 4 c/ ZF-ex:threads=2elapsed=12.306cpu=17.564gc=0.836factor=1.437zXZִF! .]ŗXf1-W(T02FkPX9݇ kS>\•"ѐ=9= B' x*@#a?841WX/WM*%(w3Z)Z#Zh &!\o$&1^A:eN77dgtn v/ `_Jdn̏t&fׅcԲ$c@ψ-2b!׍L RjmbڴqALt@Ќ6Xj<6wۮv$%ߴGatmu -,e娝4nGS -zv .B~}ij&_[N`E*;_e]ܡ-+> =j>|<ԒFgR HBl6}_a%[a!vם'/WA`@s# lο|#H?4aq6wU=\ȋ ƿLu^qtDҚ06-M &;3*~͢Zt9bzc>hyy5WVGSi3ˇ6^ |Wv<}e9DuJh^FEU#?>IU 1|(9Øf"+BM㙳%Oo!Z6u7ZB@|z9}0-`c-  ZF-exW2uh{'u1e(Q]?z *3䘸S%%rn`Ϛ\C hR5voODKĻVSɹ0v0FH!!.]H}n6# NJٲГ?Iڿ j Ap气JMAR<%B~F"tvj>pAPg!q#;ߌdE~?CTItvhQO`b a|Aa}6X5U7f.L-zB_zY֗,|/]Ey.AG[,%̺,[_t!@QTbgoR-~‚ܶ>g%#,э&ݵ@7<=RokU=׈P N5F/|Dó%. 4GZclsҤRs nR/=ȴ $lP(H ٓq,UO ۉ!6,{Z}a@:ޝ)kݸDB꫕UeO%i9Y=)k\/4 -eh"@5)@_:ϳXAPѮު%{0d'q_^7w"@UYҚcioFW9fi^XB]<<͕39佣B,v-Xc*00e@;e,UXE-Fx-$PZhT  ^Li9QJ K`:8 ו\^:ިuXv#Ll2%FgMc04&['v}H v&򬹖=zъJys (`>A+h]`PB[bk#|](@ZW8KCt'?t9k$~TWrFض55@=#e!V@HX"REX꺅*+khpF/:t/REC6 2j