SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   Z|t ]S Real_Impl:threads=2elapsed=66.321cpu=108.584gc=2.992factor=1.647zXZִF! / F]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jj Ix|]Bw`LU[py2& TR/y#^Cfofs|'l}*g?^ 7#uӢ2/hxx:lYu'D!g>9|-J4EQL;WչQnh9g-/牥 Ȼ}ц(_(`.LGx}p'S:?hM4nJv C |zdG.h`9OZf4.z>|"0'.j%`P!V].譋g7oŲ(3{JD'JPhfZX /_cYm-wm3dBxG~E¥[ VONڱ݅ߪڴ5ٝ %[% eP;=?wEL{ )e$"R83ÖXNË.7 XJ((YowjгeSt|) -/ΌζN-cR}zI@{.<-\\kMP7f|~;4"_=Ƌݩ/OpNfF2ypiz C"4.hC[G6wyQ4) ?5^kEy&)KP8oǝksR=\e/RDÖ2[K|g.(eZmK0}/ HN-FWhI*?Tv=SqH;V=GS#cJ20c%l_+*uv fi,$AэT_$?/՜4Nq407ˀf+$RnD3U8e5wΰ_B9s쿧ΦM.z̯Z7,&7Mzz0 x LɏЂ^8 ?pY[b,OW׽1_$B6mi2ae87[V6l-5H%Q; @aѐQBɆ%ij/%Zpn gYZ7zXZִF! J2]ŗXi%92IOl]Irs_" ; ;Li1%GnN.Y3`7QZ/(-gTzq3SA21'V@תMI@+bLNn{fQ:LC,8Z<Ns2̫"m:R+3;f(H+N7rKU?-UҴAύxﺡ&х&#N^Rf6~Svh,RE tXGe[P>=fXH0+y\94L@c1'ò#W7ruu:QMT{?7(բ%y  #H)3t{b?DGT`qg ML3AyFCk Eڞ'!4r$>SDO.%6Uq危*`n¢w>3ӑSdGUVg7z!qZk( {؜l}0ԁ >q#IBhTC< OЕahl/ -H`gW W |o\!FpEBKtZrxUaR_lqLbYUˆJ\.}A&Z;Uo JrOG攽JsarYث{) 38$ϛ][} I<1x#ƭh͚ubc=QN35@CORd1dҺ U cun9Au5 z_!<_18wdyma{ |O%ըi"~йRnZ@"sQu/?wkǿl3Ts_ZM@d͑|~횮ʛj(Fc;EOn'>u @>(z/yD,9ƈ9imABM'{;y]՟w . dQ~\PFXO`X^j] {@dUBmfbNO9BH8~npjdgVƵر_j]{Dqfc/6Kߵg+#_źD pWZԂ 916VPff1 UTPI/5'AP1$7'6\Nkv ifzY:slP? 1cKxzQ\ `]PP{ e:ŸeRrP @2m/;%].5h~7m1v\TY2O'm\N,lPㅬ⒋|#4\N긴,k0H{4)7\yw]55KQx5.rb|H.7!bGfL2˚%̶Z3HxYf]2۪.mw9> QYI:LxڄL}04RIttot`sTx*% h3.8*IȺM^NJf/+w2Ziٲ:!(ה._1NQ@VZ7l_+7_a?/K5\Lh 4Y:=)@jk?W fr>rPߧ*=]?q;܇ô -)B%mx}Ced.g7{N`؍@Yd]-/ahcxۻ\}͵9&čd9$mw^CHV}lYRrP[Y%·LO53ZQ`c\xa _X6go؊8'ƻϜgTdVZ>.I8Bz>-¥?X}5Y >$Tef`iYp