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  Q Q$= l<\ ]S Probabilistic_System_Zoo:threads=2elapsed=51.861cpu=85.140gc=4.144factor=1.647zXZִF! %]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] ")cXHhGWVIcΖU tZabR(/N* c8dEoI\ xOKfXI=QUey+P]ݪz=웇&JTχd aF+5d`r7Z' |2nb:;Vo5N;,1ߕod_Z?sMpG+ƟAA`oᕬ^}hܱm j   9g8+U{0R9e)"uu( zέ^Cg`;|lxٷ ~ C[D ͷ\-:cqk۴oΐgIfD.d6q~o+ ԡъƔaI˶lJKI}0xfݞ0xq lQs?_ZRwŽq~[vd}"|Eyp醫]e\ȺsR!TDNz~Ms9muؑ)4hqظ QPPb*E;]aWH5Ed\P=BҟH" o 2-煈%H7:/15?z'8LԟV~I IV1bƕ9KBلWL'*ήB+@X %Ed = Probabilistic_System_Zoo  Ȏ!,tr<):}5mhP{~`벙r;uId!sFPcA7W%)'/ 5sPƛAqj5?B΀3] -jSK*WbS֬rلmsMLq p!_9 u79$TZ*`DHIۍ[/7$K}F{gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~nUݑt YrmP=l6q!"d mTEpTS eWOEyN#wo#_ϵ~|ݙĘ`WdX6+o~E<2pԱ%A* rCسbd vwy>7O1oBaw9QhD<*_W AZ?$0K7M"iƞ4E8wy&¢gc+S' xje;qI~c"o<ד8<~ڹ]ji}s^A=Sw1S1;$#9bNf5&LɉAdH1`-V=6bݶ^U_ 5"#WgYZ7zXZִF! (]ŗXi%>g_()W5H"uzf?xBt e`$Ы,?R iޣ(OX(uLq Wi X gglի[wY  + XǬQ,k|B>CUK, eƳ=50;{v#[7#dB`<F"tҨzQ\2+8=Q&(V1 [QGg a|u!pV9dVUХA;8r`e"zP.w%bUa w:Ή,s/%.yd)5Vv >\ %H>w:NٌBP;1(MF[Y@8D̯D}ETa$Ҥ<N݂˒ "OA;r hխ RPF_43/ر\u2GiąԪ .9]F [Rt pB"y࿘2ĚmeM\W m/@"Wm{B%q9n}ӅU025"W N HvQo:7% [)raݨdd׌S|a pcXCNnSD<ĕdXgfbZ$VEf{PcvNr8vgoy9hVTJo<ҷNOku:#w#bt;dDA_)Ct9 ԗ+7O2KQ3k ="#llQo7;7Z#^dm_M*D MFoۏShf?F wr<$ظ$6Ĺ(l9Co{B^(7 8,8&2-ZP=*b󤂻tbUȝ'(1Dl)4ǀXteM*iJYLDng*jEvw%>ztiZs(,A|!GK= 7J:"]Oj`LC!DR\&|cj 2r@ӭI'͖eN8boJӇ5CXPSAEӣxL[qdkV4kV6 )*L^ =\ٛHmbs fnY_y:`q}BW.G+;̩(#yHb]ms̤ӞfYEVMOFӕZ!x1j_0 Sj679Zf7*[ h o+n"mxYth^/XWuFQέ•f>Enǝy(xxy8=rN8} WۯhA9<ԉhBև Gڞ'Uy;9rg:f|>nb灷Btdv'ɽi\ıŸtbW8#$r압@4:?1n˥`#^_,X_ID{?Q#EBFa2d)xBvzӀضS 1j%Ơx{=Rd0'暲[%|_hfZëgnl zV6^;hEn<{{mbǹ-zW>2~-_9{lcҩVTG;UTU^G11xJ? P¹g'VMGqngW82U}GH0YF! AW ZOe0p80^{agF7AY콦, Ye 70KˏM'{tgFZE!o eV٤Ы 7K^JY]<{D鎦XM5AO-#Aۖ-aۏZ桷/S!j;`fAx6ֵKclw-t9+|D{ڣMWBq @Oe3֭re׫ےbX%PC^#=p9CC(M@t(Q%/@5qӉ#\ VuHiT@ 05D儰˭uLčRaBLΦ+`S(M\´Z?[7PX^]w*ugFz=G++=*O`qݣ yWwɠm9ey6hq'q]Q{O^f