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 ==@G L4 ] Probabilistic_System_Zoo-BNFs:threads=4elapsed=14.889cpu=55.656gc=1.484factor=3.747zXZִF! "{]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܭegcrAq?ǃ/){8$>$T)K+@bayHWB>?;Z,B)*f09H5ϙQ"$Zy2i^\W~ᣞߤ.'"c1F?P>dQ6zSzAmxFeARAHڧ&^_HcM=FZ)2{RMyWMwB|&,wzso$rg nЯ;3$D H[N !?3Si+ 9A dt;Wd)B\y,$0~3DGgYZ7zXZִF! ]]ŗXiɟ1?ߟt;9BP2CZz眭5 zJPc!OZzM=$H81- j#FIvXQB86haEdPm` $y dN S?X.G"kӄ[CN̩̐份a#v:xDʥ9g񈸞!Ow.!c+ Kl~ҠoLӑDdxAi#j/q`l0F6ߎ05Hya)7 FLoq&*k80&P_ N<_@"ڗ d J懱K\RMN=< ]NgYZ7zXZִF! d]ŗXi%BS`23ܯ(E f̫D4WL-OՋ6.4/4B+Vբ-mSQ ОIc(K[ѕ٪6]A"K;"eOX(&z^4ڰnNܨ-fwtTVU4m #kP?4>F4bha^׽Vlݎ^OnjBuıb22Qa=yA8*xH"5s}00QKcS$ic eJzL{ហA=ڭVqln]a+]<V~9*$gTz;Y[VVD_%kd,DoiӈR>b(dǑ?+T\k׮욃¯a_e+K >IK X?UV铜OjY2>h`EgD-ߢج8*'tU5Pǔ7:9^y$)20x+hc[.-OC=ܨ G""הaa ˥ &'XcQsjk|47V?R֧zpzt1]ڔ\?+p7xwj3v%F ]G N$ +mgz&QBVsuѿIXUtGCM\M٠VּJDr y ]dN3¢./ !u.¬uM+v3m  Ƙfi" /w}"LBh2gDꙍl*J9ۭ8y]̂XZ6|-2ѺLŇK-X d8y?M!ɄxufQ2(9"8\OG疅XY)zx/|jnV[҄ݟ B{‰ T4%6 !Y8~`j^(|wе{n:kte9*J嫷LM>aMd(˩:H >B zz{nm')xkB5ՠ*:jDD SRDW$>bn ߽B](lWQ2w6HGu.Ro这l*q1l2#ypě3 ǩa{`e &hrڶpf1o&0% ;ֻroFT\Y3Z+fbl4O{ϼmb8:4H_c\qgB"~yB EX>N%,6d~G8۔@}~0@#Pr6rjMFp7Zh+J'seDED)Dzw3rao |d._K9FV5/j e bX,egYZf44c8e659dbd271629743113416096eb4edd7d79ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 f2aa8062235ab9b94abd77b45dd8ef43dcd424db  G Probabilistic_System_Zoo-BNFs