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  9 9<G $D ] Probabilistic_System_Zoo-BNFs:threads=2elapsed=52.770cpu=91.172gc=3.512factor=1.737zXZִF! 1h]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V-pd>r2giFQ{K+LyGHaZ*v5HA΀<_JR _Y s4.g\ZN<Pv1!hjPNX2܃ù$$S̈%gǡ^q (aak]ǻSďˬc9BPo^GE.:* ԙ;m?bZa&uiTtgDk}t6̀U$ k@͏4!dؑ*0L,0rIJz.2 q'myq~sJ=7S{10y!Ӕ(TvQ.J{Ӗ oPRJ&lkb@QY'V-;ٯ5tR%J%-aʮn {1So<ڒ± C 0KtRa%>y5 ] He;Ys~e9پ# F)np[!_G^4v!.g=5\kK"3up%j{{k{p rrJ^f0WEHg]mǔN\P@^4X(y,6Cq~N?y#:xx䀫Eq:;"ﮠ{LRxa8u1# -3k)XbH%-o$1o]2⯮ܫo Dc^DlsR?ֵN^5믹F猰 =K &S["bTl| Uuue'Ȣ|Jm?%"t/]Y>^>Ի%yz 꽧_#I+n{"rI/eZP,!䎚Q`.óod b>vԱgYZ7zXZִF! ]ŗXiɟ1˦r90Fn  G Probabilistic_System_Zoo-BNFs  0''ztZguT~l nX[S|Ù1W^ 1Hdo˸d`᡹Dfpx=W LeNɐMp ftzd;wrړLA/IC }6)ya-2 j \NM=f ?XIW1fq{-=+N;H)]RHC$*pI62RŶmq\#Aqt\ . |5 bΐl P6zM7l5w!%X/?ƘP9 Ƹه\ͪ* ^6P>m9u+M',ۇ@겲 ;+Ȁ(#`ȸ:gYZ7zXZִF! = \]ŗXi%>gz0@($q66!ـ>߱ D T_&C!gLu0,2/ :3_Ӑhm_<Hɂk]m M3?[-F?4qCmAsDCNOR Mwj|Fޓ cBG9xué؛+pHӡ8y_MWִ#ppnU[av1w딾eQKqK:j70{ѷi]ŎИ5H'9FV ?. IR|GBU뢩,OιXIfEFYS >xdK1ZUIKzK% 7v_O-㾁@4= `U|Q hSBV)?kk=Ɩ˟pXU7Ŕ1ϲ_] nȎOJ`Zn邾n\[%}W󬚝nh@ C2j@-i!e0"9V 'Z|Z{R0t ; ^ ;Xv5+69~=fѽ .<'~&K:J$9Jzn'W6^9Ԅm&~ĴyQB&ӹҢϙ to9pQXmOscH? و9(Є`^l}*0yUAR{AA9r$]\ >>Ğ |J;"MrE V($ky>'wk1'rfe]xE tU ~[@kT\$c t7( d'6f$Ufv*OBeS{A_N*@k{5$E.VP"z.ڻD0S!\դ%:-G4=;4`[tVhK-$ lֆ"tz Bw䘌:UTAtŅ$|ל8F5" A\F_Wq/~d+)1d_Pć;2i.LHDO5]w$A&q4鐇s mUp)OT҈r$^gt$z6"QyP3|G`8M>lrLiBLAkfm7!:Aj|1uΓ= [J:ygOrz ;q =LN -U>4*Im|M8=*,QAgPF^:|w /ǣ˾{NݗHJE7u:؟k|~0c%Zd+̍x 7(^&  )T߮>ullj4rks+1C#7]oA\&c%`oh2HאjK[/'|=t|/D2rއhri6AR<;XU,D~ i&[;3 3nwtYMKVk,Jٳ~[<.^ERi)<~`|3ʱBSLd?'bՇ Bj] 50Fd4`T[6 *)S$s=Mc4/NNA]lGapewE?MUMppO,)=jL} w$x~$)lo$ u_HOoG!lRl*[QUHO^j~C4`%Ȕ=0 w>H-iXtadeQ}\77 Y6]L`ݹ͚n4ܛ1>S eVHMΪyŘo|Gt"n}r=spqG5Oo\v^Nd>u6 ,sgYZ3f95dcac5097646eefaa5f695357dbb850681b800779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77