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  |= $DL ]S Probabilistic_System_Zoo:threads=2elapsed=52.508cpu=86.664gc=4.188factor=1.657zXZִF! & ]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")jd."W*$O *q!O\UVn jsrSQ1@.&_ Y. ݬLjEī>masbP$&'ʻo*_qt4J|v#@3п_9&4?ȵ!Im@.+o3{Ih'r sB3ݠ1V\|cP=,@073جtwÙ_[5L4hɼk_>Vu/tfrB`=ϯ<=( 9_3#Xg .kP`r*-~JdQtM ғ]G>9HcJZ ch e f vB'>kc )3abw*hQH0%Әf(#P,={peuXVFnl*T+59X&-BVŰ|Ixt:"e Sdaih̷ՍE5_])aE }`5- CrՇH:_9  = Probabilistic_System_Zoo  1__kz1 T$k-$v1w"z<7sT,NDq&`9uAԂ19qk,ᑼ ) W*-K3SRрwvYRS;*MaOM9hgYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~-]cFUwbYꘔze(e>-Be0rd6{A|9ǎhÄhY<1A[Ni\ft;Q*7 ˞@!2=|??f I~44ւ ( !)xzK*&wиēc ;oZL>M#35y_6t<~YGYs KF9dmY Yz|&}VdoUrDd5L4 (zgYZ7zXZִF!  `]ŗXi%;HkK)|;"`oIU1 uOFpb>;qNxsTq "7Qrs/i=W&oK5*K M)Ip*Qq`M^3]c6iB}iz%3jq̪ʾsi^5*u{3>P!%x C{k4 +2hg@KYoVpa Aa&iE&{/Y("P4D,-Dznr@ kV:t0vL='[(ٵuȹU/"y'zM'"%[4ywԁ0~, e@ϻvFͷ]d$[PK=_2N?'oYYkePh2aS)U'YymvTn-˨iV\*o[ ϏS&WxCT*"?6/WwUe-274l CPK9nF V=K^`Wp}QWX0Ո,H-Nlp &Č*:lD6JS|?5 q,`ar J,c@D;0~.ra|҃ԯaQGg{Ttpi*jEV|O4Kr"ˑ{c ])l_z0 3p؝ n.kt1Io7[Ka;췱r՚=^NqN ,cdZ07:8 JNax0"j"iY\t6ut -GRM [{CB8/q.(G{d|F}">tBqbxC U ]Bѵ{)$]lmK-e_;]u$jq^g-QjM');VLcRRxw>G]p#E_PBmY2Iszsx׻klE.DE?,7r껈-}Fg<%ǭ])ʤ{^[B7{Q%_ץtmP &"BX )iT7Y0~vg03eS &)춾8+(ǟHJm( #c ,^MTJ%!\V1Qj}4Y3_Tt͑ͮ<(E~ɓհ^7.8X:,6qX)dlt򨿤!s87U䬦]=}IhRs0K\>j`"G]W|@<7Љ8Q鞊{[h1_$yz=ru6]nJvǢIs(E> ;m~*6w8Z[uo7Ȩ^a0^UM:D:JNG4N4Mq2-<_Y}Y {OM*ea#Mdȍ j ÿG\xoy+;Q=h4c$*mr(c&\r*q-yty~Bj$) qs "1?&bK 8kL/h Dyk|ϚvABfq*ZU5rnx%^Axǘ|ͷZDs):Fpymc\ʗQ<ؿV b8>ړy_(fZ~ *LqoM1X؈_X(yl}ٖFX72:TWWҁdNÛa۠5\0zin79es8М̫5W3C0uk ~K^5)r &LFH ζHT%vn7ڼ, 6}$m,#ąO:oj5ZԎ ׽D|WG\18w Hhep̲pvR+v [3й_S$36/PFƈ )uN[VS|fW-rLHi|9IvX{ p4NVUN Dxz^-0&$ 1SЈƎjGr*uN*qy8Y<\rc*[3GPåuDk@mn^H{C~J6 * J)/TFiLtŞDvvc>Ϙݷ 3