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 # $l ! Shivers-CFA:threads=2elapsed=30.121cpu=58.600gc=2.668factor=1.957zXZִF! 3]ŗXf1-/6vR[]u Eߑ>LU|BV/ID8n`ߙI/L 4v)ԇ5ӴGRaY%0ץoFRMW#K`K>cg."(uŠBM=Pn)ӈG^XQΐdpަ9\ GX?'^7ryW®K؛h~tF h'EEljB }R%G?\+/W3J ޷,RiEYb ʂc ͵]lCbSkу|AfI_ ezEE7L;yw Nl{=k\96'R5F}oIeH)DX/,ԛtKKbahRn}e,(HCi-_;:b?&N/غ~䰅%+ OGIԎusaBxiA賀􊕮l/̩lD]u?f-Oӈ2fwp|D8(~]__U3jU[c(* yg=0ÌJW濻n 1^ymik87O#FTj9Cb3Ͱ%|A3W.q13JϜ.RnWkbi ͭWot2dC n"TNy6S ?cb.cgYZ7zXZִF! ]ŗXi%QZIlvȟebJ-"2(,Mx024h*p]d.RY0nf&$nu.GI'ߟ͍̽ 14HbތA,MM[r 0 rA#AHޕ!@ 3] s8.hEXW߫uF=0~x$s^ +e:qjpko<Rh6R[Y)QQHQULcARէdBʊH[wx4R@cC+A+-s}a;3ask7 :+AȥK - B"*E֚Vz2EP7xSI^S& Qem٧s+"-ZRoiLEoıj 9aWE5ZICp/u]F0'Jˬiu3D1ek!oe Ӥ=C)Jf~2 ԰ OXg7ؖG4G\LE^k":M\4fPȴng9Cs9H{6]#M_5`2ȵ2J(8?f(e> l() 5ä/^֨e L$S `DžQD&ڻ_KI늕俈Q&̆쪧?O'/Q&-9e2>l1\k!)3nM~jm0h*(yrK qxbf}+Gf@[GL?xEwNu! .W:l:XҤW!LBpp|9iFvԲeQҞOfhgL8{(&1ԿNA dbJϸP@ۂKKAm8)-@NK>bc_b;y_^!.géd1_1X°c5w=+2Vl-pfMT*  Lj7s{xY#iUJ:~[H&`f+8TBI$IcJP_З&8,7usc-bqhd5uY95 TLy`?5w=܎RecUْ, ^3ث[Үf ,qyY4CwV_'[bO $* O4RD#!)1Aw f۵09+P1L3S Z !#eG@+-\b5RPYf) -49<)hgĵ_k8uT<\jφia ;̾3 7MuUٹpl@ sluc(Ym.*{z:_4AR41:#""G^"‡U^vwmA|GikU22Yg2r[F5(E5,oɿ[[Sl~U-q/}\v0u䍩I`ntjbP3 *@Ju0o<{c 0*!wP"3;S|ϻ"Yxà]1T?KCuUGcW*mg @⯻pZNI3p{S )n5l b'sq&