SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  `= T4t ]S Probabilistic_System_Zoo:threads=2elapsed=49.353cpu=80.988gc=3.776factor=1.647zXZִF! ' ]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")qسdX.er6Yc#H-$e-mW>c|r)HO,bci5˂0.vC;[wu:QFr ڙ]Ǎ5<˟"%mLPiHe DQbǗn>yu! Fŭ;`[:QO p"#ŷp|q?.!/h ZIg⹆5oԢp)nr.X$`7Hv,=DCD!@cB v [жGNB5h)`qPڨ,dT|Twsdt3%E:UR%qL$ däsvD֩j颽 !TԂu$ I|=Y+q "dߒ'iʠ< HeBQy3߃5Z YPN)6^B oP9TNJjj5OE%|el )D_qJ@$Z`Ol#UgD[t Z16yX: c},5CZAe vG4%$$(L= = Probabilistic_System_Zoo  k5K`}`=@cR}\$'_3g֑(pum|VGĈ Άm/s$kNn^2 e);/I=0p|_֕$Qd ,HF DeHHV"@d{|\k7nOxeXGa`yoTLox@?u%/^%/P\= !J1wg:3ȪX:FGN>ѱgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~mAx{UU5<לDYy‡}yt0"o T8t}M4cj F*7Mϱ62hEll,~RlR$~xBJM Cc|o ~gEPƱ<@".30ZP^404- VP(N"Sٛ lkB\FT{t?uR=T 9D_'ϖQK/o'gli 7ġ6t,e^m22|GQZ|"wHg_oxK&S>5-C4 h෤j@oBqD-/Qm;Vt?[;{*z8^bsJ1SZb dඨTea($aHhD/9ߌO8qj}D}&ڽD)=]_ן < vs9â9=o W%YyJv6+٥n.@tc4UIr|h4=upR,XÐ!po+N(Y2RZ N J33EU=!,)3m0iz|l3:bǑcS*ta-eh8J#h#T nɳ]𞮼Jr%hSc* M)t*yv H1YHc*3NG?tUf'F+-&fQßLĘ} zu+^.+h%m0e^¯҄x + |+J4ɚ([}ᡉ0mܬM>l-+Beroņ߻i6F;#i8[YV_>lS2[b׀}垞!oct.Mg\$;s/84RԜNQc8AO/-I8/> Nb"*ۏa8]Y @ց:dzO`9,^ } aQ&eskbA߯wmUB7J)&I^)L£R=|».I8q^|9mj:jRxImݼZMlhjSD{l8WJ2"t`M,rҷ XԻfؾ/{0K19KOsO|&x dpR] zb:`r,ClOn!Mk'T=>NlzH7״jIJ3O4pxxyj_h 1x}+E;ML-ບ(~qu ^dtʒ{% lqx1k~q"ItU{@Iaݻ 3贿a12YF5yϲ}:HEѠ7r9>قtZR'CVdC!`>FMUT<TU-q.ҽABoϒ43$e/ɩ)߅=|zi,Khi=2@G=欫A1J^2CxWmO=3n ȇ=3@E UQ=IM̏υvi&w|=;;wИ- KE^Qf_\HS:=r¶d= N%1 $qBK4yu1(vA~]δm2)H輠 JOPhĴv!vU75e+5mA;Wxc0#Ύv.#!*{h._zzb=|4Ӆ6_Ap,e'H(*%/!gjٹs6*.훎xWhnCDY,5/ NQDLn..߮ ue9}"K!)ǜ5; =!?)coK{{IW.G]y6 Z&m J8fP%[}lsf+G|; H0[ƱwF;?Y߾cGȸhO96}_ "ˀ~uX9{wleì|ÉN~E@&%˥zV&~Ǜ}=0TgZ'fR)50}IŎj/eNuC J9?2<`BI 2Zt!YT/(F#udlxYa_l ՠok}0Cc=ʌ^=/{b(@ S}]iU0>[YlR77%"N͑s#BB,9{NpɐC@c/Θ#ޛ+Z(\x~K+ CBZ= 7],*ȸ!f} #v(*CL) >홖5q(5rAj?#HМ[pZyix疘sY\9VTew37.N4g1GXTw7}Z ŨLO4dl+|`