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  OtD ]S Probabilistic_System_Zoo-Non_BNFs:threads=4elapsed=36.655cpu=113.640gc=4.136factor=3.107zXZִF! 8t]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^iCX,RaerT._*'XL(dqi/V׌K'ּ/%r^}kՙ'5Cͪ3s5 UgH]:G=[3+_S8ɯp5{T2[CDzMv{mh2oo0n[:<jٰPk9NM:13cy!ZooD'qTOTr{]1ifS aPNvVH*Ȳt%Q58d$[~ 2MHH AڜĭAE\g>z^wƝ $d{z5KTZˆZڢu rn|NO}$ @&/˖D'p '9бɯׅSݶ.M}.4=zq!_9Tm[%Y5m쐖ӯPkQ e, P@7h)|BΊ 8F ߞ̼-RqߵU=F\+Nht%ˊY0^Ub>WSBC_ J:"0r >q]I7XU+r+m_P7HdEՑ z2t'hx,Pil(\: .ʆIa q $O Probabilistic_System_Zoo-Non_BNFs  >gYZ7zXZִF! ]ŗXiɟ1?ߟt;9BP2CZz眭5 zJPc{ )IcN9JɌ xm#Lq8Ռ.l eܟ3𛽂a:O(\MDH,T8tӏ1q0kG՝PmJGX#5ҍJ e5prnˬ+7`50WB5$u_O|*,'dĻfiW.!Gѥ w9nh:<_iGqxG!qZ9Š7%L9j1+8f#wU i@A˺C5غfuMs8`8 [LLb=m Sԗ:|( bYBX7\D@~ψY@F q?Q a>QgYZ7zXZִF! s ]ŗXi%BmTeyAW'FH9xϷ0McMHU7u89^o|t"\g:ڂh2`t^?_K^,eUXa-ˈ#1).B&eHlg3"3TMAZy !)?y+g?#D@i)5޵ w,QD5U9 :k6#3Ĵl:-~L><:ɫ3"n$~BeD0d>+?>jyT'ʡ̶5q2ć:Uh a5|΁1ϋlo#^;#B,;7D0_E{x pI 3CkԍɟlzT!`"Mt1IeLztW!Bfr^lX)3xFf4ȍSg=Gfpȏu 6\{jwfCiw<9~ ]=) N%3 pRƶm_ 7JGf^|m#N):'^Jʞ# G􃴚YG?sj{hCRIGľ, v )BJT%p8Ѐ®HN'l(xB;vH0n ZƤiDfQB5-i# H@Ds^aD ɂ$x;W:c;0WHF'h46/RLNWlҊ*~^׮E4Pƌotϧ++O 72fO# jꍝ%3ʧ.uy!}iQ9ku8|ДDZM',>ur:&OmQ2Xڑ ,hb`q~tŸbDsIL+[QqАi1R~ݱCS4iIEzSͦe>i%JB"s=+6˔zk~)0iiWd`Z$`LᄌN/d]7߬,.n~z"6 ^iSUl7[E\ ݴY,n/Qۏ GJ:pO '.]|.v4H$ K,6i|?.'?P{M|T\ܭQU6$JU,ի&0N萭dU/~g7Vd>C8T]?ݲ@S9$:иaiZFh`GKuf"WjFԫAFxj[ǞcIJ|v'uTtI,7GͰsA`6 4SyZ%s z:+V %jSv>ߒ( !&I.qx쾺 ҃N'ފ߮@ڛ !c[pnC{O.Q@*&5d/AI٠P:XوS+XgÀAbQ6#]y4nyeTl_3zƐ  yFz#kІRDdYr_z2)Sھ5S|CjzT9mދtS~OTjObHq&acGW3BoYpEt#S B2SG_/ }p ⌫*&' x+U{ۼ|@83 ݅}y@UCm2 QXg@^& ea9}QɺagvչtʐWhS|2K6xg RKo+W\?ژG%9;,武Ï4`U{|!8#? yÈ#4 HN!6LN