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  >O , w Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=46.701cpu=86.076gc=5.348factor=1.847zXZִF! +]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8DGzmq!: ï03J BUp-~r;AӸ%Oʑh/8ʆe%sq  h x.ͦNv&C|X;K SxqDѻSet1DoL`0J(ZDPxJ*Fsahqys6:QaH~erX^UDLqC=|}Cw,f i?b= BG>lq1+҄Аy{1cW9}CI:}Aql09l;K# nSإ9 I4z1tWe3ZiuzcpTاM, JZb`aR?J|&qq޵`l/o5d+qKmo*Y72C}χ%a I!.R˜242/k蝚c|fNde80Dy{OD[z\$Zr3{*lKRLk|?Mޝ`YeVLG]d s7`JS܅͋]g8aeeA$Y?lԸa*hsԡ1aԎeD"F.< アl*NY+D;&Kx|)'1}#;a^{&oT""tǮ;(Vo8nB-;ˇ#sqwG>3tR= +R7hGCݲpI y0GآJOe>MœxEc4<ϣQ~a# d ..by[EH.I[|^\jI*Q-?-monA4d6GS~._彵: 9Tj/ l\P-dI*5Jþ]̺IZwjW|í}g}pͯ[3us9Uj353l)zG Uځ T„H.#xNڽ Zɔ"UF=7&/#/Y:Ƌnw(ˊvB&)ڙ  W񧻱gYZ $O Probabilistic_System_Zoo-Non_BNFs7zXZִF! c ]ŗXi%6Qgp'6T"Ux-=Nj`|H)l;.e=X|1eFi%ަzqه C='Bcx~`nNdHI+qi 0[lUE)~bJuʯSWF!J5])0Vc0Z5㈖,:){{o*;(Tor` O1ޟEQASYa'DX.>(7wM냮eEJzF hai#.j#CGIڌ\5]Yx9~rlk7+.[aIJya nƞE ;H3K?.8$H Y{+E71)ԭ_Rn~Q7&6zȣϾ6%RwQ_V qWz h7ӼJMEc^7)C0rt*n)0%1;~EG9֩~{]OkU+^լ9TB1v8j>z-։A gK 1\X*UKK퍫%ʺ}Yڅo.O[$R'AJZA'OڜZkٍ9T#E0`2Aq5y塝^"zø4Όog"g Drumq@8E`S 6~_Jfv >-G8Ø?DUH!S7RO&y0Xȫ)^2N&te|@vmpx;̖{~$$ Ba̿|aO| 0Q : l)tu q. ȉЫq\=hgj9 ߣB*=ܕ..1 u)Jc^hb错K2# w=r;0[׶HG?:pIW uIR!l$#}N42aǿRCy]叆z}|1!ARp <bLש`Sbm4 KG!.GUO[#zCqlcihS@Yh[/НX\6N XتP'&"P,VpsFfHQ )曰:9: %Rj0BuK퍓lz;g'Yh6%0f;,a;hr|P.d N ~s|:O` l(3@D>M'ޓio!g,2 RE*,ńuI&@t#3ɩx'_W=Lcnɽu!|ǡ^}'K` ^0ׁΜVi|E, S,) @+X 6Iucl}cR 3Gcihh4:\5w nQ{tm^+>pLmK ʓgF5@axaq5f}A\* }gi{M)E퀿&F`d@P_FvqT-j5Ƭ:)uJeq_InH5=xҙ ^M\i՟ſ?bț T{lOr\M9)$kIv36?E06WګJ7z3,E]{<ENzЀqW&Yirvf< %5P:BD9θ-s6f.fji\㮝xTR)ȗ󰡽ȹ̯E> ꎴ= 8/8v)e[/ixr(s&Kr\][Fx VuJwg}Sk9p0ـNj6[ F₰R/_ `MT'x>t_ӛ'+| Cnp %wv%V>f/Z7V:ɆՋcU,K> tIfA Ii ꪘE>+6-uSĸ),^WAYO`E$LZE0E>Rv?BFyPƞ IWg"7q)[j։ub~oX 8dgE3ć} + .xbڗJ d3L:6JQdy.**Y`<]MzI% ߰Ŏ>Er ( ՘ ;{>s 8B-Hh&pF{LtA3 PS2԰n]0 aB_ɬΦwj;fu9.eY L-(9KØor!-L &GYnMW-6W(e|;mzM eQo>MFXxA 㵠q-_Rs|'k\r#Yj"cN:ϵb| X夓"{U$lſMV! sՎ{!r)+ ܇R,$:Ϧ .Dخ Q_ Iw*jSӕ&P?ƈH`Tt