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  ?% D\ ]Regular-Sets:threads=2elapsed=43.288cpu=82.392gc=3.436factor=1.907zXZִF! ^\]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+Œ6 '1E*Û_2ϭ8"=R1G9kÿ(mԃ0L0;CkC4fw.JPnԝuN̳m{B?FP!5KIKs*CiV7z7[# 3Ot۟T#[^UW$\ٝ2,gXtKyAjq%"˅eCogf;唊2:Dm=`zBI)=*ώA'Qbӊ$7Td3N;RuʲucN= :~rv]zfUыG0u]L\lAXH fp%_ʅ$tP fb;: V3F®?)i|A7v%m\`7_YVvubp`)f<Ҫ,;jy]sFP&{c\oPVm\i L\븻 TJ^=(F{giu| :ZXZ遥USC[xvEeBQOeXS`t T^ `)㫧*$LTnRŰ]N$.2[aC!H)=x~Nľ,0LXp5P_ ~2 #or#TY'lO1G! ]$OAw>/:DXh<$nR&t-YglQg/NRpEгg.xBkU<4+"3Mwa 89"pv}=cٌ[A0@GL afzXxZ"oݟfmM<hլw.0r0R]8ý4 S+pNgăv{M^@MoFYőj~bda)UpZZ"ca$/U9J3;[h-l`-s],8-^Hr5-GAOl hm6%ǐb,H& w , 4].G/Dn qxRP8!2_ 7,齖p % Regular-Sets!= h`=mUG}ձq}##@xkh9 F=TOk][_EY싽珳l:KiqAAf4JlsZz8%HL6-ػ`z[|ro_xXs Jw 5~vBN6yv+e1TG+!0B[_sUZpJ)_[0\tye4xA 譃KJfF̮UC]fz ^JDXSKe녛y!$1* ܇U@].f׵1!wZ)1!ѱGh')Y˵i3&9<rfg,/}|\, Cɪ0"2g _ RZ8x "eu] !YLTöe3#s=~Y2i,=J; ks4։d6"!ԭ}pL:~&PW'*熚K7|&np$a "m&F0h?`y9Ag`y P{~E3ǍGh_Br³1*W-}`Wޥ쵖hKV!amfYfcUoIM#2{Yl4#gYZ7zXZִF! f (]ŗXi%qY&;[~B9ͫb7 zK&.`$ՙ3Ǯ{w1P[agP9]>cZa3dՋ_`:{t:<8`䕓NI8ajfP9N6D05A}Hh#OV̆_DT?egb5qubVA?oJ]P"V ؑאӶwcI#w!0( $LVtoI`WmhPEШ}!`_mEXQ\\9h\7=ߑJʐTĥ`d1S3ڤ:􏳭#3mϝ"k ^j[ON4"LWБ{sjuթ٤9 pP )ބau) 8jK/ E2뒠K'C$U )*}<:*&XF3ڀ eIQ%[:{ѝ4MUuK_Dpai_]bE=uY[UA^*S)(4EakL~~x{-}=l6 L)I')}uz1ΦܰPD-/XȔx^!+0v3 ^>P,>Vo/9khGb8U0K_49S =7R.UU`Ԇse,p ,@*m (Ş0oe VğM&" _9:׵fx# [tC%$k/xV2nM,{!Jcx[Dȍ;&3nf5cvWs(fa2CHC8}LUOP g-KjԖw*pBpxR,1$*EafE>LJ .=1`96 e $1O٬4.-MHf$K.>hPǨ&2VNd~]a܇eBaYz}!d'xLҔThJ |7N?e>ąDXK?BuEJІ P'7/k7O̿NJ.3iɎ)0u#ꉽIU4#1DAG˟*tUhu\rB+3S?(חf1 F4_QWP`jjKu.bCDR 76mo!`-Gy|MA[QZn׫dCu/kQo畀B5=1Q 9bg9IJ\U#ռk8hQ%14Co$p!7/V]ƫ\dŁDM3{#Bუމ Uegc9m3& ` @ rcs&ևRi¼+ݔH^ƻʞ N ZrBE"(pW^B:2o^"r;+kyS0;m>#ѻg'3x3\Ie0#6[SXCE Cy*gA`_}wmFD9/Q..K0QK{~W^y h2V0b߂s.DUzorEJ_@0~#T%';u'M|7tٷG1g՘ZT᪅:Sv\ xYai$~&oފ ;JD( [7*¨IF)qL`gpWF vY'NkLxw-5XΉ~(D&(DYq_[zt#0F\ܝe; NAyt=1lt.$t:5as\h@j1ORs|D}Gk訤DgJ)E;{-UhOKF|kZ^elׄo$XTs m܌VČCSvZ(?Qi}:}Q0Gp6>D^ω|7 ٓIpeG~rɂ4R֖SAW=c o{ 7.Na{6 &'|1DKgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed 30a1bc059e0e0e6e5c1deba4757bf160c8a590ba 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 7a22667c57f746b278085651b8428b2a3e2519ea 81de4762b4e143259c5d9fb6b097811906b676c1 851ad684207c6c6f68ee9f2b6b0683326d8eb4c2 90fc8715f2dcd7cb5d12051633b389153ad73166 978f4c9854098616b38bd0614a930e76821c454b ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 d3fb91c47fc3112ac31920e45c2b8b27c21094bf efc268ab2b9e37dea06f9f97a5a2ce0798e38505c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061ee2613de39097e1a4b4281049a783f6f42f22f6e5