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 1t c BDD:threads=2elapsed=103.039cpu=163.308gc=3.044factor=1.587zXZִF! ]ŗXf1-/6vRZj3ZX7f\{4= EK#fdD.vgAt%RlIlPD9Ň:cBYs] Z-Uꉺѷ PSbOSk4r1cjmcKGZpN0JX"0w!{qZ@&Nq+K#B߂ .JNwDv   BDDY_EUc,T߶o[f-v؂C]d19ȼZ@CڤL,0ßmO ו`hq9%h:/:) `Z&V"P̭tX% Jt)?0Rm`d[ kWV‹${]hBkمx}ЕY_l\av$+ykM0R/3^7DI[C; bYeᏅ }o(ߺqKWa~@:5^ԳhiNVT&de@Cߺ^KrD. \`#B]ESqD7CeIp6Bxӆ(#ذS81Aq: 1oz7Ԭ۬/r%>P -D5_+v-=")["L#w ٍAA xEm&|Z&^FYZ᜼'++xfW}@ Ӓ$8%bʪBu{E>:J@&_PY݄ z\Flez wy'cnbxLq%T3fu\ƐėPQR\Z9i6/sIbf0EK lS԰vR|(hH(K!,ild*A5c[AZ}-!l9pSS!~%͙]'s|lOkvk tLE Ok1jkq鶠w?*~` v>.[ɟz,fݻ ɪג|8Ы!lz3uq÷"@}!QO~w#*8cS wU-KDJ,K! km{_R`-s; z;D $=^ҩN־աRj3qZա/iJ.y:;3ub\ڨR12-H2@loZV J@_]5 M g{E{qؙ!KkLز-y|yO!)Kݏ#}nGVեj5.yAL{f(ɾ: 49#"[MΆQ9^ƚ)|WrQ?Mts쉱z;Xjh nvГĉb*UPUvAs]?hNif&L(i ]LZ {N&(+. @=òv 3P] %2`e܂ pl # P)aYl52YUuSW-{<|^')8/tqUk}f19ߏn_1 {TYע fC7XA;{zOpְC2Tgڧ -ӏJu2D)I!C"Jyz %~hܓ_x܀`"+ʏR}BmHK%:~ Zjΐ!K՜P u 2C<*+QdZ:obUQƲ2BoQ<*̑\PhyɅG п{Ҽ>e7Cz7U@`ՕJ$,մ8)G(aQ0Y]x83cc7V I_9?bEI8MfJ[Be%kIk(3K\Y#!݆Ew g 7~r(*3f蠛Z>دDPk䀕 &x6z/nwNw׆^歺nSUx ^)5c7Gj㐖/ ~ R!K~iN&oLÍʝЦgƘƮ7޷n ]Ä[ h(B=GvVCPx_ F*UG9=d]NώW5u'}1m^$gփ)}u'K c #s0>6UXn/7#i^^r4QПB=*]5"#q͟$k|FێO3pH[b* 1c=6i1ϯ煋Sc Jpm1h*/AyhoĶ欂]#r3ͪԄ4⩂Y3`I@e*e"RK hvs⵶?,wU6TtpPѤ4 T/֓p0#F;:p9)etj+Ao7֤Cl%ބc.c.P5 Z $ov (J/u-TϹD'98;;8B>mժ(c66!u  ~c).|MWL~纷(%T bkd>Ģp3wC%jdCC F_4  SBhWO4*FvwRuQFwnJJ8"TJuQ Q`eUTtTJ۬|BU_ro'킵&`Ҡb+D׺\(lt˘Ëm \$x&Se@aia 9-{CWQ!9Zaݤ.׏ʌ#;w\ $Ėfkz L1U@EߤF#BZ7Rk n_zԕ e<ЁFcb:~Bq ^]s~4RcNͬC{D14u\w梫$PNHW? : eR[WzA(g*AKbڽ]mm'-./VW?R/iT(Q& {yi!ۑk,V53/ZeaXJ5 s% $4|~F56[3:FKׇr˰DoQhst8PZ3hxx[ !IAF~rlz|jL#4swL,&(1J.G=_uk$1dnt,2zܜƴ| Z}z1t}CV!u9M:>eP|+wGמhwyfĞv0Q΀=>飧3Qז!({ɒղk'D;+S8K9gCKa 0WSv?ޟ/ +lyd)΃CڮP2⩷ǺdsK#CJ12֍<(f!AYzJޭKcבI7gYry |ALb ^$JvѶtwI?m@ZABA5HBT#3гW4%>N_m8sGֳ ,wJ}tAjm?e*\o8>!wtg1 cXf346eAHr*)m3nqʠ$SצO+aNF?mw}Ԡ;3r[ _j܁05FYbBj, #q&.ܲg{\df4J[R&ѴGfR/Qlõ.݀i(1\Ѳok\&WX^ۜUuBP%߬Zעd 4AfHɺ7q%.VU{G06ɡ@z\{2[G@m@{A"t-aon1uhsfZ[c#N|?9ln.  >-bRǜD;24) 9~1CsXe2b-. F71stN֛ŨTh m0Y#|R< }tH#XmȠ1OΞ龆AN !CSV~( =R(m;ig':,SD8(.^w#ae]ݔl\359x0:U#kljh0ϛ$ɁhKmzǾҋ.fhU yX=O @q+[謻/c mu6ћK"]]mxj}%J`%:sP*tIѵ0܀A0 J,sXL;3!یf;.`σb֬sx@t䐚H]VvuK_M8g_9In5! '+!VYnkrQŽ[H2<3xg+Y=D~e@H!BQɥ髤F!0؝@\1.1Ie*&`|t0橬f$DĠ3mXi봍1$Wˋk !irڢA'KL^swZljeI"!Dq9Q2(cYfYu7"r}hP4q~K3;ԥzw<\:9=\b~ H`%>tER0 QS6{>y*ev90ރ T}Bb_.`~ O<ݚ4.hONe+noxINp`'xv'A5߸:Zu*Sk P/h%aht]"?q]m)oSL|,< =|볶 :b؀#t)=Y80_XC'Su>˜Y^/`?uH0_("ـKR2|tn]{i,x!pf:bB꼉{٨QD5(n"^R>Q,TAb6Ê՗y/oYUvzz1~K_ {VU/EJηץM Ũwܬ !KϞڝǸcIstϐ6٧CV Fr̜2#^Ԝ߂^>X"9\`dGdz܇_A8 6 YhWҮa}r.;Ay a~- #ICK%6௿kȗeFP=j -s9,RB#IRG+ז*6Eݪb8.r$. ++ꯟ"yFO^ゔ{DQE?ż 8J~ȫB,;%s!݆,7(q*qsm]$0zPB7e7_ѷm0᾽j|%Rs#KڬԺ.۵B?j%q8 |,**(ż#*HDjѸɡj( ![KZ$Am FncDT@g<IUW!=A}nҷnG-7|gYZ7zXZִF! C]ŗXi%H '1X*]0DP٪&|@=cTdVF)a Rw `.Mla dPw VwHCF`3RnG=DDExޚL >\{aK cm][OJFYn| Zh4z)DHW]< 6VHczΗzʹ%C$?DMFE轲‚Qaҫ%h憡So^su8{e~³&d{ :kwRU~k񍳅/#ПfZc\fc3{eHݜ=/@Rt7GGHl*䓩(9uY;mdYm VSeN!;Zfo 77!-Sk%(EY% ;q/KN!_fժ߃%١;B_Ƹ7x6t6,Q$ñJ /逊]zctjz`cGKhjPxdO=!Y{56D5K?(js᪂YDS/קUۋ C=}x34l!-V":[VKmiZYz/{P ܂te@4"HE" siz"@F/ӟ{xSQ0$0XGҠyA6ĸ{ >4dRgQ4Ug ts0n룫1j | s(O?iJIQ0C;^=m]C̖)-JC8wи[p,Cnz ҬZA KPzK ]"x7B$qpN/%mY~wSmk&u&uz$"s4kz_uφ"5~ψg=%f ΋k8QVNu&`;o>ͭ$lsA=ٞCms͘5W=8EpF9~݊O=78" WSSE$LqIn}+~E%l[wAиΤ1zx۰Юe{g{6ur7 Pq+=SJ :|NJۀfHC!f̉z" a~Bc!)^bz]Ξ&/ӯ5K%22К,aZitF;'z)p)fQUyv| Y+qPp]z$(R|qxgL|Xf~x|ʭ86{h^km%@zOI]EiƁP딼 hųT."T9h0?3fg=ׁaŲnh)Tfo6W.}(&#γr@nX%I%)$@Y0䛃N\k6cGB./?t=e}kǻ%ZKN[ o!ϣag܅֩Ǿ`P /Dn4xw:?lXvDbZA)ׁBǹȜ!oM陉ģg8T6_'2l<1kwT̜NkOسd6ݤyRI> ȡM2t,4jYOY(6t+udItofASJgR`Q{73e%+Y7}XX>ME3y48i#JiG0(-&\+͕\ÖP~zN;2xQ4oM)RGy9+?j-BY(RTO` 2|Nxu+ @xҫ&АmM!k(8 x>z?,=<чbT^i^whn*SfpS:lJy,ϞV,[h>nj@)T 9+ggL qTp$ޣٖ> faGֶ.Xp^M1I~nzamt$=D OJ5 YK;`E+g4ݯ3= xz2˯o֏ãv_Eg[fΑm'xX`+ N(xzNy}`D1:_6rŽof({5vua\(iJ%Z h4(UW"o;B*7(FeuuԔ']1 _y@3X76J",Es)(1 ZD)n1+qW 9i;ň. 2YHb%`41yhTlb|>:lq&s L7.Ŏ:Z׊a"k3P mL,w* j\Xs 6nZ$l\TUh|K /$ߪ O\ M\d eWRqr3FiP~2xb7MnC҄b8>4eff1  >]l HTMKDT 1Yih&d>=y6|^T7˩yC'ܔnSoA˓M