SQLite format 3@ .  hhB77#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  K7 l  HOL-Word-SMT_Examples:threads=6elapsed=55.490cpu=74.448gc=0.904factor=1.347zXZִF!  ([Fg`_- _ E==*"f`IjTF{n辨U:HYVV4}TCJE]$,`x4Gj\Mm P _0㶛)"׮!`He69tա:w`WM{ w) slnLtb5 1DaA5#=JW>D@ huI_|L{@Ć 42:yJs5c90;C,?M̉1-O,x1UiF!{W{kW`t q7Ü` tqpn/ؤ.nr `&e%p\[С|`W:J.&wT <׌2wJG"Ezj{Fةp)\g' o9zrE$~e$ykߔEk-NIYc3l^u3k?BS. x 沱gYZ7zXZִF!  ]ŗXi%q1UhV`L ZєvS*Z3K D- {6LaSs".mX%w@ˑDXW zY-yE)ecK!}9[ WpZMs&£=f,2.j\td7^_+Ƈ(Hj4|! m^u u84*$|^Q7.XEs&klJB5kRjBh57eZl}!8JtŢ,d}Ӊ`~,0SFu7YŝNNm(`&f K!9S ԝ? ^$ozlM AH(K.zPb:9.ruҭBgW]?T [[j+䲧UqV_p5ᒹR|>YҊ ήYz/GQ'Q' 5+iJK \^\DG%|}ϗwAK8_{OW al-[h pNd"l:wgH@]$O(+N6 TQd:ݬHJr걺0l$\ qqҞj*<;ABQ ,xAFlzRb̢N% &eJ.9Q +o*ApiϾWgNr%1yiwAkMd9ZDn.G=b QrNͱ4:Sj KV}xHJ6Cܒϸp xAq L-rg2H3hl|r=⃬ao2k!TvU5XM*ѿŽx86^2+WШ<nJCҕqֵHzF87X9- \3/-x&lc`19-5I-y9|!pl%GU*HTzZ{,{0%uk/HDhT%F/d|^W =fOK s#eJXx+xֻCN ^) 2"%[h7д!9}g_4nq|2a*&W8'<$mYN~uWsHu\nES&nu.%=g\oӐ{;"D ,ꢸ;k;&/ۻpWα0^M+cqgΫK.3}'S׊2>vOi(;9\.p=|uJ2d VCPbxщsT% 3=>1ÎvP7"Bt١G+BSշ\ovC~&C`2yqXjYn" 8-Yr$Bd2PKhAlͯ3ѱδ6IV |o|R;|oJOΏ! $=SϵLĒi߀H)jiQDxY:`"g vBV^ںvՅ9LX*;Db<$~jH ]@HqTf  !sI VP{І[\s*$59%]ȏAa}u㎰][%b)B̜lݯF @A?n֌&P+*HYZMtkjdߵ˽UT3\-#enqMQb3ҝ:/7R/O;(CtrQ^nu8E|AkHW(Z\n