SQLite format 3@ .  YYQ77Atableisabelle_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, "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 n5Ll ;]Amortized_Complexity:threads=2elapsed=90.470cpu=163.624gc=7.000factor=1.817zXZִF! o]ŗXf1-/6vR[2F*DlIW,|k|at&S',UbF<\V'젴:i`š 0ɗtKNG2H=L˨hIlTVB,q/$r7yqPD˘%g̈́?Y#^IR fGZLRZPl_5WZfKƗг _jImA -.@/1*pOvLpo qX1pֶl4XyQXˤN{$ c)`E'U>Tfhm<+mכ<\+4-x$|ZKBﯸ%H 8G]R/&M7q\jTa4 ?<$ǫ` 8'Ô`X9`tk l'21oa]@sx 8s-33X̙@&)E'̵[/Wy|IiK*=.tg,I'+oH 47B5Vj_SH_ NJ 5,1:$pcvQB+2ӹ\pekԐ0R9"wx wSk*Sʁ "C+n @yVTb+L*l2F&mx s]̲y3\36w\ P#X@\#x0C̦uJ6Zz5/Ź;oQDa5AzյG[ol p Y޹x|$gg~LN3igtC6!A{rj, ^(Uxޛ.;&d^lܦ u7­[j )NU$>pEoϔj(>ЏW0T)+Wt VJ7KB-4itSI,Q]qW.5Ry۱`)YK P%Ji?Tx6ј$di%qmI#s22i'G+bXX?JE!<4:ѯL-`GI)G$]OWnc+҅jm+sց+jDFgYZ7zXZִF! in]ŗXi%PKg/:ؕ0Z cb~3ſ~lV`B74͖\ֹɲk@̳ ֋tNk Ý L[sӬ#x-%8;EHt,UW˦bfD[bzy$| Ei-(m*`6wkn o=`e@j&: †#XcLoe{Z-"}_ۛEX_#+)W7r±X_%pKދs.Ð`ׁ-]1eRŜ2rtvc|ҢS}x>_5il^a;M)Zvms6$lۿIh|xE#ѝ4ϴ # e̊N&KCۺYBM^ŕDڀ npⲄvk6uF⒕.zD+U3jZflM.8'gf:;jNةd/׼=VaُHB){?`EldO p/#<@ &+:ZExVEmk`FuUX8i) ! 3wviH;v1`0|DT—y@m"3pN$R~7Oɨ7뻝Ri#BwsKn/z]>Du/E^. ZʚGt-"2׋ S['`_`;llL6˹[(S+WV1E&8l]WIΕ:4DCoiB7>[#ϠR@NTuO^VxId'ѾETeK.P`s&Qj+g7쎄|:I'.Ch͖ϲ.x{ '^B&7tj4^gA\^'8D-UBh[by.shvpBYF!1X bm@rO3m(M&n}wً3\E{UВگV /z_J ' ,f߀ GOk^ߖ*N&o < 8LUg*^ܒCҀ+2+D6ZlEaX_!Tɶo8# qFH6L,gښ/k>RYr͖Lzu2Qgt„rZnŸjh|~s e/fd㹅9iD^y0ؕbM3r7{,_buv~{^ 8\ v?ʊ14eQu0>18|\Y*\"ZREzK݇71],gM3Ak 0@hwV|`@fT5NdP둃Oq-]mw'Qw6gFE ˾zvOzߔ|B |6|7X [H;P/(lnBeQg/)}d[HPOfH#ISl dF~̼4NK38B)?+ \J_j#:RӄI|TH(M1MJCc̮Zb[hNdŷaᦝ: PJՅtfQo|ao;SmLr5ɾ oAHSקu >RD>WC+x ]җXVЏ\pTGe]wLG9OUyM'W1اܐ#dW~!;;j1S.Qߟ4!ylX$,q(ANetP&[qf`al̴{!\.fl?$q(5.QIG͏Zj.kPʅol6{;^c@t-mb~%w$8^J24)O6P`38㫭Q[ k.5jo"nF2͕țgQD D@FHV64nxG"VodZD3=gCZGE?bz S1d6<Z 2k,(:ZGRav-.WEp/:"?`D }~*6dϷjVmtcY=4161~qݝV~}7>$l4.Keh%tmc@ZD-eTH T8-WM;7|;X6 bnG(Nng"8Ȉ?\qqzo6v@*?T퀱Ob'(PE!_;'8fe{7̛g΀nJi OC8 Z:NL0GYExb|sBԸ*%[ hF|g6 ؉IBc@h7HD!=vPK_2=zhZߛ?F"Dn9*gBT ir5FnX{%|=á:"NTcjw_ą SԻgdui/^ЃGɍG-(/_V]$ZA5ڹe8^2szh= "UohsP>r~w@5X㯟3k[r-nOϼ89kH{sсl̵_b]8^)y.]!CAVEʒ(y[5 3MeYBFR ]ArooZVBz; J9c?p6.e"EU"D\2!FW+𬭡({ G2r U 6MRk^UAC /1U_ 56$t可CI&Uogͩ3{^]mY=GjiTBS/IkC`d&f `+u%j"*ԖbuǁÏznߞ׎LٍZ@ԥ-4^9 Y|ɶ 'fQ1s8`$.KY)<VE>\bt(y+\#7[$1iHz^]yx'i&{yٮtpIhdVCl^Aۘ?09!} O-pӁbV2U]"ZAU'_15%{x"=Uc