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 bE L, w/ Name_Carrying_Type_Inference:threads=2elapsed=21.610cpu=38.620gc=1.584factor=1.797zXZִF! G]ŗXf1-/6vR[ְ8vd6 F^Hf.OH =& I$7gxN~3,c"cYdQ93A<!E!d'z G={H&ڥW> uqEB ]NKPV(l#LMJ<:`T0J -1g qʑw{m۟+ގ wþa+sX)b*NԦZ#AkƎo9F{p ^pMo(Vx5T)60OxeG __yo7[ӿtC GdS׭kk@Ab_t~z*s`>;6 "W\QX^]&~ƨ.b6S|'m85bK3C% (IIXTfǦ?Pή\iZj {$o/p"*+Pw5 ǺZ}N2~qeگ݉օ1AE*tgYZ7zXZִF! q]ŗXi%6˻hp: ~Q u& k9[&Hꌄm:‡?}jޫ|Y7,2`7w>veC7SJS?+p>Lf2&-U**Nt,z]f*QiBq& -)7FI=t<8&jů!qH'g=0;q-NqZC3*'U 7x$vѻ=\'? a/LK(89t0GvgTĮ 9B,]?9'ΨCq'͗87Bv`5s?3& >T2UsvIuMG3 =ڛ,A4].H΢9S`0)_~Gۓ[ mP9%skH_L];k52"~hC3 iv٬m ntjY 7gZymHbZ)m w[}s) (Dt>u>QPp((q wQ7sy›Cc 8<]l("%<24fε֮՞ \sHؙKn[״ЍcDWbQygvEuDI^kE!zz?w0!} .j&WkW^E9˻(/~qJ'5`q@mt1Z(&,¶\W6lP.Ԃ @5eφ [BI<9Yqd<*[ @-}5*kۘo/$`@T&BH'ə #t+|‘.jg:0` _ѥLA?HLc+:֏)}^c9o\ǻ.t+ƇV\Z޺fD=4 ||ic("2312`ܨRdܒqpxhLG"{coqFվ5~'?{MaY98cuUGSLɕo%wD(M $8-*SΙ-F0_4KgSގȞXKSTL\ sO섛ڗy2Ec ^(N'/Gá)d!fMk?@lcIpש>*xCQA-tx#Ɂˢr6rB)—]lAv, $yt{آuoġ}V9)h`tEу^ԛls2 ތT^GG=~գ2J8x[ s߶SdD<0'Kz@7iq”)^=o#>/l:΀ ܄-mQ=ߤ5C %FfJaOr3@1j\ʲ^0t4=3Zf;ȯLX-`