SQLite format 3@ .  YYQ77Atableisabelle_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, "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 \G ,L s% Probabilistic_System_Zoo-BNFs:threads=2elapsed=57.552cpu=99.032gc=3.968factor=1.727zXZִF! 9H]ŗXf1-q恈wX87cģh7Zxy݇f㸭cV]׈cy޸|Dr%`Ac;{ Ŧ})cbf3VH ēc2nuχ|^߹SHaÓe]>sˏV|~'O||m3`q0ĩV[ "J UC05HDgfP27}w!j:+d9:D/ 09 cozhfI;38;(} Axh!d|Xk6Q1Ɣ6,F|TsƓ] GB:{5 9&]0~Iu]bM.z(ZgAdx0{rz~r,O4#[6"C5YR4ϩbd4ƄXPZBpk@,Rj6x>.+Q7]uy&MqK/[m$hm ;Y@-^ۺ OlpAIfݞE4I-ohphJV9 P9GJ ~H?aLnCEAA'jqK˴(x=/۰yءْR53iWU[G"s~{0'.G+ ڹ#&QfW>D_6>is|RPdٞKdEm|%`w˄bu#ᐵwf5#=HVT%x&d~#e8U4@LU7oA!c$nYNQ0{\d\OE/,OuYY1p}*X(f'^Qʧ4휭|cH}BPZ@O̐S.(v5,9'[Oqf3CgI}D(A])#!?wSbRf -cɅO4 K5_zB8(.ǭPQv?̀pH# ZQUT9 Ys'IYJjcVk 9SP8%X@=(T{c tfsD0|v=.+AxכQʏU Y*Q+; 0$ŕK~վr!A ;+}Xʼ g(ž^.#5A9GUvrV7$J+@^ 4٥eN]K:߯Tc<61@ :sąVVEԹqEh\1[. 1>_XOΒ[t5ť{B<{G83瘸чx]4:'.Tb [Ua7WdD ! T$s'oCkSϟG.J)T-F57 *|Հ vM;DjR=9!Odo+k nyQڠj GnMoXvTϨ; /# WE%dA/,r}OU&-WI^;s<X5%?2q^n DՍ!.F/Y}bK>FD4cw8/w잛 hJ6\/fݜDrjXvdrA1h% AoW nzs!8U{slaqVa.w<$LDZ2gO.V?V;WSl!_udu" ,mZO#-}߄͞Lkf/1a7̪e0O -sr~W "q_]m[|"0Z3'pLoP3_nb,I{M*!`*eɏS/ڳ;6/nȿR[@'SҝʑCb[mCK!z(o\6GZ3ߜ{rj gNٞm RT )F=gݰܛ28DVBD:^;Ep,3EoagjMokC$ώOd9kʔъ5Ȼ7s5FhjؤR8BcSkըbYO9N{gF>WxJoM}+$kHóX$)0$ ݾ.ˌ1e'3`9VYM^(napdr_r~[pܭ+b%tV~.# +0\ٔdrxTG(W+8g'S_V~UئPtM('8V"y Wt9gZ