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 ??"# LL S]KAT_and_DRA:threads=2elapsed=41.831cpu=78.300gc=2.432factor=1.877zXZִF! ]ŗXf1-/6vRZGq3۸-CxMe'D-%*+ *A}AޝhWEUɲB&ͷA}c[X+uzju/ &8lήqg@GC; Mx@ C c5`HTE4jJ˞,88q>r]?}jp伄7ssoXYJDm_&Ǘܵ ڊF/;8YP{UkP$ux7 (Ƿ%c,yE5-}opkroLyE1ipmUaojfd9l4TSYu *(#aӌ4Ԟ[؍¡LŝCp*c/`$TlAlfٵ # KAT_and_DRA~DXWr"*Y)N9d?)^j_7a拫˨UJ4N3.hEH@ƛd gnّsp&2;)J4qܜ-UT{ JR˹2ms.cTK Y`/^l,ya5h 51W5|BPPЃt>`|c^ſ=.8d%ީCf΋} וbq$3ۆϭ^kS4Tjh$odž T)|h8cPF0G=Ï6jn cwD[[NڙQSsG1] 5<:_-H% (&ZMb֖j|N,Ӓ3GߦFӏTA?+Z̃T@pa,0dڻ8nn2ϳE]%M=;.ƵDl< ĒC aak$)MoG1Grb *kJq> 2Ԗ0EAʇ,Xc5N%hyny'!i@:Gڋ>^%]rG d cU)GܩDg#s7+h'ݑ{ѯ̉*Av䓺b_ \ >h?lўƵ'xV}-]ryx@՝HH%9C({/3YRDAvNzƎ:JB,>o#fA{n7yP [\U8,(0Wi5ֈyv{V8nheiǫP[`WtbW.Gn,` 1ͼ}QBY`#Fzv-yÆI5@\b4Ql?iOxw-I ׍{:L <'}{K'4,ؓSز)}ruI \FLpʘg#V  mZDxWOfl~֮k78q fN>  )Ѿk[<*~R)+b|YU:Sxe> -1ƱZ1 ala|RΕ!?ˌ6~ÊS)=ʁ2mħ KJjj25hla伐iQˤqX<%d3]5S_ar ^+H%IvU \%;OWٜ|i~Q}29jSi|NnxRVW..';o3 ɚ0@f-3p74l2ȝQ}{dT7 bqzJh  w4J{xH-cn_bFY=sUUN4g ֏ey<` 1U/b$lܴOK!7qԷ)|/H{3bRWrzу,zV#e2(`b! t>J_̀|t#1KLOZn=vGvjٱp)V-hj/kFz7hLlZCzV=ˏFwE Yb)]bgdž"o9GNW<_Zȭ#گ`wF֘qeӾqT[qKƧ: =0-f C: {)⦾^`Kmvy%_sE[ Γ23)?pw`}Ute^b2J,0l31㹕[ɞV '| !c,] gCh i>-[GC>0+7<jMH7 ni\\Sb\(:h\;y)> PSL#~ʓWݮ 9\OV<>!RBfͲuݓr} hF.B5:lY:PgYZ7zXZִF! G ]ŗXi% iiX"\ob%J v{mԃ3X,O g,˱;[{Ე~)P[7y$RCDɭl6p:;|6T+T(' U/R#V0~T %zZ閝I5֞Ǿ)8(tqđc='ȷ}S1h\}PGUle֊Oe?s/xa?a\27Pzy VKm?tyP-o˼Jx2/1f{6M0kYB-:-z~z=}5}G1w;W%Kr*˅"M4f]s# ILYbi]Υ*hzBD dQ&ជCQB3Cr8z;=OA[%7b~B+PB)kC^~v ]Ya35J Ɗx7-<$O+v}mĵ~`)m av]48n@ey˒Y O9D= ͵l,Qu|gWYBHv`}E,yƗO݌K]Kn=:ͤjTnjUyuE gH~ q }[5b+~L U-RjgM46w#©V 0D}NܝQ4o^qnYffuV5DXW'LYDYWTE9>j?20!'<1:\S }@j4 F6WZo9<д"0e`Dz٠F?@laH1qi+` _QS!2LB: LTQj8_ǖw+0E!h+&a,hTffULe(n&:) OC0z\aL.Kcلr ҕl"41GgYBx4w5=f8'`-PFא㲕? xi!p/8+Wa\n6)y8-xҲj4ԋΜ͸w5e6FpVbvPd< 6Z<0Oϗ]'(7m^0H=;-R$D "tYγEKN,y@=I3Чו#U]+Cj-BhcW C^*@ņ:'@9F@.:C:%АOt?&jE_ #M̅҈"z{ٜtxR4|6s9/[ z]l?VyutO!سlm /枲p i#?ZߎcLn)9>95"'2J+ڱJC}=TFO+Q?_Զb P=T|`<ĀnX:Ǭ"0R+DS3*52Kk)D(e/+LSp&?#frwY:< n#Y~[jzT6ikz4zc $%6q ^i%D \.3=Si:m \ ,ѓ@Еy^g1uح`VYYt #o<E,M$/4vu~ǣu(m# &(*3" * 0sx>W+u9E"lT{8`/9݂ݚyԦ^ Wt=sc Ɔ2 H&öGi68HZ$F -A̓ A@_q*o+kw *@՜aL<Ѽ-4j-&6 TԸZZ޷^*NG\B inbۖ/ ddj wQzd)`]d׮eb@>VXN ib q82'Eʙm5DP$@x7 xlExz+mniBP8 mfc W:-1MΫ¥S%0[5`B4Xu2}Wh H!Fiġ[tE$ʢWBDrmpk`Qo|/4~P& V݉FkJEjV$Vgv77Ig|E^sr=WQz+)$r1ei eåȚsgYZ01c0048775c4fad436ebe10d13ed8e1f01285bf8 1cbf02cf780747b16631993a1808c11d7fba9b3a 4b663a83ac9afc94ff378de00ec5d0f8085001b2 4ff9cd7cbafe3c28009d236fd8faf3908686fc45 6216718ea823db5741d27375cf04cba9020c04ad 727ad21122285c26cc6a422ad39e83c006583c01 7617f555e9fbda81990595ed393dc00aa18cffca 7b69e03710a91f8a4dc765a50cae2d6bd9d86280 86c7d772d6b1bb25170b886d166b3e772bb863dc ad6a04f85888d65167a6597491bb8b77cb2d720d b33eceb3bdade92e0067971a98393ffc6d6e1c78 c8f23723da27771e0a7dba0f0694073f3947d28b d249e6cf862da52f85479208464f281c71e8dfc1 ffc584ee00914f6d425275cc6795e72479b275493b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd 421e6a40d89ce75749fb05e58340105309d27eba ba48cec30d8a7d1d2483fc9e01186bcac8dc2f6abf4bd7c34ae6570b4a640be1dee337dc8969ed14