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 ##Z/ | m/ FeatherweightJava:threads=2elapsed=11.924cpu=22.804gc=0.800factor=1.917zXZִF! K]]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hoowP,<gkᅙ0җ%0ef~ S)"~wG(?9%?YE>~ˉ}pih?^Tb4S:XH)-AdYSX"@YBE v+}i8(빺MJ~Ը, dzT; @ *W I(@o.E/ff9p0t^[kP4]aC]z! >9Ě̬x\&t*ƅVxΉwc-*u6se@}PGp<0N/V6DQ᩿pE =v oS~=ssO1 96\ cVͶӤY{4Wm: g2Y_Y_Airc(Ku/,#lOv~r^)VVxP_8SΊT>_Ei^m.4-#U%6Yu#7Y' ӧ.4sʶ3 { zrxHrKwQ,b@d<,SQGRcJk9f _< ~xGX({+@mfqZI#(oGy&at^&#MAEٷ"2) ᫂L$m_Hi*CtdC|)5Xۧu~G%@EQ5bgz  vI9o\X*Ln zyޭ[儳rV>5Vy z1{Cf_'8[p1֚K^jN !0f@#n`LX"S''\N޲[Bf#VFC-F!-~s+IVӅb?6^Ȑ-Oz4>&lIPaxm3SL 2!FMÆX+xۃR Z-.0sf3_4C>_ "t.;~9lMrYt՝nI"5)ֽ{ ޖEgYZ7zXZִF! C5]ŗXi%n8 ?PLjFD^ڪK[/" :1/o*CZvpq7ꯑęoPeQ]pyV[M,wVse3lE,%!^xǨ4LY+G-Q$$r9|%="ʔN kQ3UE~li3ƻ\=l0o;G\ErE&bR~mmG>-:7D/xa%׉c _5_cy> _HQ"[SnU֌DJ4#. jAPr†Ù)Bi^h\K D6/<u]c+/Bv[Ж>j) ֍7Fq) 49`d'у\oq7 R]q:"l݁.vzuwp*#a N9٪;Ҝ+,Fw:w[9FDV<:4W}ԑ㈶*;`~^V(WܺP` YH:#: f:*d*%t =~!i&_\~l aW\uzT9=\s#iۢl*D~F~OYUo`#xaJ? ԩ,0\x/1'Ri()ׯw?Н-૔d &8<-3 \@z'Wd#x#4Teb)rc(۔ߢՂY{w3$ɶja("i ^f65 %@g4)Ι?%M?74`bQ|gYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822fc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 / FeatherweightJava