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 95\4 '% Collections_Examples:threads=2elapsed=99.683cpu=192.956gc=8.104factor=1.947zXZִF! e]ŗXf1-/6vRZyغgЕgQ+m$Q#3?#5rN[#3[ahhոىMUms 5 Collections_Examples3Ew:\퉰!0h Js|0ۡNcd{ Jo^T/@.!M @l):e}!48pT"=a҆xI>8R3 (G(/޵iXkK5ʐM' fCMĺ4S= F7D9_͚j2%Q)թY܎S3YTD_n!p8&lb}dL߀G/wGJkΪGWDo6 !ꢧ:p7҄2­'`ڠ_? KeaX ޮ(n[o%-.^_%AqQFWQ:3F\NKUtZRA@^>d88ʰ=O)UIIc='+|fI/{]6FaHTNYC^ ~:|Brh-\Ou=R!K>@QT-ʣ Rm8rVu_%#Yz"S~L8egTPLz| cu &td&++*jQP/I}̅+Kj1a}\))}7Ɂ]@V15 u_*Pvyw MMchd{2﨡ͤPGV}Qnzg?5eQ҂%&2"N8PAk֡j*(JgQ5ϲ`ͤ(]Hr3_.QPl(=g FTn7|eO\tx~j?!g5\oiCK{0w}"Aͮ;0<[V(NqW>L%G >GdP".5ڣ^b.So$!mRHٶjW9&f4o lSKkvX6v4лx;4}L0ԣҟ5 OPz:ߏ8RN y*މʣ\4u y069y`USID>ai܃6j8;Fo^쵇^OleɄ* |<cu6SKB@ 0A4ѓԩb$0ϻ&0f.[Y%ǘ4)_ ?=\!~/U/ Vb@{73- D*؁a]ؓ+ĶImJYڛvs~/;r0{96`B7 ֖J@+qƬ8~2tYfٙ6qsIN9%ʂɀ (n}bc[eg Qd2Rx3s:z pqVt ]y,+a Fo9J:!|ND򵘝}*&nPP}_96]@CѴ-fS4Q_mኑA!GRp^ .o ; AQ렔|KJn{;tܼW Y&gvhyf& s][fe_GJ tT]a49'e|Vm ]slkDIqgt7T(aJ'M9SD?>,oѣ@bfPۺBcj<ܒQ T+Mq faW²ֆgˈlQ/NJT Զķ #"8),4ך A&Yi̦?\&n/c[~]~W ݂ddגYD8f36x)[m#ze艹ö:OČ8 hpqysN?Ru@ ?yγ6m8P2&B#b5z ^ihB?uCD@! ^(7{@ [_S:!VO~ҙbվ@ 5\6 C3JGVE~F (='E-_֎sݍuj['E,TY~(tar6Wcdא  [Eloiwlk7 ng9vߡ"m?" H^&!o-RyJD0/X⺛/̼ΊnZpwSv [[D_N/Ynuys܆<tڰA|wLhu[֍$^ْae91CƄZ@5 {Θ}win$[_!1IKXߠ ռB-zZX1Ynx^/ {(pkgMԉ,>KW$xyqNq6jfԜ'uJ@)yCV[ػP|&> 8lUxKNey6%Q$;ueEɈY_Srtb}?b>/m,#?x|rgYZ7zXZִF! &]ŗXi%Vo/CD5/∝dcVet9f:7Pu7} @;PYB)`N<엔EÝmEidgQOoǯqqz+)"l bo Yf1Juv͠xb,oѾ@yrX WK fJjZJgVY !JwdD,ƧOeCOrS v>#x$kKxo$%R!(p/~υ:~[#Ŀ0QG>: ElK>BKXv̮v~iTzHn/z3?'}s>B7\ -\[ ސ8h^Rb%tfk_v` SkE t$&+Vl/oSN0EfL9|i,:kA6~?'쁕m $ nP>rX\YF/z/3TNC {)Z85 ֕崵7L N̄0B,ܪu͗6ㅣ Ų܍Bµ9>jtБ?᝝Rޤ^xmEܬ9uS>hxȳVI&ӫ`?SzW<řdߎNAL( r>);9ߙK/bʨʽRnZ6Pao8C:^D%bF/s2Y%~= 2#_Sq F Ac+7A:O\:_!QXliW|GA @/7xsysѣ\Nc +CXjgcfPQ~kތ]_҈`'/(weu5hHۋm[zo6BX}:C>dGgvZ'PN(D~8UWs},QDI, $a"+%No#e f .5Ea}yB[, }FR. f! J¶urߍNba@w JR7"S%kQuaA)թ{تP ];iAl`|9TB)-F-?$'+b*T%ЫI= :)}>^d pC{P-K\.Ք uPZ-R' xlg`x+I`)C?pF 'z.F$ hm˶<{daB5 I,euy9?Y_^Ό]Wh׫M5RU"W1Ϭ]aGoH܀E6hH!2VAJ ! ;Q̶Qm5Y&3 T&Zӫ8 SkR4!IΤLz%>{^).\AdK ,eevG f|d |oz7/. }4lV$8Zp_hu~DݬbqapE)f t~shHW%Sw /Zj]:~ڼ6J#Y܎v0oR5[0jT K!# 7<:r%IwP O[^cٺ_"1 wv9;Ǐt&aЦr-}2 >iad?6T:5k{!jBow?s\ O=ߊÝ2ٮd94l!G HMnCg+AR0?7,9׷1[JTYW44oQT{ +RFxNG^Z_㑿žM70^Ci_.3"uOٗ{]Nӈq9eӉ88<҄7bzmƫ #2:njj0`_&+G< `XهUh*´H]n  mbi}(H|~kwtS\r͖%N~Ce#Dlp?مe^PЦ$!v:5Uގ02Be%uM|E.xM {=aœ>E]nQivzо 9),yY#Aھ W!J3HVd:6aV0]!NgEw*LHs_t?V#V~Gm%L `mo@Otm\D+F^NLof"8X,[(of`9<98–`LtXj|9ȤBnw_ޚc1/$.Y52`vpb;^z(w#B vW삽/^99 dK9jn53I- M;!y=ASfl{~R<\WLOBTG|S 鈏w+Y{¶z\WWnA"]At묏=zL[u~hj:\ ceܥju߸U;NM tD /5%%,@O[ ʞA\M{VՍAl~o򧬃/Bi0א̓haa(Ok{V ~XO q  ݛ<zI!\l1qNwݶt?{dAjfG0 "Kwb%؄["#aA-2>PA ?MA09?әX1IbK萮e„ ս1D>m;4L@Rnrp ZneѬ;K~O#4ym< 🤥`SSr+ơ@AzSWO7芝bX(1S]6E%T: e/pF<\UPc@`%Ӓvmt4dAd&l<7}_U3IΨ! I X7K :L0"aS,xl%3R >qܝjmQļvԞ)UH|Jt(%t^gYZ006439cf1ee7727dd0cc8b37aebd9df24c4a2e55 17d6ce7fff517e9d059f9eccd6867cbd4eabc228 2b8f81e2e14617de4b4bad3bfadcaafcd55ca7c4 3073f5672cf56b7971f9e4fefc4dd3fe94860b50 31ad0307345b52f77bd43046bdc9bc66c32796e7 3c7b0e23c47e07bf29efcf88eb6805050f6e145e 3cd568b407435e66b10daadac60f4bedcdd7a740 4ba0cf25a00ae7c7178c57d51513bc02f0516bef 4bdd953e23b1b8b9181de72c649743f21b009c11 56b474ca18fd648c12397c61c70868de58f1bab9 6651e919038e8fe613ca3f78fe811b119d567117 6a93ca85a902c26b6585a17d7cc327646e0eb1e8 6d84907d1c5936da369dd6c77039a45723443956 6f4afed122ac54db282dcecd53dd2f48a7d09d1a 761367206ebb93626297ad4b13e6e689c2d2e4ae 874fc7174184d3df07542ec61847ecbfcf7366eb 8bdac03177b895ab87ecdf136cb79675bd84d568 983c0107d91ae29ea08dcd6be73913fb4a0f61b2 99ce18f2c98672d404970306b322d4a7c89d2149 9de3cac554e48b28c0fc98d0c793a9ba92647d1f ad40df5861c1e58c7b1a069f493f033df034555e cb45aa29aed037350de48fd1f2887efad358c2a4 cfcbeb36e9e4f8f8b9074691439a1f93096cd4e6 d8c19a9d0ef95ca165ab52826b40c7fea2dc7b2a da39a3ee5e6b4b0d3255bfef95601890afd80709 de99f67245cd832093c0b48899a742ad2a82e388 e103ad793ec58ae038c029c13af415df85473212 e484526b6ace92c89f3d604e8cd879085c1d0f0a ef7b9c22d6155bdf374c446bc7117fa56cd310ef fb7e26c989d75e3be9e5b319f48812d0eac5d12380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 0f713ff64db24183fa804d2aee69c29e9790968a 1c25d03fcd089eb5de6e2cd99711c3e700579008 7c763342bfe34e0bca97c5267147f396db28ef87