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 r5;ThsrPw$-TTZ/#OUAɓ]& nô.Ppc韏eGyLQKz4Z92?Цㄡqeǔx޽g`Cog9o$NWD4>ؙA)෕x lI2U u3v٤g(.tK/uim>%DiTNS[ yAmː}khJZ7GcaG-7]`/\u'IxЀ瘸3Ow{ǞF 5 Collections_Examplesz #͵cyKg^n%g"*ٿ@~Zn{y5ٗtK_0`ȶDžEb#a$̑T@AEW&eXQ?/`1Ghƿʖo_͵[~'fï \7>d 8o `%"Ƚw#ͅo52ߟD;F3C *('{'f׺*mR]2W zzl/ ɗh4(2" 0R1^$`M'iB>xNvdUY1$NkLMʨ yV´t-&ܳQH-3_Iyŋ@ڬ۪u93ǖ;.˾:#Z&(cVQ!K {4Y@ ̣n2sle z*e!6?Pw+R!C$^}-EƗ}DG|\X187~2z@NijG?tR>(sz-q݅}0z4rsQV{ S@>}@U\#PuMt6#d$)-A^,iUwid+5m|.W$b 7F߉"}r7/W a%l{-耷K'MQ,>}xJz9&d|K7 Bτ"8Y)Y B41b~2( sDŽ G^ԋf/3Tܲ$^1GޛEޘ{Ҁ{Mɠ` q9]w nveuRWrX1nՐtKjG#AϦ@"Z3V!)ܤySUE|+^0UF_E?i5 4щoӾ]oa b >+E4*\Rν]L2n厬/ie~-lg-J7؟H|҆Z/O}85տ/!4! oǫWȓ8ZV@c?Zi-}kҚaQ_Nk$xqܝ)/w 0c+j^5Y}b,n`14{ 8D_0G??Rt܄ֹF8QnĿ^_ڝJd(/KƮ:[3jVpR#zCٰG&_%3UيϳVwGg Z./[ L"s  |!sm)Xd ur1b*D\d($6Vh%OH3n.H~hhO#W ]&ԣ׀LeM5ɬT T zk]![X@217G(hulZV$7$ls+P>Xp&K/,&-M 6C_tm::11ɨCȪ0i٩Ynl0#!8LMQڂ؎mSl5Gp"9Вf!") OHy( 4}n\OLBcƄc4ʋǣ(z|OExBî؛f7K5:(j;BQ &+JG/rrH23U@=D( e8pw5 Kjj fw6: CToQg?hYis2+#h6R`\ Χ} xTƃ"[ΠJϦ:m]csts/7"VK_BMpqkҪax) LphZ'ޚNk#pH;;!>Mb78f^}ժ ; mm9Ђ#zߨ/ql'zM!*@:} 1F!T6!xet{faI[g^V .-5ęItK&;qm°JOBp$ Q N 0fVVg$zU^Z[}]lX$׭ԫYHx~IŴ 5dIB<8;j r'Y/4{֢)Ǣ!D:0A'"p 46#a)RvEb^Jo*yAoh-0 6vEO@BfU*?ۖWՂ yi=}Ƅ\lN$"0{dCA} $ZG5b2^&1PhGlg4|(\|8yEXiQ |8CWNG4W%lhfAH2`Y\<,"LNDgP|k( (M rgYZ7zXZִF! C\]ŗXi% cJ=!EHY/1[vh(O^IYu1"ll'3jcDž8:#aڸJ5T2/10iÎXɜ-:h ԩh_=՛/x0@"N¡or2Um)Ray/lnC*mr~ oYL]> P%z_%2mE< v*pFG㜆)N쁻_ uP&>y ̞,9EfDc#i#`vDN_$!UM}aX["L1 b(Qy҈wzPet,|XK^Av^ jz^̴3QMȗZc 3+@_Bh!դ{*1lr\x>C]Y˵7ĆgKލC*e)? 2q#IBRD*Cg1\9{e[6cYGK'@,EIVgB,ClSN8Q7z\hBJB(Ǝ# 1P< TہpMKδR N&9| vIFX%9@U!m۾ۜVVglai% k v8yfmk.ej V1c H["Z08v )l:겖bB0BԂO$1FP_Lhb}P )cAwxRP=&$@".H@WώN^;$j226IDfsV:nyCܤ(SNyQeG]\я ys;"?V5K6ޑ\2ԁ;V!j{͇jg.+Lk"`w$b+uۃе>?5 חP%03e򋋡ĻNNӆc@yZ0rS,?2?._rMGBad0Ι<>Asm?|ަW6Sh=ZڍyNn 1o M*pIܚҢzo}- v۰=굍 ;)Y2P'bgCwnNbvpn<@2$Ä́0=$AQ9`< 3Վf-Zb;2ArtQ?o3kF{bo5)Ρn!p D;ޡkNT5x^|yub5Pv(Ҽ#Lp?_P$6<!3("wPӶny " >ì{.\WNTKhlEc RN Xlx}xaByGơ? 5RHC?~9`LKI9&ϐ9d`xL[$#[znSCBDz޿x wh1IT"!p9 2^9iq[ ۡ5Χ;(s}%FUQ[1?GFc [%Ao]i{{WJ OpU× ?t+psH; Kt.6,vڡ'Qnk[ XWŻU{'\`3UjDBn<CB<"[ӆͮ>4SL>4ߏ ߢ{):X& K^Wfq iĘY MzeD|E a%ƿ9ԕ_ڐIpxy5qʷF!@"wsf98}k?$jV{wVp|TUԆ!xаb~}j N /OruCL3 =hXCSS?_1K|KST,Y?:QW#8)\UxS8-'*4kp7V)ޝtߒI:lp+,AFE[_jc!onڱfJ`<[-]ٗrHͮ꾃25ެKDsf3'"9SߴWS `Ѯ/cB$ Z~..>(ZXl=!pj⿽ץxw=Vr#<'ʼ vV}I- B]h{Lʽ uP ݰ.{M~Zg|OP oQD%mq邈76H>g֛s)yI.R Ldv8a HA^V t8\5n<}Q9tkGFVb3>Im7?P˒TLXxW'^ L8q[j$,/A zeZ-n[ip:C *Ur_-O R5V%iŧ /M! mعAdFĪ;yփUv9V`UP*x)KTOs>G_89ʠd `Y`6rL+r #6ݱ@s{XA^^uK(n)r"-ѣGxHv^|,0NsHK6K.Caέ=H4rqTi]93yO#И=: q>ɑ[Lq>Ģ2(#nM_*HtRx2B_fo7'jKWSQb)H^ LS;I!c-ɯ2 15 2:_zG)D Y=2܅/VL4)0K!*VKY-_krM5>LXǩp޿=iv򡈃!eٝT~g-/0TV1#YEbmFxjx ]0ݿ.ZgM%.ջS(a#WsTA5`Eê(hOiƦwJ:tz\wޫ+ϔ_yeN'~lyA /m[ʵ;3 s 1@\~[m1F3+blc[=!>crz# , ȸbVY(ϢU;8\TιiV(@ ӂPt[=0Ne]fnTf0&Wvt ʕGZkDQm&k*)]Vazi0DvO;;zsfL Oƺ0cE4 lqq0dXU6)Xuq]oVB;1#XHO5}f'q$s4Z홍~WYծ HsiJcPw?!:Ϩk= "̲2+jblYa|;) M[VIM:y^}VӠ^w h87F5b@TR@fmw( Mq,b1G)\ҕ̰$iRnsJ3X!7ԡSf;)v.VUg*Ac\Yj7:Ą 0b~ʤaJ dCi>T[͎OBΆ&pO@TD^ E21hO%1|O0`%ߟ/z ܖ9$IjIvh7aoK7s{K sӹX@_\"1[/%)vWKk̽{|saFۚ 60ZwmIc'9 / 3j7^顆g kG\:jʰb: u,sWJpNp}:Puj;XM9 Վ,v%k=[BVA@a]l,;𑈨6-bJ3aX.V(=^!ͤ 4@Bc%b k1Yl!NPY+a63G4CTq?Zg)"N]X3g\&hbn{IaQ\z)aYT<>1=Ɖ"%W v0 g2@Q06s&6]ol-0z(Dc ˱gYZ006439cf1ee7727dd0cc8b37aebd9df24c4a2e55 17d6ce7fff517e9d059f9eccd6867cbd4eabc228 2b8f81e2e14617de4b4bad3bfadcaafcd55ca7c4 3073f5672cf56b7971f9e4fefc4dd3fe94860b50 31ad0307345b52f77bd43046bdc9bc66c32796e7 3c7b0e23c47e07bf29efcf88eb6805050f6e145e 3cd568b407435e66b10daadac60f4bedcdd7a740 4ba0cf25a00ae7c7178c57d51513bc02f0516bef 4bdd953e23b1b8b9181de72c649743f21b009c11 56b474ca18fd648c12397c61c70868de58f1bab9 6651e919038e8fe613ca3f78fe811b119d567117 6a93ca85a902c26b6585a17d7cc327646e0eb1e8 6d84907d1c5936da369dd6c77039a45723443956 6f4afed122ac54db282dcecd53dd2f48a7d09d1a 761367206ebb93626297ad4b13e6e689c2d2e4ae 874fc7174184d3df07542ec61847ecbfcf7366eb 8bdac03177b895ab87ecdf136cb79675bd84d568 99ce18f2c98672d404970306b322d4a7c89d2149 9de3cac554e48b28c0fc98d0c793a9ba92647d1f ad40df5861c1e58c7b1a069f493f033df034555e cb45aa29aed037350de48fd1f2887efad358c2a4 cfcbeb36e9e4f8f8b9074691439a1f93096cd4e6 d8c19a9d0ef95ca165ab52826b40c7fea2dc7b2a da39a3ee5e6b4b0d3255bfef95601890afd80709 dd95daa407b9eff33b9354a4c5349dd8bdb5be66 de99f67245cd832093c0b48899a742ad2a82e388 e103ad793ec58ae038c029c13af415df85473212 e484526b6ace92c89f3d604e8cd879085c1d0f0a ef7b9c22d6155bdf374c446bc7117fa56cd310ef fb7e26c989d75e3be9e5b319f48812d0eac5d1233b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 9221adcc8dcb4d328eee3595ffd722fa0387be51 2fb151f0fc1aa6354ed81bebfc18ff19269b9867 e9d4aedfc88780de349203823bcdc5a3a5b1a7ed