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 v+ ,< w LightweightJava:threads=2elapsed=42.405cpu=77.220gc=2.744factor=1.827zXZִF! c]ŗXf1-/6vRZlpH8;_SuƖ`BE~IU(R>M!p`Лгbeym$W#ea3I_Q$g:f22 V -DTEU>,5u4O;nKn'18BJhqRN잿4%01,dYd34UUlpw?0ͮo ١ӔOVm[2oN7D/aZYUZhiup_P!I4 @Chlz3*8ٟԛV &+Tk =4jTEhhN>c 2h-5RX咩!Úݚ*7%W8ןwMM ѡXK@*Rdۉ$ZjԐO1-@ps8p*u?#} ٜߧ?P*}C1le-c_X,i!L{(ɤ\ltq==Lb:Mt@#c(i:DyӠeoOC%Q[ ސ; Ļ28 h5zgqLڌ;qSIyJTꌱ*P<D`"Q!*K2˞Eē^j&-^֜k,bA޳d^&َNn9n!סIG?:BT@ﯘK-!dyd0. g9 4M r)K J墽v!A!oPsBo'b~籛)8GwrAs2 mtR ߚJDTn?]ړ()pwlOC8*dZ0xod,* =!QEaڀ~1 2)7~?@\P =tIr7@Ds357x=is&MjoZ_gCuwp-K8PYO] ˈgg=cqJ5#}v6)8bPi⡚{LahF,Zy3<+oyjBmgbxH_bSnj?!׾Q1CиMwGMzKӅ@ 4>!SvlPJU5 @PD#FktN例Qs ek8lxy4#ztV;:[Bߥ{WӡXn-m މk5Z{(sff`uUH&3Ƽ{H>d;h=fNAXxE80;^g&]уB|.lP&Ǡļ%6YNF4p+=SP@+횽#lT$,[i)]Y:(5f,o6,#o ceect?}Uϼs2R j>vr<}Hb1QSs̤G~w^kyaI?& ~6XOjH@ ]޾5}-\R=w4| SXAHXĩ1ժuHp, U$ifͽ1;ICӘ V&b*9ZW/Bֽ5@3A:>y0E w0DvJcHk,6XNxܴm780σ2L*PXhDG=!c[E֪`͟j Y0x=/"ZU),b4Y؛*9_Gu>{.ep L U$kQ5  ws獂WTe4cF)!wslGpOC%ƃ.~$pbm9'clDU+. &W1%9fji<ɃwXثήJWci5h lp2%Ap7 }..C ϖE!‹ 7w9I͆ )'fGs%ts] =(gk&IP1C Y+ob.QٵTmWZEo]!1; ֿGLVg.fݙ/p\*dm;ý|bƣ-\/ {= N\t<bBA8ŒUL1$,]Waoۜ \`n+[y*ѵ'99Ty+q%URZoD_-egҗV24mz|ᵬ~I.TJEPYTSsq r$2Oۍ.xc,uhP,%͌͞7u.'MY7댨_ c'_O uK<$эM + LightweightJavaŋIq<6fs0T ;<2Hz +) +@%7m4Nڔ#5wf$L/5bY: xqҔrXbR'**?bHJ׹Aė绣v-\7e [ՖGw0*ć#wvCfu`#|BL^CLNT.qnNѲ.#3n4"Gh}d;Ŵ޶O 9 cZ {2p'a&ކhtֿ6/V%a .VTbyK1Gw0?UQ `d-*>npISh{ *dWa+oZD C.8BV|,nIJF|؅FHNKvMK8|-U?h9¿͎NVEw>YhUĂW\Y`=w~]FMQEC%| _xCZ@[nVcf+Uv#a9sKn䜡x$5ږ)mz# zc[7׮jv} "]=D"iP# G*$R6h[T:rI[ʛwUhI6UĒ]@ЃΉuI;;EsǼ;韏O+rmfN$47E*~^Ou~Z.<Iåk^5<#P4@G[=e0XSz&kN4p[D \%\7gYZ7zXZִF! R ]ŗXi% 2Tbe#VE!P7^Ԛa;vv7}S7F[' ?US*cqPo AZSܐC~B2́e0 &Q|[lg]')]TS3@q4Doʏx )Aʯ4HVF_Eu8r/_u#6 5=:PPoCct|>ޘ|L#g IT-1юT4(8#6p/Gm]wc"I¨,APJ=XV?aRlt+R.Šr8OΤز oME/];Мa/'pX2oc7$ęwl...oD4걊,Ugވ% Z $40k@n&Fm|񑅊DŽUÄjl91Z|h1rʣ|Z7Q>@O.rs5ȞMq 72Ƃ䨙jA>+Si2U*CJyHv78]U=̣gʞtHCaD#yo-)/! BTI3.n{d;WΫ˔nuڱa"&;KDT2e%s%i!ɪs5$TW&atayVJFX韩ėFGw&ədU%ΒlZE+U& IjCo4y 9;35"|.@xN֫9q1t a|ֽ4_2}wX|#B79ΦXZRO--9ATb,ܦ Paۊ8\:B@N-vK|kG MBH n=Mu@믙.䩾( ^ UF%TWOE\$u48Zwz"2G,h@:tV`'N*?oxEdQ7+{O.:Y7-?tqc-+rh{n[x$p ]K2RrX0_?)[T;?)Wk bkǺeqƇO_,% *F4F@G%>n6xƿû?F lݨߚp0$Dbƕ@Anxou5T1%yzﶋ)msO yLF%ř(!1BT'X1މsŇ}FMUAcLK); ~ɓ]f;yEc] 0 O<`h{v|ɊA#蠾5 Le7SuR=(5oad^T"]}tI# &{'aI\!e٨AS%he Zopno4hMBy DOvkݪɄx0 e -f@6Vo2/5giA^pF|-@>27lQiXArªa8f'N)֓(K %fLbi*vְD8Za.`~C!_|^I\:p`nCܯHI-f/T{xL+z@?o?ٶ%W%dyzAPm-&ӎ@l+kIը(B<Ğ~@ںa27 _<_^,R"P?:&7t,YJŞ#v#S[FQbXzӔ gYZ311916cabc672824fbd18f36a74a9f62a6ae4fa1 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa 9cfab51a1f87d0d39dc1dd8a34686d11b2595af8 cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 f4ae0fae7893f7947d754f24e1ee90bd24a07f3e9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceef