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  y=$t ]S Probabilistic_System_Zoo:threads=4elapsed=30.714cpu=110.420gc=5.112factor=3.607zXZִF! 5K]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^\)-IQN`rXphv=)YӜ_ v~W/Eԧs]trKJudž߭Yfƛz 3zt #2\HyX^钕7JHnxJl+8+"m1{/CS |CP.ۅ0xHb`aWQvGm {+ҙҊ[! t@X#w`ft!\U|:m(J*Je4[WN;u<5wfkڳ.:gCuoEp4`c^ӚKi!jY[>ޢ(&GݜiyL!" v)6C,m3sٿ.R =ͶzpŦ<cd`Z7< K-C- |qv؎a#yqLWh OuW,kCidQ8'wVލ9yo5a՝zqD %7Pv9'ۼ<}D|wn`ZT(]@(=?2+i}@BlB'D ܳxPvAhr|<3ݛQxF0(=ug0Pn=eK猇(2ﻰ0`Wja>>H umqjEMi9 !LTag%> ?0M&]sP! c̸$=ѽRS8|"]ԃy:&dzx㇬4|/ߖ. .e݁99])p0^W-׎FV(dXMw)6]C̲qN1IY/?rVS $W@3y 'YH8?4\^\XݙxR.ڑ(GZ(>8`Xlס  7+GXHfkkTE10ve];<19׏N = Probabilistic_System_Zoo  xog(EF`GK*-9bP(9<61tELHd'LU∤6.$魬WSH֫*ɢ;7J,G vbEپ1k+ )H'Y!uXQ[! +!* rAqnoP􊽓>{;+>4҃N;3_6(iܳJ'yj~Կ h!Nj gYZ7zXZִF!  ]ŗXi%GmwXǷnpJT&al`Z THpYM/FO]+m7j*qq/4ĸ)[iτ%}DWW43IC[cZ;mf@DM#ҏ(؏mpJjT諕֚ShFĽօ!%6&]&oᛆ/v5.!lP2-- 1p̹#8=~y#)᩼gf{n֬#V"$CDŽapk {&-ɂf,0N$l^v\@6>yh ur??j8+h4 sA?q@f8wTs=ȫ%n6GH=C$D o ­'|]S(}ż κ nl7LeF `w:-]/6'HTt1E1D[丸Y+z5Enfj 6eJTpS;r[}Szdnxp^a$yf~Ȍ9 } >o՘T|X5@(d%.\cAG')qdߓ:1OƘj@E+A$@6 |}rV\*ȣeV+vf }Knzs'G.`}G#<~ "y8>O~_Uv C 7>Z2_C$W1bn3:b5lRB+JuhqQ4sN͈TF^wo;"Q 7zZրAE;pXɒH{ PITp?!g3*2W,|3W7G@a[ 1!Uf7ˡf)n چ1UCȃ%j?[ڠgVH}un@qGMլ# *0 tV, yYoJ Wmмmnڟ'1;W|>'+~ |5dICz Su/ى;Ic g Sۖg(qSBB ^J!+zM2 ji*?AOc6dD J8d/<'ɤ\Cw& zWfϼWF,c-8_~`J0P\:VyltBn%+Xm"&=wkn9Z$qμ B(_ 'FbYJͅrT/.UA_i6QT86" Q4=ߞp|62+4Y$ ̿┊ضzآO0r.EliN5J3/ p{`l2x5a7C2>k3>͔-u V}P)D6ᚐP5,. e}EM(]13z|)ڦ6.`j:mm/zpMG_;Ԉ@@@3qb+q _)>լkr[-ӡFקkg-w4^<pôzO6sɢX|$ׯ VAkf1g-i)@м=Q!'ĊɊFj쭂yM< @3Dք;wŀclᆛ˄Ȍ>jQ^&H@AO|A Nrz?+`3C̑s|k.8 `"ڳ3Y(;EyÃڲ.{EmZPgIf0x)I/Y:#҈AIj:u B= %1Cfbg@Fc1?tԎ\C'|espӳ,٣p :^wXUVd(!ҢsxYN;ڡalć.2MS)yԃ# Io!|g# +&OС`i+H^Ʒλr<"B~^~0Xϰؠ\ !b "l=iH2yYRj