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  d dO 4,l ]S Probabilistic_System_Zoo-Non_BNFs:threads=2elapsed=44.829cpu=84.388gc=4.688factor=1.887zXZִF! )\S]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^W"ߞ vZ$i8Jg㷗JexJӴ}E=^#:e灃];e? N>)K3Ads^M{0Q@m#g0ZjY!/K,3&V@ǜj=#>^~97+LὨDhQsSA26N.$i捐 [[ f^5uoN:`@dۂ#%xY#KaPsj`a)%bYi;~Rpfg@*U 2FcWtv\F_[ǝ~\H W.&s#O{%-5L<5>45\"$D=.mtT4|/ 7푖2$ <-74~Ki3' dol z_zn*ĘHѵˤOR;=63_$+ORpw|~(3ڌn\2I'ȋ27V-yx=/ n+UU  $O Probabilistic_System_Zoo-Non_BNFs  891ЦЛ/桎ЅN<4KBȳn6?)*;n@7vW0[x<~#*ՄA:bqPd=vVqn2I+Cpc#ZoYݺ4ُ $ Rqk]T?s ;ofgZq1%j=(l-\{RVȥK xV35JKcO2ŠVSu5JT%] Ψ-Q+JSp`ziA`nu9=OVR$sծA:ht<@ǨO~޺.*&tªГd"G`*SınQѱx%'ؓa=,,$,^o&+Kyg-ddi E9o;w|Aa@0Kα;.~^Hiߓ}5t/c_ %Y1^R`9K%@߭IS:KBCI&.RAXA)hum↤MwG&a-M`csN]@]Ld$Z+i,r;~6[ۊe$+IVüOT){mw Vka D֡#+>l$8ގ=8ד.CLlvWiJ"`mz_rD$3}3eF4lx35"  q%T& `|E"v Rmpθ>c Z t,I[Xq&ԝ)A$CMC㈊*`*X;`Ko ) g= K>D5'T? {ʽ YaAc\f4sLcr8) gF8ENU˼q6yR0\hOh%b\X8pTR{uzRh.|L|]{BrҤl2UX– CP,FaľcU&&E;JO;xX%l: IuwW+.'5_1(z$]kr?=;,M .3_w Q5M!-ϥ]Rda0>Li"IR5qL!^f]"+SMx-[kqh4A,je*epf+tM E]TG%`G!`A 6ҩ"eB:Ze[ c#qsJZ՗:[ o{pWڤI.tm/>ե~ ɖi7T\#39̙WzvܖCm[&Rfj$U6jߦe`'x0"tTwoX~"@/C ".v0o}0gs)`u5cQ4\ǪUr]{ɐx$eq|fa]oڇݔD|,['Z:9Vɛ}H\|Gfϔc sujxwVrb#+r>ה~˜S|sp-㤩cK0Kw'"ɭQƺ|UT $aAOS~:e| j"UӑIeM:I N}W} ͷWbhvh_ fQ;YCoRPN jqQZg.y;q>ʦ{$ٙMZc:RC,Ш螺V7A;`3{"ceA]jw:⎼T*~֒Cj3ʃ#0RL׈9ZA[M"