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 ==(7l / ComponentDependencies:threads=2elapsed=65.582cpu=128.480gc=6.172factor=1.967zXZִF! n]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7s" 仺~gysM:SiiKP+h6I ZAFE\c/z\ƨh,%G:5^oK[?SA{Gi%CƻVBǵ}N[&Â4m/"X-P3GIUh}pP=Aes 7Gl%OK @~0]ۻd5vD +\0eS@ }YKHM-r[epZng^Uh.v@0 ūK|h[ޱ<p0{QK!grT wb-$ Qϼ3˾k'?~+س۱OHIvt::qvg=/2sфmKߝ-h dʤk[R{Tb q? <㡌=٧ZTÌU+,jVa fU xZ xHvmB4/noiCqR_{uH` ]X:?=sX^0焺vbPe͛Ί76;rMׇg^ARBzݏJ#(cteCFE= 7 ComponentDependencies EcYZG tGݲmʰ\Aj'"DeQNw.#3@8ccLuJ;5sJl)=v2K=OCbf|r,xZdm|rT6ڴ"ըK2 >3ڐ(>ke?j)=9VEsDaV^kc.&\Ξlmn\V UHw+3߾|)~[LT?]6J"iN}uB-.AeMiFa6xUF?4dϛGd*⼣U"nCOy E|u,~,>~_/AbC?^) 7ȃ+ !yㅞPXy\v>)nD;k鈻X0{5p DV4zVNPϷ?ϒxQ2F8@%(>Xx ^P"};CCkNM_XI_Qp}Z(ěU^k5NN$BDkObMii,UyԎqUT~nTyX`A!Z Aug]3V'X&shȫVɌO?sK\ |a(&qXxTyBK o̱gYZ7zXZִF! 5"]ŗXi%9#UK} Io\Ni95|Mƒ(묒@TѶ5 *_XdzpVyVTTf9*:8H"C;BD<(; &yE+=SUg뤛gK/\{OUif<m( hWii~+hY=В z?b* Kx =)ȉȩZM\"s H>QoOx{Sy^ykB_ h$+|R }vJz8F/- @ 9\ؾ[;Vi;Gva愺o#{~S,M2f3"L( 6'rӗv5)KY>3e웎 z7!D{Jm {[PݟϽG$;3>d]us8q+CZզY05:D>OF#6\7 [K7\kC655qB4(bLyhkV 44n\uv<>u\*-A'=;OXwA %N.)5>P̨;.~\ODI/>Tg 5#;j9!9lZS?ϞM-+M9{ ľЇ2"prUQlþWwYr8h]oo-ʐZC8 v E0}rFW"& Z|oe-ĘL`:wT=~t7PIQnyp}CB`bݢUK60ц\r!cǚDDT\ E4 _q6&f_?>1%d,q2REJppvtMq+8Xm;\27Ttu5HIN&1JЩr.K ؛6*Qpmd'E1C'<ӗ8$;2ԭ*j6NnzfBG}mp<$Xe;6<i%Ar xD+P&G ~XK! &0wn$طk&#V!uB'"M`#84/!jzQHv(+J}>dr_S2K59bt$C@JpcjmV?UXU^ !4RP'.h'N$ePےTaAM9#rrTNJKt,@Ecq&+|0`ŗU_;αH4v J6``^ϵ4}<3nu |pyOh6?&} QD'uBV#*?51Sܫ`:"a~p{-{B7/Fqq2$8EEfuxׯT1|(f61sà'f4^4I-=WF9fc|Ɓw$HD筌E%Xٖeکjer7;ɚ^}j nP':%n0$ʎLZfOO853 tӗ?/B.ϓ>չ?}m{8h6UeQTţlZtFD"f$?vHWLFeyb5ܴUe0c`u2x3^/zE)֠_#.Ű#\ǾBxdAn[gaܳNIihf#^w T >flm 1PFMh5Γc;mMrq^nj)P9kۇ-| [nta2~9UR{H)MBqz(`ex'kϹ#A,UЪ4'fXJ;[#BXz@y knhU{|BSD|Gp<˜E<꽷l8~Id&ޜba8$Eɺz,ZNs`mgӼul_v8/?1]wf\)?atlY?ZJ)(`(ΉŹ;{H+$n&Oc lϏ6x %Ri;KLF=\E(͇i&133^:9pۇb{n,:&eZlBh;L$?Zk] ߙ(Poq=Noǜ;jE0J ?sRlt~,ZeT:R>~*Ň ?wjVW59{/muPVM`0}]*$?E:5bL$ŠnKAj 4z2ۮS >/}1VsUd@ AL"CHZЍ{pCyVQMʊ#MBj4Da(b+M%Y)%Zt.KB3QmvF־ܼ-?ٮGF~䚵+2n6¦=E eypץSstKiݡ<ú$!Lw3j:]Ryz}dL*ysJ#!͢F$^/Q @iQb!+b!OZ­^Bjx#}gYZ26c733d2ca38ca397bc4e6d0be734f30e1b1e554 3db12b56d1be69d6ed605c90697dda259182b397 49e9f1f844f037ef64d21d9f9ba269314b3f29cb 853ab616bfae6802e0fc7922600d28b0a3ce1f38 90b06b6a717bf0e451b8900fc1800a3def831408 b9c2c34b1f8e0568e257f7d78e57a481c71cd6b2 bc360668cb496a7bc167eb03f7fe8253a9d62618 da06f89cb08047b16b2cb6a0705cb5c0f59619a1 de6876367339b6f2b26e2b7471b6a3dbad6365e9 dee2379edbf45528e8c481439c264abdaf122481 e3037132d95634fc7dd5de5b85f97751e0cabc34878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457