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 Ft E]Word_Lib:threads=2elapsed=74.022cpu=145.232gc=3.044factor=1.967zXZִF! +y]ŗXf1-q恈ebLi=<^TIKl TW5C鎀@@"u@]@FZn[|mA6,mC;'<5hׅ]`|UiòKXc³CҦ#[$ +cI+ڸztrsl`v"0~ww@q<uN攟{[s4 :-dSL @mF^dV\`4jxi}%9ՙS1wqL}b_ k5oG2=rm1({ w!j<g``yy֙)_b~U7VZc`ۥZ(c ]ԧ.'1|L\Qa:ʚD6 4 Ӆ|]krĝ/LhQA`(g0v6ܨ< X9d?\K>k,y P+0~ ֙DlɞP͝qWYKk1dmb.X LnVҴF   Word_LibDC HۊljHtW x?f.vYů`ug9`#RԍF5*QE ]9p|)=Ɂ%? =:"Ad+1 njS׋XA)% (_l {`oY(V)xUNWo"-'#[C8qiC~Bhjȅe/<ea*_ohDV4*i2`nƃYvµ8\i\66(¢WK?IY$J!A?ytrP`DI :iO#*=x@Cr :pId1qx\Tp*yAѺ`ɜI< .7G/bL]UӪyڱ 8[mcYchR#^@^E=AԄC{$1K:W(v?G+qsS7`wϬh[лox[N6wk TV1l--y?(C"+(tXk)ѪMAQSӤ 52q6v Gej"qrqز6xU $lo?Emoz|z`Ͱ:y p>q.v8{~EsLFz*JIbcLh#m7 %K@;3{\9m wTr (fswb0{}TU9TpJ>1EhO_ o3kpq9!e*3$l|K6o;w|5ّ#yм`B~Ph9~,JNeBDyp&nբe[zny8ʽ45x{ZI.cJ. vX\<8jiy|ʒY[ZZVtq*hk>n僥*뵁O}P<뚢*GO6x34/c>j0:ucLvZ1Ł:b%("PwH%KH,  ^jYBU );[j1کSUEe53QA\m qs3 t}>z'5:,.!*>L~H`<~QzMWH-4+Ou Cˈ/]]NIq |@tiň&q嚴, ^s-¸:,m22S~Ҁ萝-64VvQ%)`{HLwv@N@|KMs( p< VIfڠ{YB>SPP]q]vc>_+')7qB 2X跼;YIUh(~^IZ<* U|v>ׁb cs^ dUc17Ñ=y`{Twl摊5C4٬ӏ}.3 7wCߜ>8L; L/5nD^[]C$%g18(%(݋9S_|5Pn8 +f*}켾sob-%ƸX!Ng=X9f67qsF; @ ;@䵁s@O6e/ MYiƗdl+ L&znt.ְy*8v&TnnN#pΖ>|ʬ֏oF*p)줩d)&d-qqb̓ypwĉC^FRSg@2MNAxq[nحb7 >ĕnfw(b 5xFqD'=L{wt( ʿ_wcBً_sy*!6} 5y&e"MG†"qD2t^`$yl7q20gW(7 3ܱE)Bi(N ea,ѮI>$*Ovp}Ԛ;;N6q $ w) 1CߥͭdjTiG%)W/#p4gz%PsPժmjehsH̄ "wO yG.iB(ve@o!h"Qޒ4f^'ĪG掱1'y͟Z IsVV xtZD)㉓ g=}D44 ^ȇä+D$Zy+CN_3 pAy&a8sO(+4\Ќ)w<\rrL|&BzgErm\&)i꿈Qr4OpرOS &FUT՗]!]l ˯=Ƕj̅nb.[mcX0DR!BN`-6tͣcDFN*xP5H'- VH^-ҞT*b}"Y&B-19];L%R/'( YU"AJيdk\eB9Я8zҢw*=^$bQGn)y_2U 5Y^3fa%'%Ks%,#zX^GN8.:2HP5C!9 mJ]wڋ ^OITez =q~Vnc ҕ`%% dMh$QJIGtDR%.GDz[bۯCIz?uzh@ kCX}K n @=9&hBa|M MdeieWTӂS"JπdW>{G=(4FsD2Jߩo4Dm^l{Ȯ Wjh3P\ Iy%Kh~8#-bv5?XGEL8.?aqm}/Xuu|]jF87I+f2ĔR$ҩjg* />EyL9MlyoVwԭrK>Od,$y Alۨ ;t~:A26Ͼ*L@ *i " Hf-q0!p]=5f#T:Pd1h( [XR oe8Ppoq}1L|.htd*Xpr!FJ47QŐQ 3HX~XJ?g@nMTݚD~\" =S [tI]#0[ܳ7G>yd X{k&6>uN(nVŗxNªWʋKKonj/$/ mo>gYAu׼Z۔t$,ȶPe7 ݐ-ZY巳T>GZDd%qC5'wNN]{t1`kڏFṙuuڶ5 p< 5ƥ6ETٱ]nU'_)93yt󴧙2Jbq m=Çuş>ݍٓ 3M 9 Buo'L[`CBՔPh%]ܰ{gn듏 r=j?R5YY}0;M)ɂ<\rE}dkbG.9}nGZפ.E5UHX_G\wH첼]ARM9ΰK\lRq{QyXyS"D;oѴeTkdKx>]V 4ׅBTi\(P3[P$Ϗ^2fK7Nc'RF Fvq_˦뉛%"yOUp&-,L oqfͧ& ȿˎ3YS/QdN\ %UfkF엞HacȽf8 Y:HDOqɚ>amGA {~5SWP]]Kƃj) i%5Nh2KvL ]5,ަ|*\b02 ;{䵑2ryr)6CCM >N)KIʳZj⢩ F ehv`Nq?XfV6v!dnʲ!OB""-ASRZB"{ô1M_ (@mA.aǃI30zɋdB/BbckGYapΔ@_*ץ+?h<#OET.:堽  DjrT@ijBPY雇Jwo#6cͳ[ڇ6 5-v N٥J/AX1CΑĊ26n:\%U0u/VZfluz ZS & Ogn66mz)4rv'%[@8j|F?]Zo듰WhO)4w|A_#|ku{GԜԗ A)=(dM0,>Zޗ 1Z[}%[O<́Ndթ=+o:Ƒv4%\؄7[s\z"6T_(0\BH {~J/ME9i +g\m8!#"Ѻq}CaN`pBbOf,ooTx&i\Ժ; 3#lW)أ%V"^YvMㄿj3S#TS׆ӸFo,5yAh LgYZ00061e4601716a25cfa8f61f253481bfd5760681 026f036d1e50a5fc0a49186e01329ceef5386dff 05a3c93a72423353e3bdcc126c2d68e831008eb7 2315689993f4970a69249643212790a430eca7eb 32a8f05c33f17cec15254e8a0c8d20b875d4450e 3fe5941934893b5422165e490a489238302826c5 4ed99af14d931f56a78cd23eb4da955a5dd89eb6 5d7f7b8b7fa950ca0c15b10590f3e413daf1e2dd 5f0797493503d8a4a2365f9c8eec899c63baefe7 6bca5681a757124a0e939b73d0524607ad137efa 7df85e80dbbeee84442fc3702375da4057e8d057 8ba9cb3e0ea3c32616db7ee2b8f0a6cfa5ba8b76 8c46585ef52f73988ec2c3c3368a203f61ad1179 8c694c48330c0e00d70c5771d8185b2134bd60e4 9386b38d49374085e55202df2dfb8a71b2e51c30 a350dfa1bca057c78391f1e6159ffc886086be40 adfa4ad3b0342d8d3520444498df1eb0cd75dc78 b7f9df5c2e72fcaa9a6c7d24ec469bb00ddcd1e6 caaf5c421b79d41d5980c2f71cfa96bb35c6965c dc2d3f170e37c5acd80b212e16300ce24e1565a4 f48d1da742ae6b8ea680cbce305b2348388cf22b878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 8e8c3514e2bac7ec00f1b025bc573ee5fa1233c972449b52f0a555685fb6864a0af42874a60778ac