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 >-L ]% E_Transcendental:threads=2elapsed=132.526cpu=235.252gc=10.224factor=1.787zXZִF! ]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja ZN[E`qoTq$#)bI+h>؇KFn R6*AT 37w&`r XaIB\fBM;:@;;!aDJg̵:mKՅ8 *Lҕa'Wm y@{u#EEq[oCȥelL. :(pDRR-by~ߴ̜)t!jWlj js8Alƙ{&UpuO;77֬{}߱j7${VHiǐk*kŷpԓ[z:JC1nFiFPSsčs"*X|9x91e|Fr["+WMtհCL% Dy7R uͫw8bSZM3FʐКCp;Z6N~mhLX4by8M ~|ͳ #"\@xcx|F%dsKQ7\7CI%luWN03՗tX}'}8 gv~8yҠhVB,"yve %? Nj3Qo \puJ繱OȣϬUM$LmU 4&(fTZ-;t rŰuW>!'oeRkho)q{G^K$`&3˷4Dq>?r= LҔ6qyQ VRı;dV2$Xbŭ\?ph-ʵE'c9cED_L7,O3N㔨û S":81dNe%\OAr]rxWs\gywzH,Vv7ar@e؊#ZX+Y;<ߐ;PIB`eyI5Z}+cB:a\y˘-^q5jc9o =_#5Y@8|kKs-nCʱvpiV :SݟsB*;]{÷7$J:=(k^p𰿚14/q?@'$Mem.`B nA?b\dW(ߴR2ۮ/zUxI7 jUgZ>/~$// ˡq<}QI㞿qĠx+Pc6ƛNYw Hu9Z@P4ᚁ #X_:Ǯitrp2} K^oNہPG돼*6;~>T: DmTBj &n.s%H|ӭChG:PΞ=HDf:mp%8R_϶M]DY {4d.iB:Ar>g)Q]!YWkd]pPgq퐎U}8Qj=HfuUNnUm"Lp:*R )L"2m0 a fMՌ#|@`ۭWP?9(l]55^%>u*}WM-`UV4C65}jI^ 'I*KOGo<*p,FSR!u]^¸[#vNvTЮg;qa6Lmc6Pl8.4yo㠑VN0M7%> َFiԺj,x U(ڑI &0U}iI^ԇ{NRݰawtz|CfȱU2ê?b>CI7F_d67R^m3,SM&ӿA05[FJ {O0_|Qtإ>{i$`7+蝻F!?t>hmFԪxsU El= K_qD2"8g؈Ƹ)?p}cENnF,E! - E_Transcendentalލ]V & tc: Mff46n!yuy i<ѵly0.!Xm \({%_ZlaRy=IKٴx|doɲ€c0@@+H  L]/ň| =7//g06{7.( ;5TbHc)hXh٥ŠACE304Ԣ,>[5;BJ>=i]N-p rjVy;1]Bd Cz8{.ɅJ-Kȣ @8 o{4:ϞЙb6f.XwedPi }k6"l?3'qÚrDő,5(4\wk ˅q?<$(KG7%χtcIs?ځ -W-ZU Qm.}_A0pOpJG~xj6Y" խT8yJ=1 kYYCuNE? z ٵ^I8KsHUQ`afY 0ik&+SJdp&x:h1!Vz$kVɂ}VrCyxA3']ԀYgNƀY{y(F`.ܤkR?U<$v/$3[Xtnv4>\LG)m M+cA۝ [X`MFae._گY3zH3`ϩɜc=ԃRuj郭@6JX ,tYl9"D e^M+m)?پ;] DcQB:E b>߲3Y"'N@@O;5%tT*v*bIȡڲ s{;*Gm7谸 ~_Q.\55h 7fnH G14`LUD`+Cx 4);ԛ{KDW6:m9k׮yʆc،+-NL6 5pb-K(uk/3EU g^}5}б6aKۂcңKw`+&uףoc2&K(; s1.͞   ę10fJmUL`BEzXAwY1O9{`z1=X3_dA_㌭!G!(f](=F<\!րԊ)rk8"ߟ* B#U=ԸI^#qMM|v||d21;1֟yoq xI c c&QC'ݎ+vA26DB_fSvV >b #D+/bX$ʑ8Z}D PDa;~ 1z΁ 8ba1%{ LgOU+C^ӾD?G_ݟ(VF9E^T +|S]3ac? J䐼&\Ġ6amiJf^v ;AUyPvOLl8@=d :P~oH2IrqQ]^x [\1Mzl(,BD>j|g"U${'ԉUh4vC]ga׭MBnՕq1<̛0F/'V4vH쾵G%9EJᛍzi̐(zR v0zVoU@B*C W}V|l~I+fhDYg*+L2sl3ЂxktNs/P#M-ohNĄqOFc: uؒ1_Ax2cgD.9߻?J`؎9f-Q_Iv99@o@#Ʋzkiݾ0TrH}߶Rf4[l]gGkoOz:yD AϠϝߺҰݯf+ [oQeE?aOgG1kuVdRi|26\Xɫ6wf[m']j<Biknɺv;Slfj*t^l: njahO?X( U \O^,s'8Gm^Jj|B{7v*Ʈ /E榨D4\>-^*f,e J <ܿ Һ_~25bDkvi*DCIJ+l,΄6a>TV)=NwVNH.yx,sZ ]DNGeٖmZ)+@ v1k]")*[tT)(0b?j˅"h[(#>b|D=՝Kߋ"[`K*C@d@)䫠Bv!JPȧ҅A@Wg-*ۍB18vivg5Hyb7Μ8~ @R\H(wK$y T0FV̯ YA^v Lb#zԹ1o%Pn4ZMTt 55YԸmE+.ѧSCJ%FjH5/ {B"!d]m-=.W{7TtE6$c@/ 6Z2}97#r >trY9#Zui c@^ 1Bչѧ<ݛV,׌6B$`rw j﫣}AY! wf'),Y!67q-/qWj&#$Q 3 s`zŠ;+i8 (Zfa8vbRD38:t!w[I Quӭ(ǚl ~c5 GX>wcԴ N}G}pi3~[qvOTSFD:GRU~N=[raYӕG7<\W4rp|gB΄ϕdNԊUXT&HcujYH MJZ+d" zHؔcH{SU,3*!ӆ + ̡Lӛ,u1{1VΧp'y\Eo&P'_ kvNs{0;`z2k*0OPYiG+ {*;dK'ʝl%~u/yv G0=1삾ܓL*[ FZ\Cv5b:c56@ Ut`?7}LXqrp;m/0͆EIХ-34}s,XQ`^5Ձw5!jri =N86Ìvk6"CG @vK6M%LDqwq@U7;H~ZLБС/2jơREœB-4],EC2ktq݈0aY mB#l*0aDPQCGT}h& an8 Cq- %ՈUc8Ѐ#9 7Cf$dh@ՀVlwW}oIZַ͗gʈZpxR眦tav0KּNҮ9l.ZW?Lj_YS.\qgOc'j'qG&1(s 26g/:AI~OW/뫡uu;Ax.8^]nfky/N\(Ҕ/Dݺ^W٩Ӫܸ!EB:Q+׊Qrĥniu/m!#`8ե 4-ied-&PRɅϪ+ ք u+a֏u>`2͇>4 Y2桏9Ɨd~+d!CK]o;}\^|+ظZ-nG|AF.ըNkMU_PUdSq@C/^|QJ/vet)A=JU/Ӯam6qb}CpDdtR1_] LwWkK53Ci66!6Cy1zb_jITRCM$7{HTb8n΢рWӅXxU d6ֶjK(:vi#[y+sɤl).~lJ9T zcxU4 ZhW9&8^@YxSx`6EX]XJ y:͊1.Zgq"/po Dj jw 'TRw+DDFzXc:չO(=yҀZF(d1p?>V퇈̮Fbs 1 p&&,fç(b:8N G&kזh |o͌)x9W|7EPEtm*84i´)@]V7kt9N/`,򣈊8(,(BC}+qM^ )+PQ!n  ]BbO]B':Q D(U}n4?G\L.iYb~G>e+V#v<0\?_ F:l>Z,*^`P0զgVQm"FjLur/8TJݚo0,߱s`UGck&sNNi{|1P\2B(kphOZ"ʞ)kݱ-"jNnTx1a͍B4.eAzǺwplC'GJTmHa5yV y0vKީX#4~m{<|yַENыZ&EdA34Ko*͇j3`KةTʪvjV8q7{v@WwH4h톶W|T^!lijD&rƲo`@Wڞ`j-DV^X wFe'^!R.YDAJ˘ s1L1ƀwZ\&8`#=B%d:ަ xU>qԥ$DH/k00!=u MJ # UZ!~޼<侯^{߸,ZY:; HZq@ƽ 3huX4 ?Ub/y;ILgZ KD?C{krX֯Ռ\}QSPo~y[CHy1dRY^]v CƟ+kتL]RQe?r} EFHr\* کO v@(0S1+ n *ͧ:lC %tO&