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 4 w Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=45.547cpu=83.824gc=4.972factor=1.847zXZִF! +]ŗXf1-q恈<-¡$j2,xZԵ/,ޘj>:q]ddPLYBVNEi@7L8DEoﱙ%gA" )&4?~^  #tȀQcYwdköwvyG J}\APc˕`ź>#HX!h' 9o,M8^]ǖƺ$2%?IK`@)\|/Tf3j*c؝l@e 8VLֲ$Ehv[" ֔7ս` G~yP!Gw, ͘_ N5% u錔%sMUΝʳ7&xb_-`fqhu^ ]8łS#J]EITk._8nS5 SH3;ZD'j W}UB}!*ܾ܅Q57km>UZ0EK1.Y06?XUCNj^q6S (6 s-eD;ш40PR)}%ϑ ͥ$$'velc+*nwEಠ8Q֞x*RU('\,j &$]6WtlDq@j:q BNp|'Ucq\ *cUZGt"fl?cE-9|h VDz/_;hs "۲&%t^햁;AnO 29?c̬%γ461u9P}0ÐՙNDoNViaO Kp !M` 55EBf=B;p 0k=K$IyvU C'5 5VVv8;MOYz#>tJPNj*Sx>8H-ObMG9G_2 $O Probabilistic_System_Zoo-Non_BNFs#^Ǐau=k:ô/~ VowgYZ7zXZִF! Ԧ ]ŗXi%6cK;łyf( F2Vٖ8յP\9E>r؞Ů.ٗot%-6D?\#Y<{ ;F}u~jy;@S6 p:Z6vf/?ѰAtfO;ͣmwɮgiW3,\ľL+BWky,!~8 b/ /ܡm1^oyIN&Y\k2uԋHuvxoewrhgmQ]>R~GVHҒT#}Bf$&%%G6(|%&umUA3n Lz<*R5]M_0{~a&ƠN4UޣYsfߖ~C3Fz0PBT@Ëݼ\Q.]<2,k>LD5i]櫜 G8S"c|uCV_ {)_4f| &(ށt'q_> :f |h:+4 'K]OVSCɦvRq,(4[13Hn7Ud +kFQHV@O&))5i[1h _oH |(ϫ>]fxK)[[+D H+I<-sdkqƠ}E qVO(y 'HW&WL\4L!w1 1*i;T j А~GI49Lbug筪_񤞣b)U*^%P0؍.yG ㌉(h A˔uT;nTz[7k<ç:#9]q08oZ=Pja!=u۠sӋ| {[qO'%G\9/>#IN OFf斡Ї΋e˨[i69 @ mWs'K~o-)GEpLͧ6&0v9)C4ˑ^ݨ,+ZuA׀cQ[ϊ>tϪ[@&/nm`DcDG#EZqcw_Iċ9AAj ϋ=6Xo{Vr~v䉙/ Z|-OgisK͈ͅ 05l(R9@eJchcAyz#ur{_$Cu ..8 W{CՊNtG*l@-vA#%=/ CщMKuIbZTs GoY`L`eͬP2Nጩ_|̠silC\#U,u݉MFDnI17, -K?Q|t؃2xbgA5KÔl h@d"Ij1zz!!kcE<g6:BI7EyoZBԊ AV-xguMB=!^a%?a~;9Pe'*,?kTTA&ff8<+ca:[9wfK ?>UWr5-cL9k'=}x5t啾r[s&w2T^Hpdf˾1F~"Zz+LA,IY+Y% !aiG~\o9/8%VL@^n2u@ka ݁Nb\