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  , ,IO ,$l ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=45.767cpu=85.532gc=4.628factor=1.877zXZִF! (M]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S_ ,xe:[Ulz[s@d'^ JPfQv5Rcyq"7j.^j zf(n0or> cOa!*~aXrf4?a LjPD)t~fJדp&Y~7 JO1~V6~ )yL*^ Zu~dv/wlzvw4}(OM0p:>ez+RXàisR(9Bjlb&DGqY/.vR\KMwO*EC@pC14g/nvwwE b?4=@5S飥 a5҅n̋ubL=5aWZ)\UTg6ǭ1$qB 7I6Qg/NG cHq9J dTus;$󟺣Tmnbp~hJگ#6z5bf\ o^,pMvnyFNc DZ'8~&㒚nPsu`qW{pŒ"e6K z'QRgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~t$W_Tӳuv9rf/[jwpU4Ut1O9<6A2$&2{*_jqS;. T?OOΣ@bOeGgua@\C1xK faE3`K? 8q[~S>XB901U&(U1RQt9q] qBqdniX>jXdA 7['P]LqcKx M!߃ )f0uzv(3ᐖ, |G>YP;OJUai J[H94$@zTeyK *TS0os.RL~[6 SY|KcV]Td#(UBVt/*@^ngYZ7zXZִF!  ]ŗXi%>go02N@266Ƕ%kPZ4TA`IaLG:9fdjA dN|PKgE!7UG2-tXѵ;E'zN Г$ljT`F?qu<Om-e5뾎Mj젃¶?|(6 62Hm.i=x}`aD&eGa WũƦtChԍhoqU l Z_ՂRNFd l1ܶ`˵ nUߌ4\P@Gm%c^WYF+Qw;4қzš}`f=au]ռSZ`ܬjoH؋V XʌZMozrPt"oR<xjI%f-@UҋZtXD a ^c UMF4pЗ%uPIhIG'P KiqO<ƶڜ< .ea 9D̹Rv2CEnNY}6 MVZ`1LM2ZK[#>ou28sr{Ü[|RI/_cc* v >B x1-:pkvfk/T^ߩ:铙( b{ 9*ᅉqH|zɌ/l"Sn6ac~'"74(?ī=P>&c+ X.֣e`0;gѽܯQ&v=SPvVO4*8 Wp`7.l.[S^:i z5えC"`u@[Qڏk2ũPRht;xuG A8" )p&}G TX}CYXnOq)3&ʹ@PZZ6 bIxs` \B4W@X&#c:[;LEDsW@B"WiE"">ӳN(dZ%c] yrsM 6tɲ;8Cx4ϫJn>u`X^B-WL)Yv,65ra.3l*A~yep!VBCߺNTq;OI?eg*vr019e;MA讟W UECp} o,:wɡLIkJtYHпso̪B ў]q+V<5L3_XtVʛtJ