SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  H= d,< ]S Probabilistic_System_Zoo:threads=4elapsed=34.579cpu=85.900gc=3.112factor=2.487zXZִF! (`+]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܳi߸DUp5 hQh<j_<P;xRrxԌO%Cc9qIt`UNլhgoUlqN>Fu7lȔ P*?~;T߷-%!x-BS-5eBUmާix)EHdsC%Sq.w3G")TzsP?WVP[^D9)N~ ntzv3I DaR'ڃ5«j'bp?__]$9nkGdp = Probabilistic_System_Zoo  cL aa~|H^3} [9V{m.c i)7`Ȍe<؛u`G֝?b?8j$5ffJhd9z19jzUR>3g 6k2k5H.F& q7(bgu5`D֎f[Yu60l U u!<I_U 9 o[mS3d&R aa5-Md|)7xE{)@25| A.qiQwS@gp>!!\6Ea~"Ht.^wSXbRxPgYZ7zXZִF! ]ŗXiɟ1?ߟt;9BP2CZz眭5 zYΗRdZxEѼa$r|7`2FiW;;WgX]LfD;2?tܤN*O!Wh^L,$C<:<6gd/}mpMK.GTdLZ{7F7`E[-g8tԔUj+~. ȃgXCJ},I-8M_-^ 8iHC%.VHt4pL^vG'N$X+vѲd6py*&qJme ) tDJK㩞l [n h2'{BޮjGb qk3l}*L:tFrՌ:0X064땻\M7<eh)HEԵ@5T9%9T>|pmXv7Td #oJ&u=TOpNq |4M8H̓2( Tƅtu {z/r&f.\\Gie >vRںPE` Rnf抮O j8ek3͠dqJOZop8ŕ1pۂ} F gOBzTRi 1U[ 8#r!ǯerD1΂pVŦNjOXMBIK<' GN0=u.u EHP/MWjQEvFIYن˵!n_c^S\b i59ϓ!* zuޙGIo!e $3Y!~>ot~WuEiJ8+R5y)iQ!afs S1B,ҹԘhE3j'kK'Sb#]˅JmV7Pz{j?OmZвxHN eA+T %QpƟZBi*M%`B35(gTWHvSS53iǽ%F *Gǀ$bUOSdOvSfz .I"VQHaWxJ)dPY+0V@jJi%4UAk[u˃QmP9V2҂F-n#F~2Z?)4|\dnܨ]kOⴵ^}&2#Ӧi#t|΢cʩw&ƿ -XO#6c{WD7L z;*6CLўZbd<q~_(<[܉k#Q0]Ht?.}8dl樆.6g񞐰FX6LUu;fccd6F^+.,=L;t i+_aXX}oWmRAW\E]VO8C OI]65V 0+n #j.3pX=%¯\Q|-SЩIΧ|H|ߩ Qp#h0mdckd-n_Sqg ru࿗,4=9sM/ri@N Z!P)PN/pJ *NtR>s[6УgArH'@fW/~A ֈ/}O\^?i}{\̬N F*3n4pgw@/w Ą //E|lh#&xY>4g4ǐm9!Z[l'1/SUEB{fPwi]FF"!.1=Qva '\[1]O54W H䡲Le62Ǎ>q0r Wwy iF&;.  9"NA1=:O[(`d6 Q$]Xkd'ŠLO9YA6Ma\kT /D6< ߙx&_ Rk)Ocq䄜:IY_43޴Ϟ#*g==iDANͮbqL@Cǀ7Mv*hc6Y* 7)W x3=0enA. 1 "skmx\b!PٍPz}ƾj投7I{ 5TUUOo B9V h1' ѭgYZc8489fb2838469ae9cfd8b70ef6a9baada59c223ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db 1a050f03797f0adf3821f52f013ba9dc0cd56252