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 3%$\ 7% Gauss_Jordan:threads=2elapsed=131.152cpu=230.844gc=7.380factor=1.767zXZִF! `]ŗXf1-/6vR[Nݢk|m-Ľl1|}p&&~p5z> y48$ 4jS[ g%w:5yԉ ~qfp@.D+$|cm{Z6pڧfE*dI| I{P|bc/8b%;Ink]|VpKƗU)B (ģoI\-fO߫ѭȶX犯5\kPxN_grę{ݬE%ЇDz w.`?w_,| ;#F0,J kXј֜Gϧu vcc]F,,6X/]0f{'f޴APj2gS_mneD+]P4wunq'k9! tz:>͵Y6bC:PaBLp )˯9ߦj'=4L&aR|µ&ɏܿir$Hؤ|A[ܺٓD(h!żj)Z$ƌ=&߽8&4dzalpMاvΦԻQ[G?z;.r%Ej=,゚䃌,>ݔeAGOZ2VF9{2"5άf}^o~XbnԐ넹 g刡a;hsAxrzsU&5fa]/,F_+BG wڇ&fg,\ЎqG%RxԱBtu/P:+ vJtҪD$H| 8fPR#Y$`7>SS;Q-^* \ MK<`^ՠM11>BT''...6 9۪҇{*WYD-5t8c72  4 O!OqW-Il &Om~B6Kxj^j8EAu`Dcy.s'_ۡQ,)>Wn]\Ue>y١Dn!-!5X,T(̳o\%27Dn|4&AP~pWhB*{^͚5!UWvHy 'VVl>$/QSk+s< jX*@MHz -oD(9Wlܔ-1M& c>Y i!1MM"|v;3r EyKQ+i%'cIhaCn%-ᘋ^PVf[gYZ7zXZִF! {]ŗXi%6 Hi$Pdǐqhq,r񘣆{V[B,ʕJIk=x+HU!zFؕu1W>6)n _+W2h"i[J_ts?Ģ /]kƭuӅM6+KӉmhHsԑ" Yv1pG\XVx3rr^3*zYܯ,[`nP33, +5u"[YkIE=>7$D$s_r --ҽQ1e%1wujBiVyX -E ާpo'Ч2=ۺzUFX1C/x;! je@2y$f̻ v8? \Z[BtL o\!ъԯ=}x_16Oݘ>H]:u$^){` % Gauss_JordanH=f(+%XOs U}jAU?:Ly?_ǫL&쓔 3M4yBT }}16&4X~IJs:n@gf  v1+*Gg4U%X2x·sb0 ]51R`R*r7 u0.M^Dq̏tޮ\_pEfu@o :zH@i@N"^/+胝QOKVr Yu Ԧ/QHegʳf5J~]}kpK&FJ!D4PrD$qH xRu!(X(GRIJ1Ị.&&VIw`" (F8ܢfFy3`FC?$ D:)X}XZ$icpZ-8/I-ĂTVccu]q~ mɧsҚ3s8vm h!^DH$ӻ }Wn%!Qn2A!DNL](1_/7DUQ vy}nDmӂ,_܈ Lm3R #Q"ㅥL|᲏"{լw\nd(V7XtÕP^Ǽ@ϓ-C8ގm²@'F"o2>@!|αvaE [:&- ۹#:7,z'"eZ7!tA܉9^v!m< OAwP?LN N]t2aWf'_xG`^nWcYPR9Ts<;;नxݗ|3:Nhv<<}Yi;x# # |lfq4/s2CbЩv<˗b8 FVyN dm3-{qOˌ\"y/SPq|$0c}p33&Xn@2}2# ,$Ўpzcy{2R@J4xfz~H8ڐ? װHYu$]i]PxﴳYcAmdW'̀/Cz?h<$U})WA/] > I@>Oc  W(_ \_wފ+(U/E[wVVdW 3y; pYU'' O4, 449kQQE)ktz>DS^uLH=*W߸驙I}$nӕXk܏X_NV5ߏŜWRGW`N$$5r0YTeGmZcvZvGiG߂MsS}9jFIvrl&ѮۄU;TL_V)@DT9$؆ކ *r)};ƈfI b̭T"0TgavTKvy(IqRUŴe.[YY8Rq ,Wv6"!=7CO"3xEkY_MԘho(\߀"aq91] Gc#c@L?(Ejc>b_HHZDk3&ʫ]|si,nGeFLTԦ[xjBeyVuu-86q T\41YUx4PƭJr-stk(`p{Ym?э .&P 'Hq%gPrjoqҲpT+yD!cQGhmjfq\0ǣE狨ѓ* I%3DTy!W B̵)5|>`H"pˆoā#-?Y +?U/R.GZx JF#=UQuPzVqG;ZtQj*\\&l*mrX?fhl['GE'*D }Qo(Gru9b_6Z2"ֈb}i2g EJ8LK\#P/##QC:ʾ}+V[_pWD%r\K\Л#fo١U3SKc}K[XǽSO[Oh%gkt*©*Vθ>4߅FDP?=P 5NE4thC_tJi3v]B-/5l"qdo+"WxP>1E uZ.G[mIHsAyRJrI@{1vvbaO`&gƱvh2an[`l3Ccu#VD=qC2q"!͢EC jDg tKŀ ``\Tl/X9:Y(g559yzV(Twl4RO_9 arE?N@gֳ]6Á0x:ט&< KΌ_{f̋7@3DOl T^dݨ")S,Uc?o\;w{=~V i6m-Z0_H` %6r_ u\ve1:e2:f{~VLx()jmKM2QLvqN.cJtJzk*" 03+F 0-337}q%\=6*Q|@uxF4%[mP*˅rtc\ndRk]jN-P IZq=q2F) F޾$8t! b q6Q_|u3_9$bEcOsA, π7@[A0WSWҕ<Kኴ(nR 7&Oduqu\N$UJM7_Yé4kzBjہmEA^ YJBPc SJ>q@]WYm۱%CǪO:W\!Oo>#;D T[~K#Ԟ8̙'nKoߎvȰT ž]1-u#*lI)PFJ܆~mnZ/2Xc-ٻ9iqߩ=9XJnKv2N~YMxm4ҩW}6E, ]qPzb1a)Z잹 WnO &]5=omՔ#bѡ`8NCsj;%ytd߉oPi(P"AuK5qBa7,F 6dFDMuOp%2 )d𴔬B(7Rj*y̔ޢ$La$W6It8#/(|`!_B)c1B5/(|2 0,y"r:  Xx]_ĥs pQF? U>FoQkqql\.MlF o$k0qK4ngYBQCz01_ *+H8a*Y0gb_W"'>\$FkgDƖ}aA8>#3S/yU-0YVDzZ?ۃn)\E|×rn>[i`H1>tBm"9 _:VU2zn/4"+? 74-A&T;E*및\m}@'Lëӥ UI ^ $RhfD:]Qbq܈JPTʂ]6cH/q;`i0Fc28%/i%$2q<K[J0#?E+$Ng(EBy ]҃G̉M. 8(cmø # ){u8*^d61ȟ[\\`5Lh:qܑH%S*=M|l.qn51F` \Bx$`H֔&FHS<@ ؞\u ;f=f$=L&{K`~+`8]+R$k!,.FKI(G Od JE1#s!/ O R eeZแ]NY\Ii]bzXʲ~Pvl/eKq[{1Od8j-¦ܑGbMuy+dg<"!0I+3cy0"3US]>*'uӌpۻ,dUUFP5L?4䖖8ٵ\`_XDs$O `13J,4U+ emI[GnnDX[3b#^un :r̈́|~G.PޮcEA אe>Wf8$F_] f[tγ"}"#q*f G>eH3d1!kEi3>DH֖/:ޟ@w̜)1*d{Ցޤ.%J-xE6o,AFm5ⷶFm