SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 +/ GraphMarkingIBP:threads=2elapsed=25.967cpu=49.468gc=0.716factor=1.917zXZִF! w $]ŗXf1-/6vRZ"P*nI1x{}\mp<;\*ylXn"@u@:1KC"b|/NԒMz ∣"P7|5}w(Q3K g c: c1rK\R#f@ipX`kFge_/"RئAԉX%p@d#>1 }Yk>Sڧd cde-g*/J)q}$ Ows^?'|xvŸjs 9uj4UI|Ť. zƆ|cƏ( d| LM}$5D)}:OX$en2C'='1Y>)_5aϋd;H-cGU7_3ø>7%pI]ktӤD襕;YC2jV0V7} 3 orNd]|t}wz.Xֲ&V!j0#;3VC()KPm?0N~yr`X1|4o((yF6JiERIO&,>u[ s~[qS#2mxp04vWF@n8^SbmM.].5*Oj + GraphMarkingIBP} +XL_4}i9ejN ǧV)(gmD]>_]fyu.6&s.Rs w+lSZz g)1[&/j}85߹\]p:er>d|VhN@{͑<~ .1E0{k䛊T t`ryRx6K]EU#ڞ:ƹ փ1(ul,:P1TBlI֗X"V[lj0oZxnScak}6nM6T-.#%ñ:yDН?>DŽa5ջcp!˥L%W6MLUFXfPN 2-ִ=FRa.4ڐFRmvjUHwI*F準R,ԙ6+\0 ?:01#bPH2'(̴G#s,eWT۞9EYz+fsb8npiۧۗJeyC]9!2js-Q҂ "vx] |b\fd>=cu4,ȥO3L2[q ~ =\!fIcȷ9mT|Y8[8J6=_rVƠc eQr"՞ 7H>νՔbM in\⪸%}*JHP\C,1 /kRpftƭC"% }oMVc4^R *SZ5Ek<1ءaHnQPp*rA>AK/Q`_HnqJ9 B&]I&rG afF;1NmUM^oJtag̣'2 5P1Bi]/koJƓhWL:R%+mCCJȤ}R)^mjDl rŁVbY)sTtQӖ# YRTeNn3U缚4U퇬0juVɐ-lFWd7ό$C:E+Ӥ`~0иs0ÅZH!r+DѮe0P bikpM{(A}m:&k?~墺|W\@:q?nnFrgYZ7zXZִF! {]ŗXi%3Ӗ5:+Nn_å,yԛk5L'OBOyhTe D •](b' [asi9Nϒ4%,p |> z;Ƹ0g1Lb+ p)}!XSBWd΂x9k)x~X-G+% 5̄d"E{I+{xp~jV_|h&[Aj$ݷx|y ك e.S2br<G<9$h&߼*%*~&pZst|A -=/$&\`S! {\ZhiuGz ` P(*Du49yF #-$(f=7=3Tʺvm뾺EqݖSz6dݡ{SeX|& d/EӧIO&3~U {ycd OCK/iݞƕṣɖ*UffkE0&Z@FBT{_]#>SfV ܉Cq'Gπ<ꤓ:#Wm#?G4nc/)*PBL!1dm昭"T1Wȭ4K^IJ^K5n<έ8xur!׎!\M llh%&Lh -a%f9/4(~$gU)TDԤQe=#Aȭ FtW"d K브-DbTrR B[ϹٟKIZ@ʉ:,/<:e$SLוTdJ!~4eD|FxϗQ0)ub܁t;ktXld Ǣ$l;A^8!uh׿K.fm~qt,n{VHF:&=7A)UqX>3y ϭ'rv&W[RFin.V]-/q>EeX/mY2څEr}`ӫ9"uE]e 5Q]i*$c_(Pږr2s"VѦ6тIZv K %;?3}So]d)dȮA숟]IsRl~%=Oκ@