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   k7 DD / WHATandWHERE_Security:threads=2elapsed=45.609cpu=87.660gc=2.648factor=1.927zXZִF! Z]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL?k+k g%D"SK-陮 C͈iHRcXBsWYa sx 6ǭ j|(~ĚTy bCP8(R'МlDM,?G*ԆhH9YC9 Cvk{jX°#d &؍P[p,fpDdUߙt؄ HqÏklUNy! ;. 6g*1\*GfSֺw>u=bW*YLM! OnBQ=MаT,/>;q}  eYQ!l^`MV=JX ha3u[#TfCXXA8$hsDN}?5l+UxYfH|E+ =42d=a%T=Rn] JHHhӿzA21;-J]+GJ?KE1j AM"ZsQ-Sm+E8 נ}+T"YgnVл= <n'T! j{G|RAoqUN[iCxfRv?DIx*MX>X`MRZcD+'2zuzb-/)\_fye0MP"h`s?3/zkW#cP/:$%|h:Y <;>yڄR A ogYh ̙l04̼mcʁz&+5k i ӹh9-gQJ5I Q,Bզ~{UI`DbWHcbWaT{-vu!#[ywg#Qi8q4Os "%ZY7]5b|Uwb OakD*hiV4/ tcB L>kciUV+HLi-0<ov3dAy]4~͕}?RY\\Tc*ix2. NCsM}ܜg, Klby!1b35\>OeNjө]hM`lh{pGKTW,nOMNSvyEgy|` goE晸/rQO9,6e da~VH92ɔu񞘗\uoIeESIpA‰b6UL/>骿wmdu5P%[uOϺd[p<}j5B$!zm?Hҷ* >MG} 8'^-8.>n(KKȱ6^yB26럙b)>`K|pz=L#k[[ځ9N%_[!@iR Uf tvcDptأQ}kEjZG~0 7 WHATandWHERE_SecurityRFRԮX}Vɟp)Jcv!sOUrf+)WplS,CYPF/};} $1|b|Q9ѱ>ue1;~O5{h a: ܴv C,v|a4,]Fɀtsb|Vn3 VToBnf>FTB`h>/ʳG˄hy)^d@3໅Aҿ@vʺf7)/:*x-^b?1´@~L0}OF}j vQW [(P*\*?PZ+87~.085ił.6Tj.e>Wݹ.4\n{ac*gIU~&i4)kt4eaVgPǚnPH!Y-|6}Cb]` RF<*El_g/t4ϮҼ^(dHyFmNQ$C{\Sq -ʽj/ (!qDd"+5yZtzxGF"{ (] Kx=ځ9Yv:؎Ԛdׁ` X#bWw7uUCG#Kkz&$)MmgE?Kዅ`)_MMzԭzFkH RUΡ/\M]C6L9B T{[}Ԥ oWxsS(2C.̀dxd 9ƴ š>Y0_K?W9*I^圙-oi1T`_헟Y8dˬ2bŏGI7~1sB0Pس^l{T<5W8UX.Grc5Cs,;e\34.ۮq??ɶd +E2L+ԽY{&! qZMްX.ORN~}{9:~^l `!MR%ГsWq}- ,H wQ) *Q-NvBno$9N{|c L)=-[k<v']0Kt g^ݻqYb2SV KO6&47w~ae2Oҩآy"n?/J#yOʑr[ Tgs6DKxBn+!'z¥ G"VhP%`vqD=@ (u U3!)@{(,#Voi++} O~Z5?ljɂ{۴6z2Dh!'O qhT呞z ezRl.;sQV:ZJwô1e/@Seqv$\5w^qy|zJ4 ŷ1%? Rɘ-TBu厲CNjPHx%1T_' 54Y`6_g :HB5C[?t&ԎlOvP&yq;hRtɯ]$&ILd +7{zCdN>9-كp-&@ q ^7 SC}犀@MtJy'Ey)V}_51Xl9AB^Au* = H6iu%"KKuqXҿz^98U<]eIZsn][Y7Z=i,aMo7=g#7fSnP]k6gS퍨\ gƥ 99o( %8@3>}$${V ?pE{^bh$;hu [0?ן8Q>`F6÷z!r۹C4Y', yޢ1ctxEv,2ڧiV q )nM jtnV l\ qd[&`#si0 (>Xif&M.FoAљr8_?UU#2d 2.h2Y=0M6Yִ"^l@~4jEk^9_aXn§1+g$8%Ol Id_sbON񥲑jȃ)VMkt_LpX[|P0M]ľC腋@ 3%(+3*AccDmdIӼH>7^RQe7?MwΨn;Q Q PۧzZSnj|œOXr=ƿ oбgYZ1ab80a0d9b0082349f8a5935f816d9c6cbe5fdba 1db3099df03f1c28cada19ada3a74cc81ad144d5 25fcd21f22d7e78fbf9c7431cefcf47a109fe571 2ea80c097e975199e5a5b5134e6d34f77596fb72 313a93d05c3a89cddb927649ea4364dd24f1ba12 35cd6aa710d94fca8b21b82f07bd6d0ad19d7601 5855c11fb47d4644a3eb1661268515118b384fd2 5a9fef15dfe0647f0f880e3794ce8714bfdb3775 73e45363585842c702e7d37d17e80e1fe57ea21a a20370c8393d39ab3c57febc38a4519af54dfcec aea02b31f4dfe66729e8a51e8c33a68989d71644 ca0727eaeb92eea6fafeaceb7f36e3821f747fee ce8afd10ac419670ff92421eb7eb5d4a9f51eebd eb74f23254781395870bf911109bc107105c8b509711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4