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 , $ ; pGCL:threads=2elapsed=36.257cpu=71.304gc=2.044factor=1.977zXZִF! 7VL]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8ߍ"l;J74 kE2a|S/|丣i"sgGAX5|Vuk~x ^ՇCWLL2_W>~-.C|Z;&>? ;B}¿W蜥O A*]F||ד$+P:!z*xt(Xȥ Ϣ)<6' Y0J5GSus*0vX'2gW%RQRnѝKpM'ѤiGcMk撠q%{Z^ XQRhN y q_RyN7, H8Z։ܜ " >Ӗq[ݒ0EܬJ#MFVqvCF2c2 =fY^9cosŏC˟JP}K`Xb\|$<@Je$7*H8ƦL;٧w[gtyW <PQ[EgzG/tr"'ȌVx=|[4j#wFO`1";'<k)Lfru?{_5z =T0 Fg7`*=&xjYι7P{ӋEr  pGCLx>Xz E1~R:itL/OKP57B+S!? 9ʥVTG }z.wnr0Bd1EmC_1Ioˉ nY#l۲>2G82u1e$Ȋ:dftQlϱO1 @ (zZm#󀎝0oknk +ViaC9Nՙ[ʬa/oۧ*VA+[uU !M,7':s0_ؽRH[p ãTِȯJg?' bs$Lrzxpgޮ N*`^ʌ{'޸~5 ` ol&{M|e%Be\q&l)};K1vOe(MkG驅Ƙ-{Lo\ 꼺B*n#){Qap/r3)TJ*4(sOOq\ѵJHFHڴ ?xIƹjRB5?!,:lWHaU(b3Y:ecYNE)=#./|#>c K)HFcn_e:S~l%qLt=<$~6 Llc_\l(A*4A^qJ4doEd|(lP&`U d1 Ԕqݐy-<6~Q׈.!}IP@2z"t- ;b«3Es ='ypWޕv'Ԁ7*?M)MwiWK__ )ßc<4]MskFΜL i6N ׿Z-lp@SF)K VЂ~@w Nsn=< @Q!XF${@&!bw,9)"|6i=Ҫ y_4yژxcYʀ)!R|X:3Q]Uq.M| a^l 3ʤ<4 v$~۽cY_㕚'kU/B eq˕@!0|gzA΢ؒ5ޔ kUvOaqR5 ]@w!YHdG(Ѫ8[-*6ѳ[!hxucwY$@{!U߂=T|Lsj % s ]ܕ'eitΚIb]KSgK6D(A{zUx@rqu".ViNpO.Gٞk}Ҝ`f*# ԁR_W "+ldw\wN`MטxedDꥉtbŞDMlLtʑa>E>_e ha|6U9w,Q5.iՂzTVS=XH aO?&-)bk砊 4fikq&9.>vfI=Jˍ%pDVdVm% q͔@sGOjrU+ OIiPx$iX$,?-m0V% Uc$T""jTZ.C-;,~D*'Kag(Ϣ&"J XaY-\(Lp8DQlt*j`U>xMѧ 0l|8|q%~qh&gr:vc`@مpG.]U>^M*jR}lԜ0bA$VJ2r`RN l5;.pO[Ӎ潪~BShC-4>#.YHIǽ }74FL&uDsu!Wi$i-ug<.@j<%wEzrRկ5Oa>* W܉ZV#pdKQs:lEJ0cm\Rf QYUJ@U! fdo6r a'VYqόU)@N,'bFЀGdL!8 OVg#lͤMTG`W63>I$|:4ȍwT.M/J|Q^`z2*&λ@iW޽R!'\AfP6ϲjlB^eLP%=ϩ117OTk,:M{^4i,6Ǚbiѣ~@΄-{a[UnWQfs(hKĊꞔ#v,GxMB|W/x["-3kGFO0eJWʌ_[cA%t`]?GGb{/ɹP(+u8m3H\_'m̀rl,>-d`Mid)) ktDHeCIC^@s 9)|AG:T=f3 y]JvJ#cdޭ,EsbTaO#GJ)P kb@w ( ZǺ0ƈ g l(eredu+>~(f .ߠ)+}64\K+pWUsl,{WQOvUF\@_Q#k?b9vhݗ#T؈Ia z^XУ䎍d^GBxꌪK?\tC7&l6z)5 4X}ֵt;!dWڀў,.&p_σSc$;@z$S vۋ:f0$& )qwդi iAÊv>~"hzyNv<\J?Gc=YvŸ$154x.;D],gH*djmre.dBI# pɶL},ԥr0MV¼.[u sy>٢CEϽ*iڑR$= kC`yy ģ0:Oi>o<.\8;%7Ka|9. i̵D݌( "@ew!Uw?O]UDqx5v޿4^"cd0 8> bݷ>L]?`LLaux^q[l2  1#OߌUMգ#3>Okƨʚ%7 HyNu@L89egHD7T{'@. )Ӹ 2 ZU ;fQ[TcpgH>CG%..^smA>1Ndshb_(A~E"ݑ' >ONtU9"h<*̭a2}n2TMCByS1{]p~=o$vhMլE_Z` lqݖjOWwn,[NDո* I:>JOjdI+CSL%0ӝvI'-å/ݱ sgOHvSd>2u{`X.vvO9CM_Q +Fb¹5V_8=0؏;s `>@Qh 1|S);?`^yJcy5DE1殻" oCkoaJ)y5rYECcQK>Xgp9)B…u\Git`21Z$@/#:8 j}bCM_SzǠF套aO؋=l:ՙ}roE;b8L"n͖&Qyv;b{zMЌw^cZhZv@Pw$ bJ˿'[d,fZ+l)D8NIpJ14>Gh6޲PIע%Hr-]&+ʺ0{kJJ78 :jy*|'<$ wlM9,%I\Hu"XuYج+Y* tC6I|s3&`Bdt 9N9*Ѭh,_rSK[_ (Ӳl7r̟GFL(hk9*uQaɴj.ZVMC0"I~`s?<7jǒۛA ly;VuUsS:R^'8fCtyF/FBS23ٹ3JaVO)D;_c[b{GKY%bj{E;jhC~6сhcƽ?>^ոeBFrRX+Q=jtˣ@{L9EIg|=Ģ{~L;Q.jG[8pЖ{mΥxOMA=AU_0O@35J+п<}RP[6=[E>5Ia%$,e F6z r*.:ś?\=&}߁݆^ٝ:;faPˑEUj685+-K5^XKU]68N-]& y^6zRR B7>kk^ l ;Hp}$uMwFZ#tLyT+x<4Q'IoKfmgb'D'S9B(oEvz'Kg ׋81O͌R^I䁐֘Mw C"%[!Gmm^7  g_}0|CSnB]0E\?$f0a3pabp`|KPJhiczѾYEқRsFn=}z1Fo??hM41C?<.]vEo jL$aȉTm‚+]y1 ^j%)w8CL(pPxļų*g~;7V{3^epe&+&N9;tY] uc'1KI`k6՛mF܄'bǑ@ՂQ"ugF^l,;mݠ9KNǦq?S,zBdH c" Ir|7xg(# qTZΦPEl4^%H-VR)MуZ/ʓݤpYo{9pY(!JvU~"CnحQJHE\ ;uw lL}ݕ9o*Ŝ͔2SNI6"b1?x| ^y+\Skj=nv:h s) $hI%Ug:\P7ycԡ&"51 (Ӂ['ͰGIg+4fr>W"'wHd:#5G8މ/b.8pKvR / qCdY ,M8jx4ڛ=E'0OESʳa_S׭͏@}8]鏯3JXNou$Ucwm ֤N$ц^hp=> jçPm4Bbelaߟ:۱M5ۻߓrD