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  Z Z#  S]KAT_and_DRA:threads=2elapsed=43.281cpu=80.740gc=2.780factor=1.877zXZִF! 6]ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# NB 7¡lRF%LB8 !fkRqB)a6݉L*V7-l"]勡%N=[(&G};*9+=Cb$֕SBYԸ ne\ g}ߦZW+BUpWS_d<؎-eK}Lg_2,, |]ĤHZ*ѿ+;J'go}0Xq!CtA,ޟ. ex~Dn_d;al֬t-~ fءrs|'`3`Ðcpp Ūd{2"uU5Cmo.aL yC:w7`I38LQVV0G Ⱥ@~+d?6Ed+bZR/n9˚O'l "&=el # KAT_and_DRAv$'b}μ\߾I$_T|+c#/kSZ,GJ<wu=5q8zдunf@SSv(aEn^& g(T({J0 m " m$gYZ7zXZִF! J ]ŗXi%6wg؝@qo@H*tQgMrX:1N\hi]B_LOoߤVQnp+1au=~#}nCM&{vJi7R]u^: י%z*f]SسĴxYVu[Ww֟nz1A![/|>-^ ;k,%]c'H|Sz>y\+ݿ d  d6toOl dAƷwx;}mfυN(-Ӫ @xmжyf.X‡N=_18^O˯dP,џl#6'=t8zPXT)(py"ä`,BaV<`%fQ .Pi@ V1ípOI_S7i\ŝg@BQ:x Ddvمx[|&F?iUۆ%+4đ%WldR?z5'&9rcţGA'ae[UE˿sAuf8)^.QNC` ,7dslB(N\5eG/KCg nJG8M@y< ifU W=06 CP 0s5B^G5ˉhV.Ox˒\oQt-[^[JM~4.(RAǭA/ZcT3Jdcn<VGQ%+ɮk!LEc7KɈMG$.8q>%Dw5|8[7+ku{v3"Ϧ G.KChSt rpK ޸C[B#|d.$}vySZ[3F{z^|s,*LpxQ gKWo-/sO?PK$(rǪRe) ̕;YJs%ȃq_r˞T&2'-qGUOZ)|ѭ@nMTq_qs-d v#͚Dsf& $AT6323oYIbR[&>:>585^dWAS|2ť-T;@ ufl9Be.PR,plxDzu!pȾ%{j!#ʴ?PM[qni"9{; ,AXTY:ګowS-A6n=cM 76Wx'I9x?gi G4mxn9+˫U0< 8}t%%N1SiXQ8#(s?~8 fWK@(V';bxkfh]^pLjѐ8tJES}H~\a1Y_0􀇐[&$}Kb,fPA&6KGf[:ukeYR?YvDRD)e^b,"*t~psbx~nrӮ C7(Wg3z9pΘdVOŭoRsjAM`'#E"$8c@]uܗ蛚LD?A`$k)/RP@#_5Z