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  3 3B+ dt Yw]Girth_Chromatic:threads=2elapsed=59.037cpu=99.996gc=4.684factor=1.697zXZִF! !]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*kJg3hq@3`O{ۦ$ܮ pJ[,t|/oAgOQ^|Q )w*+=^ ZS]WSqmw1Izt3gob ]Qg!̣k j*e-T:Ӿ/cZSUl5qErx9gI)|X>WvMCMq$bcہ2|Dv625/gw(M*>J6m]?F~5zءګiLcq!dAMIr2VbE#CWgYZ7zXZִF! K ]ŗXi%6xEP0}6,A]ʂɀtg٣6TgU~jpW~(1fĕW Z7@Dc + Girth_ChromaticzmX hKMr,;_M:>~s_RST)`+W/x;yBTJh%h rr1Λ1:!&9~} L*aECg՜Rl_ ԥHTm9αD?Lhp;>/#k4 )\|Y4loyQ\r!G~`jG|daEUR VU/H➯@ ߫Y\ZyV3kx$vXeGNaJAS5dPrH0%q]3eF7轱lt¯l تy-Ce+0_uj~Fz݅S܎ΘZ71€î ū !YeE iǃ W ţsX6{S6m2c̄gF=h4O{,8L:=pfDW]9S[u ; 8W0kRox*u vj|@s9?h"` \+$ Z]G'=`yzi6D -O-d'0"l?M*pԥsa. w̨/}މuhrڏ? $D&2фUM|zv-%ɵznH@H4+>Or`+`"XKhZs lK*)@b%brWJ&EqeiT >g4|1Y~妎ҍg]MeB[ $k¦89Ut* X-y˳% _}K4I\OB+LsHuw9qX`i[ |'";:HJR P*VC{kp],g"kN#g?OuzDmg6V",t~&Sڝr]JV#q~yC|#*{Nvff[fufRŜϬnr|< ;>(D)d>,XJ+H ҥ7- qGiKvWP vjx}H+TVԙ^:(4O ~F dNtkd 1㱐,eO*-6Lp"ZN`]>%]h\M~*ri[R>*`m}Ȉ2W1bB=/0o,-ހWL2V& d % ;gc@rЇ.|NM=U%H(AgXZlTKwvgD׶.fvF}/F 6ٜO{t],[7*1gV-& vʿys*E,#%UwuvcP/Y6y6͟S03s; r|H"zyѮUqiO` <Yz7']N:΅o(ۖWo=}ܷ˕?Y$(juxqqƵ0al-na3NH z$1s3iw[^a/3RnQ<'Q(\Hnj~QB`&hFxWUܴ3SU:'|y[i^.Fp#A"ogt9^.4Ŷ ֛a<:* "^kcAcIot K"C?L!`㮽{HQb ląř "@^SiZ <:eG?[g;zǴnsIsdҀ 7Z9p鑄'SVZL D۞_mvÓ6dȼ Y>Ǝ1h:cW!a5;s%{D ʁ̚,Neays "=">/9mRӸIg/#!&L:7Ӈy'Lj_FJKIG.\l0ARy)'h+]Um~#!_:M9];Cy&+i{W<0fjUəԵA4:(U_&:@ ^-F3՛iWD/q a.T@U0~2JID`"h5bm^n{/MN ;`ZF|$nG+U'$L`/