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 2# Dt S]KAT_and_DRA:threads=2elapsed=43.419cpu=83.912gc=2.976factor=1.937zXZִF! s ]ŗXf1-/6vRZGq3۸-CxMe&Bdr;\u5{4Z׺=}Ϊ]qLLa\ M0= `~!jJ'wrE3mA=B_r.xEF u9l`4i.l*Dnqu8hMQx𖖲+ LGSʘŜsa:\ [O6KuSAъFH*a-pPHI>czYn;<=!_̟"p,I H1ʌ>#yJ+nl8"LK9x}KDOl|Y3doG?v6xqw$ʾU\cȥ즋ܦ!2x`>s.:$L`B .]&O$l.J,.ҸC"Ld6|lpwz|Ya(oD` R $<=ym!էeW.U}P"]t\iK QE bA|epGb#AF]{0+d_lћoM;F3o+_Qf'TIf錟J4UO)ʄJ;;TN 0N1PdJx0!f;WWs+%44i+-S*֠&%EF_8Mu];.3Jv$Xkjʚ"SGo # KAT_and_DRAe=whد9+@+kЭޑ攩3j KcH qYTm` wHs=NkXGr'::®? ,9)4gFr㮉ޠh5sUfONkGw1OΛPA?;l6=xhK饃GXIt.jU>BGmycF!Ljc >k@ẒY; KLӒcHX[Ba g(FRJ^Z{“]9%Kb!%fE4|͢ TD"_UR" #:{LKHkS,:0^[,o}+ Ѯ~,eP.q}[؞ tՏ&@04%*vmi#(dr #Q' `My^3{0 y[.c4 KK??c*i%Gt>y0샞PIR(ۃ3|xRmtxJF % K drsm:95#JC$ b+ ۴pM:| $y.c]dz ( E+;cD EfYiCRi DQ7MXk)6w 3uD43U\qA۹< Ru<⭆qZ4esQ<;+IBOOdeWK/N=`n]Wbκ|h_6hW/ꞻŸ|mcE J[tPB^ ~s/50K9`ܧe&q0rQkA)4+wz㽬h;xtw^$!D(udN_D@,2/ js}S6{gY3Fu3Y%Z &!Bml%6%%QDzL f|cܪ M!}| J2qB=b|)a) =`vdaK0q70Ai h=%CG#W_Q{HC"sCHZ0KÀSRӭn3&9C diCv o`-@92 *^s9hc$g.U=Xmpa/> ٮY:eEjXl^L߷AURlr%6b_{6O N٫⺔iڂcdh+HlF>#k/qer?2@V= M?s('!өʠVx=x;'\; I͓EH֎L$}}AB%狿0FBmzvPo G$ 3E 6c:Vۖ2usgmfnťSݸ]Ӑ`_߳z mhv^$N ƨ-Ӕ8nAflq ->! ZA&" |t5m-E[}#ͪdێ9-k~ȦXm?NB(_'U-7P1MH>q2K>^:W6 [%"|>+jɻӦ(ig/o.$誌C 4 Fzز2Cn_PP%ww\ ;;)/\{n!<,5x4O//ÝuR+a^ glM 7iwHZ-)zruyNRH#Z>`Z~Va9rWDJXpU[ftHV ]]v ÷ 8m-?sATdH@~`6?-?ƖGquJ%+Zd DfN~]֑mhCp@-8řlWϑ0*A0.J 5wÙhw8NR΀B%w"9g5Nq謦uj~EtY_;F{ Ar)V/hW:7J|Cɴˌ-b*;~r(сM3@_UFFcp,WLXb { KB?Ï)gYZ7zXZִF! 5 ]ŗXi%>)F D֐#ܲ/X[bV. `Z"QC=+ 936497,p1I(,7"7yMŬeҸVT"x瞨8~| }.]\:ߴ521FV"DVؾbL}#G߄啃XEuNd z$\LA|*ڸTrAMBrIZ\h}Ѝ Gt{ԏ};&]C':ޒޤO^ӥƚ(m"zBcp^E4< *= cx{>b@YqQː G}{:GUJFĠv B:vTEr0Zd~Y2rvn\c~IR5llD8>u >h,.WmZv ,{JuaGt:uA^B0v0$|`'ivŎ>s' a߷s(QZj/$$p[يb H_z.5:x/EXװU0z;skɀ_đ$r YӵN ;dc?߼m0PfU=uwrET/B!d)\0Hh$',„8B}&H7*N31NJ}|~NkD6$q,^jNWߥ'HCJT>gE 򰻩oprcn0@ )!A"۞KGBWݽh 躞LڠÊw;jSֻEhZ!.I ZOtdg]P&Ac:~@v2#.60uI/%Q:uc m%W>C=B- :$iK1.!)j{hVŒ! Knh zGx l١$bƫ!a#P'?Keȉ+Wl;02NʯY|16mL;lMAvƑ|j6:xqnMxŃ{ja](:^,š0@-yOge6!hߐq11'lA? h7Ii-FR_oM* U $ xQEaҠoke_jh~kә ? r<`·dN+vF z`:Lc*Kp\Oi)7?ީr!a 2<%UH~ MEbώvqI*]Np$%~+ hbDǹIt^8|  9V/TSQ~Q 8wXa7A綒 ۱ ׫xR ^<59 Y4b`WH'\' SI a:nÅ('9yaQHIɃ [7Mn0A?`v)xnS+!%\}`:.*i˗SMALZp?{x;u%rN~k*ƨ ňA%OFqRPk2+:C],Sb;Eqބ[>2uL踁4|yܾ|l5Ιd[VnJq1&e U{!DVx?mg!x:;jj$S [)us|M])okd<}oӁq#]"UIN|s8Od 23X g/*>KS2\3GR, S\6XL:yo>KJt3#PI*Y6ѵ9O;4a0d!|t30NwJ'T7EU-誻Wo޲Ќ5(^MhXyf.p6.OgYZ01c0048775c4fad436ebe10d13ed8e1f01285bf8 050e4d444c245e31b1f6b693c8fa444dd6f617fd 1cbf02cf780747b16631993a1808c11d7fba9b3a 4b663a83ac9afc94ff378de00ec5d0f8085001b2 4ff9cd7cbafe3c28009d236fd8faf3908686fc45 6216718ea823db5741d27375cf04cba9020c04ad 727ad21122285c26cc6a422ad39e83c006583c01 7b69e03710a91f8a4dc765a50cae2d6bd9d86280 86c7d772d6b1bb25170b886d166b3e772bb863dc ad6a04f85888d65167a6597491bb8b77cb2d720d b33eceb3bdade92e0067971a98393ffc6d6e1c78 c8f23723da27771e0a7dba0f0694073f3947d28b d249e6cf862da52f85479208464f281c71e8dfc1 ffc584ee00914f6d425275cc6795e72479b27549878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 dd236b8aeacfc567c24a2dd1a12677b0d4ab95c8 2a0a7d7b969063b93f0e2415498d5320853a7f16e12ba95a0ad8fc171b5557ec1afb1ff3e992ecf3