SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  |,d ]]Word_Lib:threads=2elapsed=72.633cpu=143.644gc=3.448factor=1.987zXZִF! :w]ŗXf1-/6vR[@W /9% ojIV\|Ͼy& ` D@ EN{e[t aMd~׷'&<0<\̿>^}]#"V6 kmvy`Ph1+r 1]f8a N۠0$%rFH'#ADCG~>iC,I٧Pc0>xy6MvP.;&;8g]"tsh!g YP&Aí/¯KVE e̸(ѩ)?*4 u}fy3kWork87tsw±뜂n>U//K ֬*TCTDe|_&E\'{ħeHjc~[4 Z\ ԡ,w$TTDNH,'ݺN.DQT~9:`B6\L\Tci9FC%h.LPIJb'䲼e$NfEj ᥹ RP;act./()Wɦ}@mҰy 8P(եRj6ddi(|:nfo[^`( Aqi;%ll2dM j wl0,lCæqVxJ=BO%PŽW3Vd*Et zh ﵃2 0q`Oa.~- XF&vȿ 43#kMGAswb]o΁VS,j`2wVY>!mgYZ7zXZִF! +O]ŗXiɟϨ:}(lZnFp[1- ,]zVGmoVuT wk2rLT~AQ" B_6, ԗ bFi׿xh7dΏW .!ܐx*o#*_@e,Z-j(p[\[9/ 7"08lSO78cO5,tUgB}ňXW[#2 MU30rdѪ7`sb9^%pcynl|tp3ۙusFذ><^,I O<ϱgYZ7zXZִF! ]\l]ŗXi%9#EAz@I Deqs c\aq.[},HM   Word_Lib Au$&}]Se#2@pQ]t/ H$q"^-3 n M4e,""*F!5p(8U2&&ɢr8q̙\+),[]NjBc BBH(-+34-V,1Ʊh$0b ].<#/R%^tAKЩ¡L@ES(\f @1:Դ=0C~^comguy6S@oZ`lhџr\7D@. IAY^<~*w Yu*qۛt/1t%MXGޙR SEQrZ$#m݃TU;)Z]:~Q?N7LQNV )ԓ&k;^ /{tә6qkHx%9`'~I*;/'?/C.ȳ=.ZU=ٙXqi*;d3N#7eC,F򸟈 |vj{qfO~Mئ\?Q!ۼ:sfm -jQ(VA>[?V: K(=c4[m'dY %2 iM幐q⼒lvmooUcՖ>6 E0 '(q$ʙNypt{hhedkEw^8 ZEo̩7 Q8ڤ0R"k]Kf(N!%^~Q .{ݜ&n[Q#qɝAYҨ/,D.oc&t53Y2U P*Ԉ (J%1z1\C8j݉-auw"t'^q VgE1zt;.,&p?)UN5>&C,QjbJYU5RlE,8'oצo&1FY7`UЂ\xVk{`"j}S,,W1M6 q 0JSNqwk.Iȡ$K8#WS6hu]m?Gz7'"'(zXp8e*NK0B%0`=j{j2]b/S-?,lDy 8YXќ-$1;Xru6;3LP[,ym}"E׬$5+Xc9ͧgPg`GbWFdDP$S@TI]t' F.3*IHTX%tH /8$b[Rj*j-õFv.m;YTOyZp+'CmZzLy_`|+c#7ݵo0rQ=#߆F'h[ckt҃Z1=-F /!v:{mDȟ&\ m' 4`H#oa^,IO໾)2#faqظDr'H8nIdbI J8VV ';3(9Qn%Sqk/kb4 y? S(D3*4'' Lv[%ዒ*׷LFXw13)=wN{BrM&df`vn%oc,E\Ο*m,h7bR:$[6g+^4cb ow[˅k}Rik-:~J씬͹"R"HXawQ JEX[zFPIȊW^v>MPB%?6uyԤ(c anUE*3Aa=m8UED6>hKKvmuo+^/ ^I~OT(I `X࣊KFbԨEf˓8f39SNIau@r-mvP-fZ1hɘ >~uaz%U۰F=Y * %ֻzQ0oFXGCgh p{s އ X9{,V431;v;ĉIU `xغ|9=yÆawr}fIK|1}Apt'G=!Fͮo=ԖxĤN%y|cl+7:jIlw5Hbh]? )* b8Qn?Apyk'vX6mJiπ2 H 0s c Z [2S~1'5/ w'1G}Wh. .C@@ Ʌ$T(zZykʴ& Frg>ȃ̮^h3migx$K Eo062l.Ym}i5<|p# ")Z&B(Ƈ>}uaUyV.ozgLt/R[jPodmp&y´8F๠4UJ8-#ԩOᝠi 0H88!H5L5O*5OmI`3<!NK&PayBYG})%ݺgYZd1a9d60b332497db4be170db3edd1fde2633f10f8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 573c60ba3acfa61cac9ff2a6a5d7e478e6bc035ca12dd1d0f81bc03d2c48f05e28a3108e35148186