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 7%`no>"iBq6 BrZkj1FHDcX-ԉ%Ֆ@^Wa#+:0h@ e+ʪb@E,tњ /tcHƤATوd 8=*p cn,]V>^j9D2t&euʚyWKje]`"坔&x]RX_r>V|Ju蕝Z0;E/7_H_HMh{XZPc]G"kNS:k1 m(ͣODnwZ=4/l >bovй\@w]u$*wJtwƀjdH4ҙA@ǁ3 :NT_%AGxN,/q ?*T,xzÄr. |X$sIr؞s~19󠵕.'uE;l5 1pKq>s^] ~_&eB :)^aS  ]}J(9,+hHĠ?h0r[gfiN`X =?o;'[%+Uh"Жa(PuVL- 17&!,f!p~3"%d%ztKqe}~+H1'%bDmeҕ?˞d#\b7;1҅u5#KNs"ql߳$In:RMlzxN%j m 5*}#_pl ˵gԉvgQvŬ;qrU-aBbVkmEQACւ9XrIDY*mIaAAć{H&ϬYpH=HPf}AysIXAAy|)Oqu;@Ap^ J ~| i,XcaM{0EGN[{P e.#_-f,䏃z퀁z'e7mv7)8Ä#N &6EK'>N`vQx+he'nI@Hn˶(p j AmmٟG(DX_Ϝ`Vj#Y'`F7x!iH* 밲MhЦ!K2rrOn jWdZ)5-kL% IGq4ͩ6n~%f5'q+?=D\[@E*v FٺDj gYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&XYXBɑ]FVP?1(r[re!pa>jhYߤ2EOB;.Cbxc/w+EH[OM d5Tb+:̬ՙ2#:?tQz$iշP4k~s&u^4H]#+jnn ( `h~%opqݛյӱ.{W)Wif x|̲dH|۹x! n ':#snI3j_WRKr7Ř)9<SΧ3~NBbŦQUDY b듖Ү&p1JTg3XSCP֠ 8JL,P*[jD(rj ֗(́C형t̵95n 1igYZ7zXZִF! t]ŗXi%90#"c-7~@ׇ' p61ĠY7yqD ZaG6-bY+U^еU=8 RsK$W VLZe!Z@%'MFT tHS˜w?Eo%+P饔Ķ6õc\U^.AYZ~.x7,<3<;񷒺Ny{:^a?Ch<] Z/]U֊!>ގeɸuwϐXu.^|Ydt̔/)ۇE"%nŝ[sq^=đgRQvHیDOeWDz.XǛ4ΠU*ss/JY:SՇ2-y Nu{Џ0I;>LkGIQr׳6A,fezᆑR_ }Gp2R0fk ܩ@_]1?ewv2*V}b\t9{YΎm9H ix\SZu8{Ҝ?M]U`7 8YBRa4L|&oFORN_mn8 H~c7^ $⬕_TB,P^h~+%V3FthzH=Uoy>szv$tL?wio}sNMIr?,AN5p =\AچU:{&iP/c?xH,E {rL]M;5qA7 RnhmA؉/;K@(Lps\`?]\GWX?]4&p6v@KOiTz3H)َz]<*ϣ\ernRmk( -yR5TCG6˾u?UsZ^gfbC>Ь{84_k ]G 5oe$74256k^nX<ʄw}Tu ?E?,$!i!rknFB!JQ3?;B+;mp' ٨EY{69?&rOaH#Ү Wq'c98>'m/E{}`i Qx3 z y+WyTtjNv-!37+/=eԈIw/0aO2p/gYWUrh:?3 /d ?  ^@:K6 0 E:U~d#͂qz5w"})dnr4q^Lq8s(rp%*|׀騲yAP*RٞX4r0)eY:I0%R,Ӿ aO BB:B `b]D0y(N$s9d\Qo2җ" u'iq DY@ӒͰ$U o.S5*eݼJuѯjճ*d8Ew BuSqȱ8dH0w-ӛIidC˿d!jaѠqHsذe*Ȝ MY 4 mt&՞I-E`cAqV58QȨp\^@vy ~;_}x`?[t]圅C `acEPѻ08AoBix|X;#68 OJ>&u(:3Qk6[{Qn|W(9y.)A<n  cn}lBi0"g{%= >ďʊ1~2nZ r3~^@ jxB-jx%6Aw-D֣yMTErB Rꦇb`~ ʳbGp"ơluB]~60T= ߷n>Nr#¥SViK֎3)U KUAYHPǿħ/jWOl:=aOO37i5;<4B:*<7̼8~5\u,ܼ/?YD]^56"1V-Ya; 5_W&R $8%޷2.vqY^^;`|*,_y)Ui9:p_V0eS%)7|DǬq7.{W]KXCpλt9=kWZHV~gl|4c.x0}w&Y-.ylC+f[0&5M$6*L&w·}r5F;owZ}QH?7֌bQ\x\r񅕋twe&>CП}B6}p%?8D8aԩY䟔=lq u,룪"1Vuy y 0J&6jV=MEBCkz)^`uz+YBX*f p7՘]_N\t!]#cɡ^+OS# JtM#חi W@AL~G+CNYxd7F_u6|Dv88Bw$>8[Yi/uuy=+_XQOuװ K=\}/)z$YUG"S/NH?k&8cRkhX}v Q[D%{Fe@%{mK!gkȅ-@{E^2S'O=5-GkR˥X]R5' K^Gum7jmbDCQP^< V+ºnm/l]`Dځ <ļRgx_v=;X)O>?ޘ;WWgT&jhɿ$~\{Kۧe LA/Ɇ! dґd㈓Xjٯ퀙S?N5QuQMBLu5_, u4* NY~vӫeL:gX@|Ŵ9YJ"] VhI0jET)gm/?NsrvsZMS,)|\_t^jLˀ_ye0HFuu`[" yEo%mpH@NzK{' z}~@0{h@Xcg(G #(B~+${o1IM *[PAs .ё>MW\w̅(m45J352v{eS:%h,k8i-9!NAYrV&WHWՒҁKtOnա_؞& ?rdե횓t)RfGgNۂ=؟8 ĵ%:N1ߨp<6 .:$*SU>m?9 Px˺5Xi?;cgh9Mh :ԛ4gra,FPQb%U_JlB^rreB7yjdEk؄ qΈyw +ܿq5Jh(Ck&E68{]%%JPYG+`p5~6&$%X6.׈^3護us?sGU{= g&-m{@|]ou#7 K SpJ{Сs+?4˨ޛ;={kqg`!lsUl`9I)^nNX^=5ƣqUE-Aa9PBkY)`Sգr~8Bn;<ӷV@z`@ʥEqTO_bWFX^xSd7Mxk?ȇ.(L9%hP@x~ei[GgcC6*.]g?Y@r !jEZP@qI)ngYZ0e2d993aa5701dfd71e43126227960e1e4e2c73ffa37635535c1a91559f94a7dc9acf81e08caa63c 108107ba6152a8567743bcd769d1dd970013adfa 7e4070d2ba524418af798ee984dfb220aaec7062