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   fO t$ w Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=45.496cpu=84.372gc=4.992factor=1.857zXZִF! +t]ŗXf1-q恈<-¡$j9n0.H. =.;7,T(.(>*[ 6Pow}lX>{5i\cuZCiS J؜%>6ӲUäH B;W)*+/yYp]CtzehI,oH\q]-]{J 8?VzBR" ^u?QtpXOdD¥jo@P1#jk:o0goK)of2Eq4 NExt0kj6xu8]0[_ivIdv'?XC<~]2q Pv޳m1 ct6\B0;Yt@j?:q]3/M ܠ夙}ΙM?鿔}'ֹ) BD{|R $ K"ҭX*eҀGI_:NА@ZvJ/ѶY}sZ2=N3Mpᩞk,8Btc;4KRNNP 2lIs%ِ|PB bPڔdQAEպu)n6X~]ɀoq/s?>G3T3L(f.ѼJWH^ + 9r ;#`cVtM:5+f2%h(Z^wTXwiW}U~c-ý_0lNѺ">i u$) 9rC$w1@Ҁ $O Probabilistic_System_Zoo-Non_BNFsKþ%^X9Լ,v}EQ]hx~jA2] WxgYZ7zXZִF!  ]ŗXi%ASZwuCDsfL;ʶ~#ubX:c1* ªII`NO K\U%HhOփqbx`,RR~5{cu/e!sw B7g(<ڢy:s>3;I L3Ay;eCQ/p 􊶜ͦzsg^[Q?@ M` ZtV-zoȇ{$ZOx @@DMnc/-qnM60']{N:Ec愔=e7m _zt܉ 9؅*#yazQ)yS/`,r^C]Z7)n\XuW{t$j+&N[?d2 0SYn/]y`#Kao4]j0eFڙȬ70Q{,%o- u{ 0U&0+'{׫ׄP;.^Jk2X v.z'07rNF ]Iy'zn!3 >na:Rf %ڱ*a|bz@%s 0m}O!?p*zh<̹ iH+*S_.}1B?NBrf&|x2)Zo;*5hc5ȃ,Rk-X$QǩHɬe(Ԑ ݶ(O~tv<'XT,+MpYhUW_LbhÒp\<1<y?Udqe!/b jDؾ6̡&{B8NX5s0ś"K~EDb}xgz^+uƅED?zIagnQf[)t ?(wrЫ6ݥ#|\K v1[C:p*KBB :zy<1(]e2\ ?^Gnb O.kpn:b⟞Av&㌒&Q L WГ$Ɇobu9J!>o(y)XyYuJCw 3[1M*U X&Z Yڍ4C=ǝtCS- ^,>Q) $M>݂Y:oDGIIXnߠͩ2. E? }GD.̈ .lQ]dt