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 + 4< / Strong_Security:threads=2elapsed=19.630cpu=38.572gc=1.384factor=1.967zXZִF! []ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL= (E)x.yo.%!]=n?] x 9-O)d]0")z4 .k{s2Hu%딝Jr<$U?H\`>ފ0do$I8Z檐*1XVT)`8()^l(YǎkuSAyd7Qc1lcՂLu7bS<FauisbG>E̸MǓ7IqKp-8XQ:0 -X= + Strong_Security1_a:V >T@δPk MPegVӱ̫묅;?C⍣/.@&ze_Hp#S 1[=S)}PL",ދw+O(Yrw3N39Rhnd]b3mX" ,H)5J!LfBlq"0ҺR) ͺ'K=ݬ.R3ۡ<ӊ:HvE*%uњb=v2Bc>B߯&^(>ooFɶ{01 7NO;6rBԷ@~".u2tƩ0j kl⬗vim$9ԌK[ڕ.): 4N* RU̚$v<=9\ Czv6{Sz:RKAXu)+Fvlojl9LX^΂eF\)b1@Ժ)1vn̈́򭣛6%yտfM׉HU wNd羯ñ!'974xtipQNo-:< fHLInk+4y9|YsqT$>g:@%|4=v#  g_Fw;;d%:E%B76xS?"9V@Ue"+G~Wzlcs?ʎ/$,Bw>' 9s}Et?a QvR\,KW=}`K}JDH'&vv2j{lpKaDPA!瀣ۃvHGfϷTЌҟrڧwJz3|FSs*YPl┱-O/u*wM qiZ&dmՀȻ8P\`wUSo%{C3sC 奊Z)ROa㣶R}^aFH+DLV+rضV1T g8$e Hys{"^ ^H̭C92L.4"Ƭ]3#TTTG9=>1L0禣;0[U˸P}ɚīIm> (?xD_{ C8Ka^ێTS_vNFO3(פ"$P>!;س41mx`WĀN"MU.Y "a eTWNb)2"Qqn=4nf#|w^F"ZI!MN.Ӥ݊{dYntCB=+$jܪ d< -V ͨcW!4&@OՋ(Jv2uOl1Dٻ)iM9s' %ra <)K;חEu!X$e^^ [&zGj^h❮_T~b轱[ Y@@T|It52!&i0V$eYv^7[&HCN_sөU0 McPO:+n{\>Ea:@-L5\d3룓lmn`_%mX8{65aR49(>VuYy1]]!!j3Mȡ7n"b4n@O`@J?І$