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 ~~w# Lt S]KAT_and_DRA:threads=2elapsed=41.449cpu=78.660gc=2.764factor=1.907zXZִF! ]ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# g$t#W!ani|wcejq>q#;_TB wQ W9xpum͍ r2 LIl< DVMχxL!4r=ȍչ"(҇q;'- [b^ |f|bA` f0TIIv:EM5I/ۢ4yGk]{ 4ybDG  tKekT{YXAcTTOԘpЦis @oK`*rQV?J=D,ý{Jr ΰAΖޚDYO^6so62I_ydb 6p;JӸPCJvʴv+Hnz/{ yeB\@&;s=-2WJ&tJ ~܄IAfʦ3[J^ٖe9Ʀ]3XAV(x4 &' 눤g^wV0K!^&E/3$A{,ūW&ܼ;*6(3! l;p1Bz pLk-J g_`/g]S|ɥ5vstpsR*T0ex!9hpp( |iEHbhe̎'!\D55CNM$yI,ohﯭnJg ḱ_ZBPr2 漷r|\bU,bit11ѸxU}S>C4oPf&Oչػr7]130<O\ۈ+|ʅ'N4>:\6 9ZҥU)L(\f?Ƃ`(K'b0q ʥN߱Ӱh9^8tWT(kk M _Z:ǭdL%V0q8#UՌ* ?C UغB6}us,GOz_X2tOoCMᡃQIrcJpW+Ǹ#8S miO |ȿ\S%4n )b3gpTA%nJA&8# N҅bݨ*d0*z mrS")?. bJZ # KAT_and_DRAJjթP;+d+Nm{.qhM! EMǑ/)\FU94IE_0+-ˡHx太zuFu}XJ{XɌPC6 p\ zev+|!nDu#elH[^H%ĪInԜA#iO rrk{ڂBâ1Æqh*c(&EtioBHv/,0ry8+5&KNţ5:y#Ѡ=0Ҩv=Fs&zwm;GWY? {碈YǂU:f 4 \vV0sa$t3w=+a״MY]J,d'T=v[; Hbs'dd0bJi*jA =vz+}Pb̝L?}$PflJ#\8#dy[ R_cr${PtNAU*E=Y2buk%LPGRL]GNO-AESډ"ak8, .϶ ;4%/ß]lNO}[2àZygV*B8J'v| 'bЉpJewR.ﶗO 0کXїb ϝ5|^Ӗw83bmuk]qf,9Tc2 Q ?Wn5_pE}gQ[*{ kEm+l,f;mLn{Ki|7"\A\ET_be r%5weH؃ReG}|?rCQG$пN:Ԡ 2-[ǩ9 SKŗZC˪{p#-P蒹KHvnZ4%2߻n8Ŋ0,x7ָÐ,);L[ǍjH+q8G΅srrg* w\t4NByM_|^(zܬ~dHcarW(cn-iwE^=Ѓ.R`}^YZmGa2d3+g(z0ZWZ _&B˖T cJZ}ZQoTMMGc]]8Jy>"KG6Jӡ/sօ![bJŶb#?#5͝T+/_#7 ^ Rj:[7iBNSz<.駆9s^˽O.iK2Y㐲Gn")v^T[ FqfBcz iA{>{#/j\ƛe{IrFUhs?*uӪ_v! ~;Qt#l)} -![%]ETFGw"wrS|wQ{Y(9g3›'^Sc9G^К;TwxH+kMak/׹g]hV>xHA)!~xmK*Rj+HmɜgB޳UxA[ovG&8D_-Cd]ׯO(:BMJʼnRQ݋Qc?*>GHC S<*$Sax7d~2THySvyD:b*5yl%^ QP>-/TF <`(Dd'hMSFeBx-f~\ϚVBcTOsd3`qQP(Ř L?욉)Ij#}!PR.OVqnk0?Ww}v͜mh8J@L@BṪѣ\@%r /ikjUS(hϊOr:Biẋ“P"0gpM/H)%" D o6 oUs%ègwXPnYPQ̪jh4duU!yօjSe/}EmU0fVwYa8j|.hU x5.nѕwU6dMH:-ѽ<]߰(^J'क़~IMLϥ-Ool$sjz;ڙ@VbE|Q͂qW SΨmkު [ {RHM@&!qbb"XJq:)"P 8,ȖW#Nbm"do/+ DkqIO=y1 \[Vĝԫe$X{@ 3B'!$եe)Uz'v pbe5}3Z7ʗL55.rnSOC1A*Qlx>XWS#X^:m[gO P.fJkd|/APyuNgmqz).Z>MΜgYZ01c0048775c4fad436ebe10d13ed8e1f01285bf8 1cbf02cf780747b16631993a1808c11d7fba9b3a 4b663a83ac9afc94ff378de00ec5d0f8085001b2 4ff9cd7cbafe3c28009d236fd8faf3908686fc45 6216718ea823db5741d27375cf04cba9020c04ad 727ad21122285c26cc6a422ad39e83c006583c01 7b69e03710a91f8a4dc765a50cae2d6bd9d86280 86c7d772d6b1bb25170b886d166b3e772bb863dc 995367f0b8fd9d1beb35ac997940ae8503ecc085 ad6a04f85888d65167a6597491bb8b77cb2d720d b33eceb3bdade92e0067971a98393ffc6d6e1c78 c8f23723da27771e0a7dba0f0694073f3947d28b d249e6cf862da52f85479208464f281c71e8dfc1 ffc584ee00914f6d425275cc6795e72479b275499711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 4e7092fa6a337d6b30870a576437a4dfc826a357 124b3659d6d6b818671910f375833e368a09921a0a8725cf2a73119a500e022716359f9e26ee14b1