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 \\DlT ]]HOL-Auth:threads=6elapsed=66.691cpu=306.296gc=10.268factor=4.597zXZִF! 7\]ŗXf1-q恈tMm-7a2B1:Gnۤ{:#b~N'\*dm.U!neTFȧ߭+Q1atf? QRɳvÏNX8+q@n\I9d*5Iƍǃ)9i&iљ9c/-e׬/>4s2eXS?`VK )Q(&\kSoɔIy0u)'arN"1brMDoRQs9僻Z֊EŻNhS`NPǃ'sgpS蚋A T \qyVFid;7Zj%?I{CLvtax. .U`w_GCB^o^en>SWncq_ KH'+ƥE5 4-/po ,KRc4,X6@aX᦮'i9 - YBKfiWKO`E6;]çl4GJ( V4j3t/J_`5rq7|GupVe.d~}ApZmPLo[klQvϘzEt@{* s\a.H@~SNqIWT>wkϨNdsV|QY,foP|?mEX ttA8}ZE(b Gm\997@ZMnAĀBtd)3JQv)8s3kF,w=B΋0v1UUx%H湗31~_C:hVnX詫uqEU TjU ]|BM铻+$8pAVATnNA>VK20!gpfR{M)v%t8}F W)@RCD"YԬmEyE?.i16Xn"iQv&# d) O*W˒(Ӟ|%E̽2槙sn$xx=Y9}@tto]7?O^qcG==ptmԗr-:Ј4LB#:]h|O:B0_Zoz~t˂X\>7 2npZ JXAv702팯`N︝L Xr0T;,Ij:\W?0\}6ȭqz_ 71R3~S*mhT"ǬR…{&ι5Xbc3+.PJW׷ ~c{gݭ?;ē4N PM>7=v /=0ƹaayUTUD!0Ü7^YrD|zBɖ҇.E8aRs+ܿ35Rb Ja썕{F\=s©TxlB zZM#DXÚ-#P:־bϦQ! tZmmtn%KPU)HC :7#E:yڙ%ty4$V>Ҙ2'lIV Ee~,w㐇lǦځ+_?wFӾ+w1G4;լ@fEJ#NZ}Ș18 vxB|fG'+r*+ц{FV?T1 X\p>YpQy\眶bd4_[W4f%谽@ S{E`rnMnk;7a(URZ@[$*&Ӑ`8ݣk(Oq3)-|.F=pȖ2eAjLHh`Cޑ2q M˹;bv,j%StO14s X2zf@m!}=cp$mtIO'ʗV[$pkHnԦv2Qj__zMz]hphS]"1&ϋd;߼tWK=$A/_L)|"ejgļf54Hz Yw yE &yP֌u98TT5~nNQlwʗ>BzYﰖV=>%g#J 2 dd3Pཔ f@d"$`P֠ ˥v\s4띟 #pF^L+\48#8gJ1R-|KQLfKbZy-'. D 0O\y>9L`4#L1qaGܲA$>'9)%b7?Z8TS|j C&3VB$*gL'| ou\zlu/yAX!qpɔ bUhmAК8vB{Rl .cJDI><~+x7z p|"%K@_;ùAx ~(avt/SJ-' K8N& VóGG>{wWH}AEbδNREd#]Ø=g-@%(?0qK D PD|ySa2c6:lWYdNũ֌Fj<5f?I~&c_)ْj~>!Rg.et/!L cE6$_)0V-",R]^)&oglA?ܤ\Y-[N8'G>DG~C {CH0׿:!X^.ɯ,Pⱝ>cV[ё ,YU8Sjo73  K!ܺ?S "nD|m!:'f6+>V`Xc7 /Xʟ<* bí P`e7=hNm7[:t"o0oDtBc辎*J)fzͪUB_>ɗ` ϟK3&?f}(GZy3dȕر"<;Op@LjTq$ Yf6!<p)MdžOmwhJ*6Xj֗+c%Sŧr /;ϼ k-E]2,oő(&LgYZ7zXZִF! =]ŗXiɟ16_ U'U%MelEWNiŲQ"QlqT sB4h!OPez` ̩{ z_?vȲWkoϬwpYGfx<ց*.ݡ۔Y} Wv;SG3n73RE$&ފ #7tE5mG<$UBݭ ` #7i0g/`+4"=#R]IDoDKZ+߃>/bw #p q!lB.J+8xJ.aQOX1'sى/1x!f1[7K^A Sc69_tyHᢚ~ V9 \YK,9A5wMAlX<(ېlKE |Maw1MJ>8 2 `gdѧ=^"rmI=ܔP3gYȾ4'b?7|)O{BuBC%^nys:2Pa1rM@ >xW7˥t,< /1kV]vVZ|]?Xe IЫ=gP$5Bi{ɱgYZ7zXZִF! 7a]ŗXi%9/fw^wOwrv#!H8TOb_M;6.U{އa=)d y*޲>†Yr:e\ Di4]u&R3䳰)%M 3){?i:i۫bnم>)Ng8P"I wX!KVJK&8 B4df`bB_Kbu ݤ5р9X.Ed)t$.SyRMq]y*sѓpJΛBwpz$Ht'9s,lѵ$^f.H5B4Ol/Pۆo$W׀FKT_!ׇDH_bK+b*U@CT2džpz^jJI'׋:0X1dC \.ڇ~@SgudaCH,5XG!} 0\I@-ET*jl-EbLYQ.$,}Vl\2p/QC=~zsN+?K9DwXK 74[{`Za(A*rX`V(ģNrb. :ǖb9X_3 H]C$5w]%;=U\,Me?%)Sm?7:{4r/]]tj='?7-ކKUrLl 輍99:nǵL 6;*P*5ܽT4H )/2rI_o`HA;.!bbj__:vwܑ|6&Zi, ihQ⇤Bnqɨoofʖ9T\ZCUP̭q(OPDek}:`$фcژfpnmq?>' _&l Y~ _?c-Gwم1?a=d%>K(, .Խ d} A8b: 2\ -B@ﶚ;}gt?׃ʌ㟎i טˮd18r`wDK>ʢLjL,s.|kOa:}{}@qp93 㧝&{\FKPu u".;%y:Q@Y=rWf0-tf_W-"_~n 'Js~/$p¶/ m v& Ip3mt QrAΛ?[ip#o&.+dH-mD9+W󴳁پfHk//<#!+;1&7k1…aP>٥]ma­T60uFq9>DОt]&gټ=1,qd4o5J yQhpݤLB2D )2d )x؛~p2ۏX`򔭞%@c &[<8UarazvsL9+订j[>yd 䫻Ւ^F >T޺ 5 9љnx=}G,7kp{G}w#sջ@+H|#cv]k4*`^'BG@=墏VXu¤$lĜ*G8A\S#;)Ty~ӽfMkxsS0 D_ %w[= DȩZ7vg{YkeI^{xrB0)0.QڷfvjVJֈ&=a4EdGr  *W(1lËPArO6+ Lʁ ٦(|.(jeڲxD}/}UnGo`Žc%_{Xޡ+HbHpl#yQʌx'7m0wFko2/4v#lgfoZڟ_ Z-+M'V@ɄOe+t%Oݓ2t5GW:ݐl(wTEPB7e\.8b\PxHeS}IC%b?DZd]la46a^xu6T'仿h_rqM&~|\2x/$6tU:<.;#˚i&N4vt(}0GY.៑_"{%Dlx;1m5ȢiT8&4sp|uәgSt )S "GPƓcV`UAUļjXb4Y0LOyeNREWCN>7An*YJC*.&N:4V'̏ Bu%0nѹ͏֬L[o@Ü#j@ ND봭F|lmEan³-q@^8?2るX0 ~JS8ݍbsA3Eim}lEsSX @evCjYmi .LP]H-0m2Le9zT&GW6)Ѥ8++kU6l;8EF+2?&/a1$(3ȓz[S,vtpc_*nIC&٫wp\(jd0"^Gb!'F&Bܽ4#N Q_7*Bu31WDtփ([-Ol͞~j1jd ZN  ;Q妉w+PYPTH=\) .C.tN)ӗ {kǿ[$f/BYqFr7. K 8EX>HÁ)^¥ydQIAN3 tc;%FC~aP؋m"#!S܁lN)h' r:VxdkύbW:ޕիVa]F?9ٍ+F@ހ U_+ռ>9B;`Д(KALWM2dJjurE`ZyhcdTN-kަ9vn{p [o;yhLCt`/"A\h(nس(Cc?eO,,F Qʕ\__,C!ҵmE9+L} n԰I G`ךcY(Nޢ#'AdWE~h^177sX¿-G,+3`-0sPwuvA2ߊC@: |I1JL?O)#y"X{nD("I=T Q+{Q@#$a:ԇ\>ZX+CC|uf8 sGet?[,)\]vp8*H>smY +mKAe̩QbG<phS~7TP#?D@*ko!nn _?>Z IΚdɐy<[?@Q(l^0V0#XM22byCν^ pEwK貔Q~^m;ڷSgҌ%H:p : x\\inϩ=X$4[)9J+io ᅩzq $w\Hn |SBV'y'n 9Ziоk(u1b䫹%?lWhd,Aq~-Q-8(3yUxӒm]6zƇŃW> Du&-y#x+'kmy?@3{ +mcC+ : J3򚊢tJˡ_KjCK&}ݜi Td^SF<jD9/}Q˙)Ē[w[U7AA{kCcXXwh[iH"5=wVucػ#ԁJ@q\~T)A>;u`6F%©Ym5L]Noҹ2dk+B?tu.{ꉬ01x~zW,Z-z4aҟHIȥr)b( zݱ{ć(Fx|ںVuAhҿ|UaG -,̠,'^+T F?_A@6̝M2̋<_pܕfd@F9ldĊ"tm[DSSZT#yPPg@m[Uoߦ}fb 1|/v?  fF)H#UR2)TykB2* gYZe4d85e08efe9a21b31b65e69a1daa2ea4caa5a2751dd6ddf81f32d1521a081613e64272e00a7489b 26eb0d9d19e0107059d575886decce0ced0ef3ab 6c0f34ea0fc51fdcbad05b7638db01f5ea96b003ad2e31b5fbf088614aab6e1b979e30a54109b7f6