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 :- lT y/ Lambda_Free_RPOs:threads=2elapsed=40.163cpu=75.500gc=3.380factor=1.887zXZִF! EG/]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:MZ+Rv`pzV - Lambda_Free_RPOszCo;I9#u :rd_ޤS8S|R6.|dHDWO/m>ۺVϒyCiOY]*«;C6w -6@SE12beh ˿qaezߣQ2-@2qz^p+I-ey?ZA7Ԟ҈]ND;+󽽶_5Z^㼌`IՖƒψ2PU^,rb$1$E[wjr}wT|=ɡz5. >jPܐBxE'lr=z/eLjݖTMRߍT=8IHd};G|NYn,vv?i1C%I@$ ŒvQgb(f.׍1_3-N9@{ZSucעB̽@%N#~㸭E|7zӋ &EY;RcWx@{nYP4B(\x;sRO F R/I!UZkOE"",FԈqJ02i7%\ϲ5eT?̑aYrÝGi ^ƶUS Kh !Â͇g[K%Rfy 1>HL]|mp[~pvME[gslWϼYr7UdՖ:G?1^HVvN쵯J?]*% e[+0去 ,c~t U^‚L2F#/ǽC2\b2 .{sf1Lis~b06aktYXv.6Kپwbb.dm|rF\0Mok(Wt1nGHᙷgy⦠ ,݈4~5'ܶyACKu!_5W)^7(+h`/}~Wh/D`RK' JIEj];hBk$BoA9 ϼ]~9^(2Bxg{Pgc](afTSMP_[n]kn|cD/rDWHϫϛREC_$_C]'96; aw#Nܑ:1֏D҂'S(QwU:@yt`<}+&6V EHp`*ȹHñ֘z#`%5}89cқ8^eVQ&{fFR`؏GC0(o=MZ[DD˺ƣ1\Sa8p"sԏjXG=,H¤,P٠xM|49Y@`eFyu[U3kW3 wm]a)dy!nW8 7 e0?{RWG&e >dӑ8( -W8/49Jfj9jDwba)Ja{dL9Ip*g@*Y^Œ5/lEICɩ- p7i-.&is2 gޤKIId DQDŰA@Wu+7tvWla8%[f k%0'!M)Rњupjk=J}Ј3jڼ!Xl Gy^T k w-qB8utzQ|jFѦVKcUlDpH9.NeAN^wMֆ=Êci=>ƮYXpU G0ePՆs״ ꖍ |E~ܣg7K3U7(R7q<A5f\CfZ֫;Ds{V)[^+f E1T1W$)+J.~Ir:e3o-YHS& d-ZS7M-[VGճs<0Ͷ>T|$4ӯ)ZDy^lJ{^?x u#'$eV^Q@t$zaQE~>"@YXqY'Y <5% T7AiM_2!"K |i9Z٩lsa]bDXaY8:y7p V}/@C+]Ub3H&|350݅/N/NV!!{98 F`?s۞!eحQ@q}kSim'/智!ںδ(_!]r/̲]CT\l#.)V^ZݻQ ] @)HDM =_Hx,sE/Rz2*} GRGb5@6bט88)^VIb4]IRi5lq/s[sPUË]<$U r=E$MפjNtXЏ(aOkp8)Fn h={u0KrhH9^ )*_uJS| l(1[Mo5VnC$@Ҽ0 )W`c4o] )"?a~ )7)+ɤhXcCa\{Efu66ba,#h~c.UB3x$K! A/4ظ_tyW{\ v7m8~Gb&S0lFA᠎))()W_7QE 07/vUAtF2W`i{/L Pb^_|U%iĺLI_OHfO|||g;Sb=[* T#M1| EȮd$}E<,C zSx:!VLݬp$x,Km]얢_*:}(pE!O~`) _\d9BxA}[3 ,J4ARe>jN^⥠dz/oKɻ7Bu*zN`pr@{>V<:cN3b2GBX OJWn3R҅4f"彀1KsytiYwBIgT(فR}݆G<`H]^¸C,8M ީO[;gjwsVAF2kCIM*8rִZ H1F(+*Gbs:L?jQk>jy,!"ggp}OI8Q'g p'z5]GLLi;F)QKjPIuv 0Fn[r -ǝT89 FûLclawHh4;%%GhjLP9C*+)jf}V=2G:AM17OCU-yF4x4GLX1P#Bz$إSP?" fE565QT_ZsҐ0ueNmXD27"<, 4+ O1EM`l:Fȭk϶rhΓybܷ2lwEq$ b&{ƌ]MPA}q37~;%͢|U>HKB0Ȋ.w;g YZ7zXZִF!  a]ŗXi%DQqxpBoGT <tni.BH78jsr؈n+.unYQy#Um!Fjkc,8.m;u/hkԿȂI|">b2*fy92bB N` oR`%NBIw}7~`f7=Mvm o>g.np媒!HEb6gYVI6ƒD_9MI32e4v(s :R[Z|`m,) 7_SRYG}`riA%;-Eo/]ѐAo`l ffpn *t@,_+EJtKe[{8.!ン|Eq8^3_b|]K#2p_ :%[e ßp )^{`,L=<"1;@c4Ӫ}#fGjŔ;mShq{gs9pS \sNuULg oFoXmHmc S0@3cl6@tx@c/baR*U!5c-\W%--"3[O#>~N8"r>#{wuiˌ'Z+Qr~Rx@ߡkH{(@s&kAuҔUAW:.S0$Kru 4ߙ7= nz.t|؏:[P2}8V<` BA+PRC`7^NC0Yrۦ_#RM}ahR~{yeeBRG{g8-R>/(~Zo&\W+|P' q"@1%how5X"v5ƺYÔQlcUn?Z63"H,eFlp T-`]Z*k#nrʏP ͶgKgCGa-tVp$']i[һ016\/GoS}P-5v0Oa}]ʁwzeR&p_H;@ Lԉ'qNЏHσ[eK3D8ʕ3dGGt/iw-0B'l'-'L[ 5Dc$1B%>-ԈgskZn`844dOih' >I xtSMVfM M+k)=qG#Sp\!ξjxJgCM`Yм!x`3]_:}4Ӵ1K00 k$LVԐs# 2ʜ;!́w]( &LXE#9D|3*G @ՀS]y/dK2<̷-1_p?K`N݆)]NY lZ" WZ<4;V-c+C)"g.R`7%;Gĸ5٦L7M{v"^u}ڽ\'΅ӱ$EcXJ!9N?|`:*7T4x;2DM\?{?k ݩߤ uM=wźU̥idN<>- P0'N˼1-! ʻ0hܛF|<jEc#]2_ ͥ߄-oEN%A|3NcFj. C*[ݱ2fksЙR{QۓhTQY3W Hw;w5'RWkϒC6byp  >?6֗yt;6Pcӌn ЯS5JJx)AK