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  Y Y= < ]S Probabilistic_System_Zoo:threads=2elapsed=50.434cpu=82.524gc=3.972factor=1.647zXZִF! %]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")qسdX.er6YcZ5]JGSCgk  %2ȶFpj >a| f2T#gY fJ\jX!]0lI[2a:*H6偍!ߜb 3e5;W]ҸjeZ<*TqXK7W P!˦.[/2X "8X~DokE50`weC.vH4n"RHUhDߔôe8ѪfG8@K31rۊdyU XYCD UkJ"t&̿m :7X`7/\lk>>C֟ h5!dGd)ްh~Md)WZKD,ǎEʏy v}5\$m5D"vn9t/{*VU 𽩆y {g wg-|p'XɈ -)^ Qcbۮ30nQJH2={HlCcp"/i[_Ef#p = Probabilistic_System_Zoo  zVrM*ؙիD(C86dpDZ]Lx[-TD͉ o¼z4AR[pŗtdžTaYgUsB% \s`S]sov@Jٓzjt^D\m9hܚ#Z,^DI*n,D8exL`nO: Q),^hrrkI2RYFUah=)/=BNA]K)۱gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~nLt Yr bY/?.pnX`Nr2z 2ySA!H8j&XGR߱D[o<*4]"Az_Dc#`6dhce;+ ۷@!bGNj6/o0HϺJ"+o !Pg5,4JK>xS7qvw%v%=*b8lIƶ`+ [-ȍoԭroksm2LczC7'\T a[,#"$T3\ lDR{B1L f׮3j 6\#T+㈜--[+ gYZ7zXZִF! ]ŗXi%;32?ɑ ׻|p`ր܊pؽQHȷEt+jkG/y/y 0E1ܭp>dedVLC`!A.+;(/N_AetyHF~}rMKF rYS Q0\RZn[U9$:P&ZAfWRFqNe¥T\^ &I9&i Ba`D ]ljalĢSI3_oY\,. &'J_Z%Y,W/]|aUOr6'SNݨ>IXz/M @gYkBNQ> ,kk Mc?Ig LQ@T&~k'CfyQe2͇3 s#{@)9B-fRv8/ye%F0q '!.W ,R^MheT0cs *J˞ zyZ vsWT,V!kByn?69 \Z]=˺AнQӷpx!4E0B)K+ Y#]]g9dJLJYtOҸ N/P[̅?X ԝDE)$+:X, &nyy m.^~Y;7JmJZADmU8 ޳@V1bi: *պ0Nݞ7'0Δl|+;ϸpf m'Z:a3C^ EyO@ `\lT+S-6mCC@BkL`צ!P&B ϒ:_BاMpyU7Z"E̊AT_9Pz٤En*rflЁC->Y@4 LWH3Ɇ%c[Mf@BwKQJ%w3Y B@*r/zP .I"`;LxIu#ga1k 6M7٫Qo7EثQ}{zM恺|MMa+< FTZW3- A:F6i$B^{0DhXzk 8F?[[ xv <%"jE`8s}nsm~\p$Gӆ1Sa끉`:Zmb=ϣa>C`0 uZUtA&Zfך5ħ>N#yν +|cv/MP[f*ì TspT0Pk?@S ڸ,8>tXI~@ȴЙ S2)K/?@4t ]F ET‚}ILRY(}GT^0Awde(٧gKM-M"̪j袒^|7s"=2wun\+dr I*+cjNIt'd(4*hIL>h[1C5nJM<)q01fz;( 2 Z~KH"PrvU݌9gOT"d ]*?kDع \}gS80\ |=v3)#{O;\(b),Dнdm+iX utjnbre 8PU8r猭:%eG/tmNl| hxMӱ]