SQLite format 3@ . BBh77otableisabelle_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  , ,IO $ ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=44.866cpu=82.868gc=4.876factor=1.857zXZִF! 'C]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N/?U!hK)2ϿD[m!)0wr[p2fZ:v. ' _׽ߓعBQD`&u45r7OP$kpbCn.æD '7;~uHJu#[J;|ld (;??~`zCD0sdpV?;]}Md: PghHdGO⡠鯉s<ˊ| iB^+PcBa^Qy+Ku:"ji!͏\>BTZ~7SMI}MێtX ~8G[W2a0ZHJ!3y_"{h6.!)]笂.H.uɷԉ'l2r_נ8, 3 E(K5KE[Q)><$A&R~HL^`$>A4 ㄂՘M2a9f4w$0N]8B=2e)ͣQ*Y $O Probabilistic_System_Zoo-Non_BNFsT$G( tfg{`&l_̑ KB#\Ja8O4Z!qX~&kׂͣ.dvc[ps|Pl_%1oWnT#gMPbxM+0G!p_Gb9֓IOgo򆌧**;=jߊyڢ5w+ĥbdmyd- ~Қ9-+gi+=]0Ydz97(m1[[P~.̼*ݡ̈́JZ7U3O/Kur![p SP9p(=G@],2GQʐ]sbfnz~F蒬tk9|MPRW24 1=^E}SlGNr l-^Ѝ8й,θ#7k݃\(liHn3v-5ر܇i~ۭt6Jِdq})Zӕ_fbCdUgCsɴၯZ _X4'&X9OKEgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT:: jE3pjbS^dd\TWԅnP$HH0}&@e$,#5}53BA/v"39nl{r=s<",KW.l7WLH> 418/1Ʈ:-al3mg4l,< c^}3ۂqcT0vKy-q/B%oXk-O?wћ 651;*Z}=lȚ-`NGL'& ?er2/])l!=ѹfZbq٫mxc!WpW3 v ȋux9jNaT$0  }7b,F-_R>Nmd8MұgYZ7zXZִF! ' ]ŗXi%ru ~H_9-Q7:^bw^ߡ2YF@y>]3ƕsSJ|5ƹ*<_:8jtG̋?ֵ5tC3(`YRA`)u&0tѷ.Qz̦:E+l1%WgS8/uY "fl# zu@%V%B 55pj i鹛e5 P\yp-oz;1/[Q\įZ)<#/)88$Q h WT31%vC\f@z'WOD%dk>p񢨖|Eix͂c:T!swKJޔQK6&uU4Gų_|iX< Mv\XCA#(Sx0䄳,vE=CNh=;M<_q:modlAֶa<-F`{hU֏| ]c{/e{gFGx#3gzA~XLXϨκGmJV;ukjI%!#`J\$6SȜWA2e9-{-Y`LwZ,.Zcvv3n伷Uk'Kl7, ajB34x0H yap)^=ocuV0C&mDaJ^nU5v$ \͐.`VOn.a\^"K eMfb.ʜW;^>_/We7Cmx/p)a3^{r!oc;(z=.:aQL.9x۹D cre $D`W:voYHw?ggO ,I@ $٧vzڕ1 qMȳ07XJK̷NM(3+Ғ/v>~z"ڀf4Ft;‰빅K\2Uw>`,<8 7{"2C_J\F3\æ*ߜ3黾bkLK1@L-[&BC@X&lIl?!c_1 {%oϙ܌FܨO–?*%^f̛f5qWfEh?'V 7ʩuixnq6Iȡ m{̩)|͢~MuWQ|R)ґ63fw?rz&L G& Qs) XQ(cF+2 B {̶xb>Ȗ_zih؈(8!>4ʼnsa"MZhfDi >#Hɋϐ'ݒRsI\˛U8ل2u{6:|=>о˯3 DI5š ?Ԑ$8[mNg鞨lL*ŢN63{YLdn_'[42~: \Y3>%_nyz'h9:^ma`iX웑"~NSt~b 㟸  0%њ|}P{Vw!k9 4o(!`'/uI~yף&MO$E-S+KQ.^48ߒ!6_BGL%&*d}J@h|ENxXkŗNB)d"A{mYDz CݎvP*`+>SoF!B:cc(O4%آCZ>՘[KpAenIx,B#9|vb5+ mٹqx%)Bw, ŵ'CƍAFx_&4lmhB/Tg?:q`f9TH'ODto΀k2\L:+Rx Dh{@_Kfk x,.xp|P*/~k>0y6{"`RwrV=B;y>K`t*CRDJ&E[REPK$@òVfoO!`X 18l<(}#_oQſh,jNte W;],K?N)/fpN2ѷ)˼j>1f,Ɵi[uB^G'{9ւNB$sOax aBHYRi׿ڦ~lPast!1w {ArJsIqlTiHQl,ny)]i_զS Ĝ@D҆7zuܚeԻ q8Zm,;