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 `= $L ]S Probabilistic_System_Zoo:threads=4elapsed=41.493cpu=96.396gc=4.056factor=2.327zXZִF! & ]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sb\>ZcI*TMM| PEmEr HA+" `14h FU =>K/d&[ '؈F-Ri c  GMl%*TY8 19-M(}dnU9-N ,;7+T1w UY9IWf4Ӡ%jyU5kǛvw? ۢR;E]rz = Probabilistic_System_Zoo  ̎{:q zwJdhb/qvh;vsP?y1+N}#ţ,Q 92ڽ(~ 4:#ot-xh,׆z'b#)". {<үSZ])_G8Ns.2 3iTϗk-,K(p͏_: J CQ!]J/=YM )`Swzt$T/yEw0 ӌ{2wKAXzo!D þIV.`+Bpe y&INjyh{)}*~ׯKȗpexkpY?c_ʝ0MI{A\Ft'@8MUyݿQ-Lj;^l-$e=m̨@ C_iљL_BѾަljy̹oY\$y2DbZ<6KȽTHvX&4iN)aˬZ7&%gɬe3s'QI:* uv[n8;c`dpj `k ,'"jh2dS2ԓw,%˺M ߁ /[8矵>)_}#wbWSY3v +*76DMt{gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT:/{p,-[ ,t!uemwCfI 16y]%aϚ|ʞp/{QH+[uRfߢ&lE;a,j9SazLYZz0ҲD~{qft)I|zuݾf@+6Mi qts~CZȈ\ku^Jή&vH=\[/s6P"p7mؠ/zuCvytר%>,oez􃱹d~x)P̿Jٰn{ ` "VJcjgMW +{qgYZ7zXZִF! U =]ŗXi%B4e e(BJ?8<O=|}a;,_g\;W)WDGɖZ]Z{*=53n*y6_͢K\ЄMjP5Nm0.Vnb}1/rU #k谕oPzHdXw#avXβߌ£AJ5DKQ6}s>G`>[?hl3K_'DF`ĭoGZGYd>S@Ix(Dr eYomN6q؂¾>0PoOucAR@][֩z82*M@s|+*W!J z7;Za=k _{y^<tp <% K4-A vw!v98\n]8H&I {b1=$[Y .ÃRzY:jNK⍪5aEL;֘{=BIut1 O_oj!t` $*HOH"mf-q2 }AWIl#!0-wCmJٖ?Eܬ*V t>bԪ a I/ڠ[yydQoEI]W]Wz[{xnj+<{gptJ)/9kkBzҾSjF6g\)LdfLV  H}1[ɥ^M06'7i%KD<@I%*˥CdZ/g)/JuN@MJi2PpmF߸٫ƭڹs"\Z$m Tl>m97i+*P=FY ?!Ǧ4)5+ZwLXà^y@zU-8{ߺ(yShXBgIr.g ~ژQO\c )qMjCѕi ":je[aLHx4{ i}[mSF?-""tgYO7 %Tc}xT}&x*&LƏOv|&i>PYqCXFL+7Fn@L.m݉L;HzUjl\2ζ&#%'1cܪvTZg oUff6 Y 8ݵQTjMd@IsIH@j'jEbݒ@tśS`}8-Q\^+ȵ fLtTͮUYҠ="N($]?_`}ddqEDG%"+89WCS<`|}\Zq?4PY?{ȴ->Ʋ݋H`t €~0p 6~+~R "Rқrd@w~} nVYBALQ:{ JϘqA|~? F)Thj  dqA,-XKԠǟđ R0#97h;ldf-1q X"v`0D⍆ό"TA:P.,]XskBOg i$}ﺲ7BKU?5[K1l!tRDngk ŠؤwW<و2ꀱ54O>lg`f3Ysra\FUpٯ!keq_%cԚO> NA,J?TW]bӇ4R 9Z*!AY=?$4^H4g1*JN cڒʨ*rNTӺ_6zW}k JL'ޞPom!l;f];p }bTw19j9" Msٙ)CT ?0^O@I,0T?X;%r: ֮mgYZ2c0d877f8351d2225212bf8ff48e25d4af339afd9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8 ca9a2d259ef46c754fa4025383c1d433633e8e28