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, m/ FeatherweightJava:threads=2elapsed=12.414cpu=23.000gc=0.724factor=1.857zXZִF! M]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hoo]nkR%SYjАhW2vDv#L@ [} ;4U= qrДTqTi|<\&oy4.}f%- Ã.LYˎ K鹸Ql*ёwƍTawA2sGn} ߃m3瘅inTCTUыO >56ZM.J ߘDd܈CEPՃW ̆fe؂=?OcFo=RSg4]ba &?ƋfbHx*K[QQn)j9 'V]~Ơq+H%R>);ވO'y {AMW~Cm{w&ECW[G6xNmwM)J@ix @GWlD]w}&P˄'R> 5YQ 0&&en]ōoyz8j2yyJ`K)HT0^789O(N t[!}F3ML|gw +@rQ aR8l/8 GT+^B˖b8 =9?r}ԝ㝱SkګЦd"-f`C,YO=ټGp=d88JabM3z4^aGMd]u2mP{Nl톶پfy&KS˱|GwF=(PRizzm)QRuW87Ȟ EwRw6\Z Oa):zFmܲo {N[t@k<o4Sh Vүyh ᕱgYZ7zXZִF! FXP]ŗXi%gtz>:kj.*a[4|e2n%4+%j ip LN 96g8M78f eNxS,6LJZ\Wkճy-cZ]ءXJIԆOڀd,MOF N18whed1[aA3ArϋR9* xI7'l!1᪶k|WXe T?Ǐ{cˌ5# ү+KG/#o &t0`]c{M@FgB/ uÿ^\ S9jkO<@r5כ# rE^m8ɟI*^L2e<3U~0pƚPT+m?hXp8$m`ϓG>lVJnmfC]]_ǚX`bpuc|}}hÌ 4NɿUbv3s `AЎRokQ"eWj,ӨK:jEkOQI|r>,A(l"#ш~:J ۿ>Tµ^xYJ".od[,23THٓ F32A/v#m{N"8;+T=NAeU |}1 >3 cX6ċDG+#E!f\!sY̢L=oD`&`k (A,,@b:N $7xĶt `Jl3KuKt'$zD7.ozŧbBtV޻hj/U=TW_r=- mG`6SFMĮE}|a >HϬ|UBcTn)0YA1 ʜٌSa8gYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f572ffb81f80d42dc81f45d244b15c5381a012b24 e2861874690d29a1b715dff597313b9f4e7e36eb / FeatherweightJava