SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ggj5T '% Collections_Examples:threads=2elapsed=107.326cpu=187.108gc=6.928factor=1.747zXZִF! ]ŗXf1-/6vRZyغgЕgQ+m$Q#3?#.5.Rx4 %G5Fi;"fELr46"%M@vL>ŬpƊwNmEFAa>+bWiطY/I}a6\mD% 6̩~6mJ͑J.[fO2f!vt ?V.5lx^4"*)|:nRЗeEB:d 5 Collections_ExamplesMw6s7]>:d1p7FBb sgvcVX3engbu_ŗi &_LBk+_,>s +X5(N46!oo1Z5>ŠVE֍#k4uK깴k ΅mz#c1h6©LbZ&Le-!)ɣcb. Bh<+I]d_RfDDW,Y8d? 7q&^5L޳0I%9WyȊaIy颫3/T?u5~baN d*׃ŒHA.dC G)ׄ7s9k,f`n1kO%'J<$=՜So,u+5V'm헊 @ D;X`K7Ԭ-lD#x"'h8TĮ#"Ų"=쨞]]Iox1k_4f˼[Rg'{`FZUk ; iH%ާLA55ŷd ,Q(oWTf]"4r㥪'LvڀU!sdrTLp+!"9EpdڊACpB 4FD"i\Iόk&KwƸr,iM/SFT=! [mR냧O) UuS0̵=gfF!TO =<  l;b||ʹ&)~S⩒WKVB}`rqX$\v XB\ i9n*D@B!Di۫1>c@FVv5w~4CK> f\A@a;U{p/:FuYR%\̦ 8l3ddr"wpPFl\T\̄5J!ihF#8C8ds_.Bqp2rV%؟ݼ{(1?> QFd^'M,X޶*+~'gd ϛsH{xzۘ|"]'\B̚Ϡ)y"uKp#A(G(Z6cNdۇ|*ui|Kd9"t=0Ɨ4pwC\<'菶O9xS6.SSAKm"r4,N=q&^j'`@MV ^v \(^)D.Pdu~>Ɣ(k;-ZAZS_ꝢG,Hg :V#0Tmh3w-|q qׇ}IlțLZi|e)gח[5?5e-"/ ob2~a2zuEa]M*Yv:$(v8q v y1P2a{By=yRDj%fD@j#ZY3^^1Hb[WiQ6|jo !5s6po䱰i3L s*HJt8b*9VV-k$%XUʙ$ukjBqf^`I~(*RJ)cFa$˩jҾʧs2EP]:g]9Z*:@)+ =&KF~psWK9lj V٬YrleQ)Еc_nþM2~ H;ʹkeF:ZG0aSd,3Z+yPãU؄~o0ZH˽^H΂5R`XtL,´4WZ`H^,DX*Ȼ8"-YGaydY 71Bu6Pӕ|b*+WZ_M6 |p!0SlR:W$ޓV&^Ȥkmx(e=xbL욯EL)`{46FŅcY!+Ɇ݂rld~k-XRΡPP NFgbQFZч!MTįц9miӁ0MͮI3NI_3q.Y[gYU| =s2ԁd }kZ C:^=lZ@J1v'G.47 7u O5\_Q1UT#9#K.h+"؛d!{JtQ#R_gԒxE9qdKAr+*OPTANx6IҊ̵62qtri(jW.yoI?/(wrp;JyhγR;'v&9 8[P?:-l#[#}eonT$by i.̯Z'gŶH2ձ=zG4AjZt$Z0 Pz(rdP/# 5k?6D;Vjf̾$%&;FNb+TCcNJg)I]DJ#,RSփ;4ȉun/Vx:W~4$sQ1_06 B^r8;k7Я*?3hpOZ{@q^ zv `RZ`u0[l҉`\0ևCY]19Gifі5#uߙո{|C#0hE7\<ûBK}E'腵8&@jhsm,0#FH%Ur(R<ٲ95FAmOlP{T6^QS丐"/B<DI="`6'diP탦l7!N[8*3, 2B뜲ѶY0B@(!gYZ7zXZִF! o$]ŗXi%Bcy%Ct /(;{"GI֡hxu$6~-x|9<ބ#b{jEN)͆ѐ2E%4S) :A=66YA98{r>_kAaH1b$!CT`-,qUή'J qx#opn_`o0ߏX'CU~[3;sio2ns]l , 0Y'xUx-L̸[Q{ybpn@y^oR_.N1/wɲ>L -Ҽ N74|j%#a@{߬9CF @iF~WXِ94gV|FI .g+L7D9'Rd{{2[懯JS(9&JF8L@5&9n"^\ ,hR"iH#hS2[ӉycOw1?YW[ WR{<S霑!ir2':(|h錍[-6fܺkIr==/.L$ R h͋5?6=H*PEU` 9g 0B}n}yu@$]!먶\_6/;.h@ٵ/`N/&D7*]&ߓC$ޥJ'Rծ'/̟zG9/MLB*1.Op|W.Qtw{4UD^SU(4)5jk戢A#ԸZnPmܱ!i}?1ސauHiVY"I(bĦXzs,>I剬0UHDcvfm&e!P[GbU3%7@*ij򿟗Jnnz%.ndtzK4ZڋVj} naz)V||?a>DɼXͅVADdg:bZO)G,0e뢱^=d#>+qg)O)==;љlm=ԓٜ2`PE~,bYs()rz\'Y'):\N! ܄(`6 V8mq<߀Z4<,g#%0!?O$'RC3<+P*jhmj[P2q3j -e"G x!|X sgL_G RغDp3 HkiUf=$ Fh:C;EU5ƞAQ$vvWk/n`yp=º;Z>DS7@9]@A/ CdƮE^)hXzAws?ONfEU.>&c0+վY`)B"rշ!j|{F䝏"^ cb>#4bKbȱp.W#[M@N ]HK`Mz].]{bRh| z#V?0_CF2Z"~ RsҴ?RPZ"Kh ]!Eu.8.b-mZsP@Z[oҙKêLxq@iNt1Ȑ!bA%XjS/}pj)qMQ_[@dק02_}e,'d 3->HKP;#_/)0<8.7Q8+)ZKwTߘH)j' VgCλ8kx ~ 3L+bi<s7eq(ʾ }Dxdeճ# ] X_Ưͺ7}ݏwO6=4Ó[bЭd8''jͯEX/[2t$k>N^{Ea^P:164~rFrG[chgb'5C9v;_o0=ehXh~/%*H9H=CRGsvƾ$C\$_C; ay2۵sC`xV| [/[w I B4!T>ѹ\ oBCBiZy< zXE]С\QMcߪaO=Fd:M& `bb]?0V[B> OۊKPaV#} OF㾲ŕ\~}F~j !ILH_U;o1ף+]fYA9>&[֍/͠VEïoȨ"[Z<ێ'*@Z(nȝJ$`܋^K6 a.QZmM"\q~vD~ȩ66 Vţ";a(|PqQ)Ukp,9˻(*\#+ќѦ'"wPtV]M4H}@!G)qH$ex>P01wx62Fۏ3W>D