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 9  ?/ Locally-Nameless-Sigma:threads=2elapsed=33.880cpu=67.116gc=2.356factor=1.987zXZִF! T@]ŗXf1-q恈ܗ4ޤ9i bdaQMFR`y4ˮn(No@2зʂ\\=TAc׌WѢHӘ1'~9{-@,Rk@9 }eOaM3ep @Vd k֖yJܙ n߉sP7}kՔ7Lj0YcsQ4O dYu z.#.J@wƏVDYXWg-H{K1" ~uLk}D|0V.!*S7⨀ҼqF*x nUvЍf@$hRc*y3W(dec9]g#fw1T$lKIC@Zv;rH[sMz{< 5C1a#= .8i6 3 Tz ODَ~;E8ypݖYD߂&݇?fPZ[>Q(|!m.3o7 wh0RwogrߪAHi^#-2}+(7@"9<@HBs|X*M.U{t?#Vgඅ!<}௭~7o=6è`o't+do5!bצh9'Y%6R1Y@bK%~0ŭ}R|kymVqבtR< [W$,1Mr=TX75fv=lRɟ!_r ]xG&Mjd;=5j٧@un>)yb5| DۯbIBEr\(#rgNR ͘ՇѓWŬG&5Ιb,$Da;=)?j*muS+;؎(ڱ|GƒxHz^}Q$?nh/aա hTVɵbuqk8L([`0R6}|8 n`SyUP6H{g̵,m{]cW{ae^Gn٠Bߓmb1S\ mH»/?Ǜ3+#ɥJk#)`0xzq}Rjj"N>ew/(n+&Vr,v2Te5pRq׫:T~ 1#ڷVW]y/'0R% Uo{Ɋ4Uz-C# >Yfvwxncg.Yɡ$'C ~us hZC@gFs͘ AwQ|b%Z.<;z \v%A;Gzzןx<{J/3CJ6PuZr06B&\sDl{PeWfOV Ώ/wBmL TӘ4K* xPu-e Ϻ,@(ӝJ*tgg`Ѓ,wO%pi_G21SF)PpQbe I T U.pD}r)iuf̎<@!=57='h%s zYjnsA 9 Locally-Nameless-Sigmama*~a}wS7pgcd/Ts͛JJ` P\k0f/AwIngad:+ͼD"z-e:[Ν 43>9f2݊(} h2^pH_M[b܏|'\"ȉމH$FЄ|sdy+7-'f!l'^gD0ΰ'ʤ66LDaSDM Eb4ho<dEܑL ѩ}~O^RV ILH6#rtI lԶ wy%;J+ޠӸE(Hȩ"s,|@e=EYdi]]x p՞͡kM`Wfqd&[TB(e= `'ÿwbUʎS?Db`Y9aLs2@K&Kq41vǾM$L+gY@" 751jb-`oNkhˊjZ׮!Uz<UXH+2C4[~L(dr_xKD4k/Z**i7Q3]7rKʲ17bCkiZjpΗ|$-_%9ٹSrj#y3N3u*6\s,mu4IhƞMsAcHC!Ktݑ47yjsӶ>3 4gT}}nE288ǀ?C ;; ~bh(žX6 KPw3}t9s9W78_QRogf‰~g']uACmS-4>iuOX0>R1V;rI,{1,Pɥ* 3JMIP `: H_&KxGxGaXlzz UhC(0A^N^WKNI_@^Bd;ig(*#,j.~%s,%܊؎.b1Aυ;ԉ qE$9"d8EvBa\%-E_"X9D3lʷ#9OVz6wg^I.\(T<^#Bsv(Tڊ|x7 aN$JOrfxQwkoy-5bIt<} CǜSk֚kն?L4?_†,o9{%epce <5%'kO:u)/vcne#7`JsCx7>^ qtrLY<\zG0//1 E+5)KTY}OU\{S6ѪP j& ,EߩiTE'1v7tL 9EWHݮNҩS % -"hmq \0SINJ 8 Jt'Vj&7.=7ޕuV"/ _43W#T[W|FwYUŞ0Ct[a,UR|jrlENGl\)q^W8پyϪB6meT0K.ߦ@&AP~NcoEt 891Y2dS khqG[' cp]岄zegWX(;얓gf8*K$0h%`t ?)|Az^=u.E\,UFX]o׽Z !Q1@GRW eMiIϱgYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 c449280f95183e55dec9ea91e7bf8f1f5ba47820 d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f1459711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9