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 rl| { HOL-IMP:threads=6elapsed=67.730cpu=279.796gc=15.076factor=4.137zXZִF! n ]ŗXf1-q恈N|5` 6y}P7(/H> Qwc41mP9/SM&9LU?bdM;um|O%"͍/j DǤЦ>_pރHCw]'xM Y:Dz/a(|nj%t")&gg]~Ku9f4gaLu^,"-$6#ڭcd 5x :˒P%߮|Bړ%N' JBx5wA9o@G܄&0^q|[ޟ H`عmk+[;ۦ7Wfa~h]|3YbWv8}\2~>#a=< tՏb֏\i};:} U~Hj-{SI|[O|>>'2\x͟z*=:M5ִHޅF à5({Ru#Lap9X=v&nnBWJlܚ`N)࠷pkL?#P ]ZHQ|󨺍r%z{F"al,v''CRp2|ȮQh9^>}+Bxn@ZML `O\EFSNP+zԅ7P;7>Qq禽+C71DejV~nr1aκB!BVUk0PXq_A8J@FU\ܷ'olV%SM4nSgMR|DS*͐ W _3zA++X\0nj6jOVd{B]ӊ(+n E&]@/O!۞8li%R:Q/P cECmaFyk [gNlMj~ӿpyG9dW G)Pӝ^@ s|gVNHƌk\R;DG6c`GyEV8 ^|@DI@87 K'u%"rfbF~*8Er8A9]+q+e8pF*q63;Eaf\7{tEAr ޖ(dLO}47C5'%FO^wq,;z|&S7}d%5Oʱv$cvq%VEnt[fK}'b+[a$qW`OB(S1|A|6w/gkY>挄1x]L?̏Vb>0 +ISA梪T'%d r -y:J2`޺ޑ )ˆҧu6݁a 6Z*-oC}L g| $B0[Xbh(0saSWbC[B%axZ N7$q~ ]osyu0-ɠ! ƇI`&D`u!zN.+ŢIyEBU c5A DT²Q͘2]t*SmG2Du^=,Ό%ZV[#H% yOrXbzejqPgpKa>x[䗁l9ŬW*pAfs!`*Lly)]8=rm o(ntn1@uAT +<#-->9+?KPdX`Y *2?8v6bT.}UzJ:R [kV$rŢDz?1 g٨̎-5{$E^O|ڀr1)1lҭYkx1_^ÌjOȝ;`!pbf K$'ɬ<   HOL-IMPWW:Oq1aeI Ӯod#)-&lx(Ҵw"DCopb`yZTwĹ?ࡑ@ja`ju ;D k`/PGv]˞~ BqV<|{tqOV8yb-3ڝ3sjʗ: ţ`tGxUeHioFp4VBH/IrDװ{qqE  F0W|X}Xi4_3 z_998F/66}Ҍւ 131$+jzTb.#p>Ծ$>8.Y׳c)Ppzzo9{)6 $=bk H}.b%Mk>mِ ^{$njzS’^0yː۷zYiq՟\'DGR䊋9~ˈ[ ᧇaggg>A8EϬXC8 ‘W{=Ojdl]Bl*K %ծ{zvu)50}iRCaչ gBh2\EMߦ G(MWG| #8VDkCA=v)vxa[ךer5miIlV\:5<%-ȊG7/콭"^52bE6sgi`{;!sN`+YQ}"s(x#:rc'wV;|w< i^`­Oj['d`u E&קc#uYJ[i;@fC}q6m8"*!Ϭg^/PC{>Ef}ؐ6 /:Bvj9r:@$P{-ry^IYZY9=F˥ =2c (!͈" n(p| NS1M&_)Z\v^D2[iKoшrEc CCIPC?MxqsO2ۼSw.z1lnSنey2} :@\Y[ef8X py&h~ҍR!Bcrd`3`Q`ځ<?Cn<6VgM`z-{#Zug3ZT"',v͚k6 I-+7!Ș4 50P"T3gv]O%rLj"ăWHt/`_n֭0\禤j(r|`8ϸm[oH(S̖z]S + 3ԇ,t"Nl]^xq-gpBnDB6U{p(ny$ݎsW!svZf˓Et>T?0DStBzM6"(Oc:ʯgDUvĦbsZs (fVra+X^d˿6dѿy*W6G Dm.꯵!Zv:eP);,9kNv*x-3XsvΘbZvky'erN dSFl ˃'G̟ \2;&Rq`t .#eq`PgO@&s=$4#٭E74*XzӷJ3p𷇗?~gcOco}FBɇbY:ggig`̷,?V`lQՐz^|Opj i8 \@:. "OZr¡Qߑz{;gΏs%A#+.hdזO01SnU~hK՞QK *k:KNПEtjjbN@YiyS|gÆ7tfW1jdy/͓y+G3rƷi=8=|՟$|+xkCcp3橄0󯘵6۲|NGėq@1c1{Ilʨ` k}n0p'3*4iY 3~c'z9֩' L`v u:GI01Ǐ 5xºxv1.ޅ_ 5t8."Fb% &uUO>Ї#b._g!Uz.[9j&E>wqܪ> Ūu!e" e 2i'@zXJPQpGbTґ2hsn]lZaMR8-%+ňb[ȃQG/I p[iL>m