SQLite format 3@ .  YYQ77Atableisabelle_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, "errors" 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  0 0AdL U Circus:threads=2elapsed=53.254cpu=102.852gc=3.836factor=1.937zXZִF! j]ŗXf1-q恈͐7ӺV 6 hD;V& _w k /3n^]u2?f»?y ظYI{Oce{G adb;ss݁&e2h 8ݶqb#ʄ$e!~"`bR0I/2*hBZ%i^0ΗG KW@D/V,C6~=ie]8w@$ RS4H |Srv~K*#LfKږ~KXpe{.=@JɳyMY\xćUA3.fng U[ZUc\,w`[qDw&uUZ^%)ڦ3Aj" £w] P_Rj +j'x);C| ܮGnZٕ+5bXnB%2H0{.pY8;Tzra-P%U9 ^؟}O=,t`E&*I1qtUd0R4˝jcݘgnet2tp0r{p~|q6}V}a:!:tFئd-{.3+V6:.""EKW(wN@5+Vt[6bf-z-ە`X  vH+ǫ{狦?[\.WWfC^p.z6uɋ+i}yArekX`P |yipĜQ9م5=Ϥ١@slzD2լv'f*_.o!ܝU0'x1PR"=^LzL/l>ټ/Ev] -X5ћ4tZ`ߐzd99&ì)!!71CVPq 6uԧ >ݦԓpLF=LsGVo/{VmLōq)*7깫Et(hV4F,. 'FOLw"3Y{&qo1U2oއ5 F*"P4d찇9 đ3]R5vq'α_@:PP<o-4~/Cw% K BψvQr1q1L:P6C 9 .kz=h s&%!X{sʋ^N>eu4N&:`  *!2nc_+ki\c14:@N⡌S8>)P@-Vqŗ7`+߂fK\۱  WE]O3= ld8\S7h@yRG!geLn=\#A6iY퓖1V>-Uge X+J#aB/̄f;`*Qzp r%3iꐷȵiN/YB}} K|BQqEC2ͯv&2K-+kKTsQ\F0 .~$K\Xo!1` }hHF`A[{im˰?_3h>R nE"DZ+LDeVzʟz v~z(@PB8^.px\DwMd.xt2hԆ;]ҟߏzD,V#SXߋKz?MV-:t2M(5Y}Ul9ל]Zq$$~(\[ǬY~(z$գ1l)Y(@TkǏ'GDMڍX*ho]&ZUrDcC/& CLI席iiF[-c 6rLh瑇w+J8eԶ&!σ=5K=>gExx-~%bٍP^l3'ReOGL$M3RESf'8qwȌ9AáÕSgM6)2qcu#n?Qg6|.fɛoRp{d6$k> ;FEOޏAϦ\7 1et6޲q_!N%rSE/MҊK !'uuG\+~9nɠ|`@S&% =:ږÓJ`[Yf#P3C$ & 7vw W_ HU%2}?pҽsY/3L͝pUNsU}fg@a=k ^K5"qM`_3b{m73GэyқfãOa:8SM:bJԗG|_qN2V ʬk -΁3'\n[^E;;(U41B P/qQy{u؅eR565N +g܂7u%|Ϊp(J3x1VBC qD01 G"X(;A ZxHs  4D.yq\#2j\X]V藩ۅU Lpe;KGtQkmSɃƍ@&ʘV\ѦWVY^kn}ο`^ ?"zѽ$RpӀ3`pQ2`A9KmR}z DF^5{BV&Ƴ]>{GS1ЕL4'M:Ƈ-;lLxPmנB\׆G-6GSfz^878\6X-pS>'hBzJI!3 ZQ\Cu#:>L|L^~A&}$Mox/[S>(j =ip.)g9fCt}L.̨ƶaU_Z15(}A]͵9k[$RvT[CM&$0{᷇hvH  aE/'~#JQv(~+F64C<+'~K?}MEVOؕ̄W(Rl+m~cU]R)Z,Ǯy]a-{uzfƩqV,|G?Gtsvp\sD;Xy ;G{hA+hKXQ(K Ij54r9(}ct`$q}пF՘o>vf6DI 0铎J|A][@iʜvjb6<up1~0dJiU۔{IX$ҭ܈Be) }e8ԪZ>d:P)4ױ ;p &4jML-v6wh/0Cb/LT* /@4TC<.Ƭ2KQLOz~w |>OkuM`!IfH?Y&C+&"v~Y4iT?W~@k()V@orΞ@ubǮtB6&\T'\t2X^r,hW/cE.ҋI|8+D$i If(o %pp  ,ŒN+usV8'`9w9B{W;o7Sr\=YR^D|7!pr<{2z*2mмq)OE/wNԲ# Ӄb7r^*F+r*m'uzAPMR$Pο513%J\Iu+S{f /ˤPM~iuq${[)_r~wވMKmr[7wq[Dp|^XC)1Dg q!4 M{NjN"~IjB"cw_&!򘷼 {j"` :7v,U>d2&95<^ͼc<5 {[0׋ity ˿Vo?3ź뚨؍Ueu{yw^40bNVտ# _E/ebO+R̹u=ˎ6 |BUXY.vF*dKDC\F55[ otih=3 ^<㱃ŰIh%zp-'34م}&&۲cM{:9('fI1ɇPw?Mc[:gIy8W2xc8[TUYr]3~#WsgClkٛ9^8nrGPCzR嫞+B'QD'l+R vwᮏ;J텟 )~VȨrYmAfA 80jTʑL=~SʓڢcCfu=T􁉜c4 6B\ ߗD^/\":u0p aνJqILMB;%Ԝ3S =T[Rү%%9/ JyvM;}$o|jKnH @zIAǜKtFqh9lbzyDc(.n%RT2\UJ'M}|GaF)MuאOjLWlu^{:nf BMdYe#wyS3k;)WjT:{p̂ER6#$2ԣa 'ש;i2{t3ONBm\))` ;r4ATeb)c V-siwRCDLJG^$JC1u=ȁep{ lXSQjʔC6:=4߽l?_I,Ğ25KfcqW 2]G}zn!ݝ^J+&r΢zx0mC](֬۸@1|spvGK3:؛ } J ֖D &`eV BǶޒU47rJ`rJv];40p;'jM\~{W Gq\$Yix$]}hWùm߸Kam"mTug׷~o?.ndϸ~H1gX{NfǏH+^BcN1Js}:qR2rG %^%Cn( $;<]:I0N ༗+>-xM-g>a |Up~NK67nHG:7rO~r|B w\ӭ2L; Db$ p