SQLite format 3@ . BBh77otableisabelle_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  T= 4Dl ]S Probabilistic_System_Zoo:threads=2elapsed=48.639cpu=80.108gc=3.736factor=1.657zXZִF! $]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] "(bAG(;aDS,M5R6~~NR't/h" [-ٗjmAL^A}^gM͕E88?qWO*vn>9u bGАc l%03roNEΎ^E\2nض̢:,coHwW$Ht*+-Ƌdt,SR 0$ z^ޟbH!/nbKvj003R = Probabilistic_System_ZooQv)[s|ѻAd&Kc L}9'mz7 .WH ^d9,jJF[BԬ'} #'' DB~EnWlⷙ"^xѪPbpȤfB_v EGc3Sn !:P O_~Œ@UXӛ``:FD.mK~B^ ""I +GAI 45BRm9,.m[ټ}P&PƒC "9|64c i/a& ewpRgLaƣN(siN2>f3@Ъ)|4eOt%{X=7ph RlEy91%]`q5 X[hRT|t$A]3Y =^AL@OfDU)G\_DhGN 5ET;yW[?OIX.`gYZ7zXZִF! ]ŗXiɟ1˦r90Fn0''ztZguT~~6P3_a4@[:0< /xPTKv\'r3 [Ÿ^; E4 Z"U|0,:23# ۘ(Ѭ #fM܁Lˀ]kp鴘;S:}ܧk(?^NN-N[3u* d5bbM,yqlu_hP-sM['Im␀3ݸ$(.-Dev`݉zDޮ\ƞ_Q:"~K;cFͼʟtPs덷B{IGY2Wn֦ gYZ7zXZִF! ]ŗXi%92xꁅw'0'{ڢx<i=͢s/X *ߊpitKp a^DY_waYLL\tOo孒Σ\TEc{ 7"nKɖ]6x2I*!FVIu4[c꿥JXL0£! K7dY2M:Hܽ`}At!]ɴDA@\+k|S:`)*CUqOu".H:߳ Gs[zgβWtsIܛW-"y ΂hPh~|M, C/f\.k ¡-Hɦd?`'cIx46opDi6YF_vs%ȑձa+ `ʈQ#k 81?pMZt;},8cʸ4 x9R;2r!Rxke򧣸?[g(,RQ\[ Z-s#6bQ ƴ:Y*e_3LݙV7a3)}!ZIX#ţA߫αK#SFkףoBkچ*zLZg"v%xɧK9V0/j:Ai<{}Fn,2pZ&SR *匶i36Q `i f$d}y#F޹ zsF ] k Muf-=Tئh]&Ej_G' 9OϧgOQjEp.ŽR5W]=n& ! \I~ {ȢS-IP=y?㧔 )A<.]2+f&hBf9] s[ ~vz 9P \UnL&0tO銴M`_aB_KkHS9Mn~X߈#(,M΢jžIlR%Oa$q_*lE#Y; zX›*CE"7AYGD$tC2!:%XR/o$H#?`X,mzJ˸Yf}v|tZ%)ş8hΌR+0K'T1dz2)@HU>@>W8:H諪 o#kꨮ޷D>ҹzBnħQ$=͍dKv\W2]XD.~ڢZxfr{MT08٦24Ş1ӀY"%R nɿ;Afm“k,ocˀO1J=8{왵L; jX%:*$952`S{+ Ks:2 رeN11jK`QdbeU@JS0ŖsjWϊI?X題,,bOƍ|{ކimY09t .?qS< 1;{F@'9sٍBM:e8vt;ɵU8 A.+e]F xBO8P< T/2F0Oj(&hDKn Qj Ҷc7ݸwD{S]1NsA;s}"YgDD\']U[S0 !-9)K%n W1@4AY7RSl9Xv&2J/&='w6^ /T&ڍHh<4dh|oI;^`9KɡpLMX'k}Q|ڒ=<]j(ķW nw,R(wF|?i|m=BJ x.:3"!ro_9 *2.[0*QNVk3{UR)T >2naː`^&0gc?"}`4X&'B[:3[b+mNp]B3gVϒo|V=փtȍe9ҘICHNM\;ci2}hRףýPؤkc⢄- ! 1ۨ.` g)U95|b-{͢&M<~ 썄 %윂xj裊)\I.MFg 1]Wz_4PAQz}ie7x*w`i,Cz rSRxKND D4lEkc]98:l>d=%gYZ806581f1d810d131bc8dc0a9675279a6dcd5eac70dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a bdcf3dfcb2269f6f70b340c38a29b59b8f66cb61 d23d34965eb6b48bf91ad1e9dabaef03bf40c2bf