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  $= 4L ]S Probabilistic_System_Zoo:threads=2elapsed=48.711cpu=80.896gc=3.840factor=1.667zXZִF! #]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")>ZP1ꃷ1.V!~y$9^GP*%;zsz鯤@81M' Emʱ8$o/x{ @XqN@p R~%>'BŽn}ĨFIm:͸C֘V3Qc-*$/{G~O./I9H;u8ScE=PԻm'T>>Dd-ay2#.Z; N/O>hY'ȓi=ာK iDX$aI W6=x^άmVws/3\Q&h |e+|c囡W[{ۢ_=Jg͡= FnjBGOp?Q\2''.QN++2?,gu57 j+@G%zcv35DLFMh<=M{A"V$=lqաCbdA=Ndܙt1({}iQF|  o<RiYY֎c@ U2`A>jZ[x3 = Probabilistic_System_Zoo  e7F'ts,uup+2IG|6BpC9_y1 w[D Y֩7/#acrI{℁Z*iL+&?CtO+yQL`խ ,P@B 5I]bZT0͑cQx¬,)atDm|-1Gʕ Z͑7N$3jKo?+ R>)gEo'F2K\HJʿqu(p8BCmPج|])&K;bݛ1 sSa9)lc vT: vnֽ%'zR^a!H~6k BPBmR>rZњ`rlY^e_=lC!3VHnھJAd)S894lqWr̮ӱndc#^@%v2VCiDQabO_lVDcFA!X#V1= ?_7KY 9E&(33lT| R'XOoێ)bB&93;X5WkNZJD>Y NI79ak4<7tyuoKJhi?@U;̅/ %ͬmO/H&{? =79 1c=?,HRff?_Anj\Zp= ~TI6~Ş/\g[09ՏXF7$5yK<ҧFŖ Z.LZ@FSb%fk<^343@N<&V$y 7_Tt6vwso˳OEJ7  -^rS{BʀS}79r3Ӽ7bYO& J*ǨSjHi-E\]]gT7GZ]g|nNOQi t`ayF()%oۋW8; ;,n5^Ay%{V+^=@՟);@֟ԳxyT$$Lpp('iv/2E|Md@G^E\Py跊,C : cBș#AҮ 9ѥ! 巼cVbQc)2@mX^;D}^,da.s)mC?xACӪb~ ҧx Ò7k/[1dOxU*nG4֔㥼JA)R֝aJ$ ⿇r[\"[s1sVצ7f{JFE,vms-~ԸdFG CK.\%Ӧ'%Dv(N&K=Rp J3:L&!/X,C{Ewz.KF[ƃmq_CUdD<^,aG?JPKLW {AhHv?EdߠtuZHuds@RtoOۑ a%~C51}|gt-'Oh{L]Z@Ø;lr8|.5 ;n >K*ʵB5L=A(k~ |6`/x9Z-1{tneF)k?N]d;S5jJ$ꫬ VߠHL_+pws\lfTz nh`#d}>-T;mHAM=a(/n(%zbe3z:";[`oQ{,8l1 j\@tNLHѯH"Q1{PrM U,E~ =y밼 S-^~+8Z复>'_)H5hW 4d# 4B<,FɢiɖI\`֜n5ĕhܞ4f3!2/{gP\],\`XZJߠ0ZkBrB6R>^BP-ҖՌ$$4n3WmbDbX]KT:t[A- !1~u6ꛭ|68mV}ٹr%/Gmb:l&1Gxy<Ƴu˒b~O@ lE}){yhcBȵ_a{P*٢Ӹ vU+ЙUbeVR\y57;\j"CT}4JNF# VGmlzϧF(k;Q c^@Se]bsv.hj`'ϠUTǕgUqZ==mʿ(`qJ1e$!d{Ԣ҅{L'p 0Vor 4I~j"QgASiK|tqxi M59S&դSMG(,`h,,ni7j]4B߶k4 k #mxKKb J #d@:Pě.e&S[D]W=4S@z?gYZ340cf81a3d26b4bb06eac2a55a3552637e80ce290779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77 852d296003c04e671a83d70a8dd68d2c8ee31ee3