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 88=' Tt Y]List-Infinite:threads=2elapsed=23.197cpu=43.776gc=1.996factor=1.897zXZִF! !]ŗXf1-/6vRZڕ`0 lO"EukPz wY'ɹ˄)Kz̜8Q1Q$6xMg)e|u8+#ry7n3yk%wHO0:d&m76eJ8*WlΏ ΁Hm5W =: I;760jj1m#QWǚs$jDO[iRʈ`jB8*+^+7ZQ9zq7{~3ֻ&<_9onw\s ŘnjG{PI,,&`7pFԋD9aeF^諏'[eRܨpo魏0TeI*VKL?+;KYX$%`@2W FDAV]ƐB6f}IBV+B#\X\7 ֜'7't ͭ+Qx U"Lz󆀁zm/y'H!dEM -cMhmwv ԣ2 [[AٲPݧWjKcQU1SI|u6DIp ,ܯXṟOAq9ryAoA$8#iwWHrf-`TnakՁ.REH`jn$ ؃O"/(]Y=ׯ~JuZĢ0U_+A(t(&]סO{!tՕ'#? ͝@˅h5ܴ}jH).KaQaU8>MPa=roG| vk5v.r ܥPWr<(W\IֵBV=~Zr-hp a\OQi7˝D g릯^5BĩE8D/K'F'"&͑Sتq[ g/J)h0JAzNBPEL|fcFП1o=8|fx^CCaS M nBDXBH%լN*D {ؼ6KrsZH#W;z+܊7Y /:mDs;W_ԴvQȜ^ 2G}TPh o;c|<(P1e*xKg¡UFܨ#B=6q\n 8J6wX~i|9}2hϒLivV bFsc\ f)\y.&̼䝒/6J{HN 9Q{UDռ<7s ςb{h`, kVK`znujr-󉒷}a2`K)`OPšи:#S9Rd60;+bDo(˴WʎhVFui DUOP|paAv^K^jȨY6L;-%X8*8 <:A{0o*xá\iɗD&.xpVT&IrV-᪮fUHEnGQ/M,Em>q5gM+q7[_B2 &-(0Ҏn{24όx@G/q{I.nF8asQnvTW9Ú?3i%1Z1 íh:a,Dp<#vjkeb ˻q쁮JzGi<{g y2bJg0%'ʥ{Pj;O4^HIc`\JRF>] ua<̽@1dƣ?j/wxV,oﳯm} RU{灤pYz.7,3H#(<`tLUD*ՒC'2ʞ6xZc< \۟??ܖVQ xL;m7) ^1,#M3iH6 xU?G)#XLd%`xZ%vΩAqp$5PrzTxK:ۋ ' List-Infinite%{j>kE_w."z߰9DB9#zR !_ax'1kYA`4_Nho^%4K5Wt0ӻHYFU55יi*Q"\e a˫^(I.ԵÓp"/R/rfCxSo*̢\ 3rM^ iad>P\Lӵ((:0j/@YywXGuסWZJpuC8S( Ϫr,i Is>: ڧikKqJݿ=aFQ?P(t.$@.`u?a":sV3 ~VP) bg$>@oQ LXE1[ v0HRj',vHHdǛ0>ǔ牒R4Ku?*A zU_ndsd1~M^i8nvqcEi|9zfWܬa|&M4Yr*h 8gBd@rPuVos¨:qG`nynȢ0ƢA=eD߇ML BR"Ι;X4BkȢAn8h[\E}Ժ7!΋$J7wK"o)W6݋ƒ|,:<c֘] }HZafIgtojFF񦴌 ]kMcb8|Lhi'@N (Vtո~ʺ0#(e') c;d,vjX&*աLf춗[j7ziKn6/ʑԎ \a el"W/& ;٥}&vrGةLu jI8a[e+;.0Auܳ^RI݌1d}2Ίǔ@ڢ0ޫ(/U. =0/DGy3YG6JjE@U?p^"vy@LR>*ߟR`SYLR0%y 8|_*yG&=!({`Ndi@@~q?̷V*rC TG͛zw(EIX (O ^z%,2oeҼ\JA q(*,('G?x"m`4LeB ,`@/B}zxcՇϗ3&yi GD@v5v0#x03J(n˫i%mA}xKKE`JYUԹFNr -#_+0 p,;-? b szf#z#1 =ՀhȒk1 W4Qj? .Dž~[5]P&| :A(1ރ@@XAd؅%eqG_AHA+uyk̅ ޖ1W|xJ1ߏ*P+jk#͍n}ī;!eڎN}KK|8n&AvcdZ!MpNPًܙ4L!b\K1"EE*efȔs!%lc{c2~{P7b_,zH<< iZS| 12kBKzN>TCO3̚?{HC)LWII# T+k _ܴWEJe^