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 33J/ D$ m/ FeatherweightJava:threads=2elapsed=12.131cpu=22.256gc=0.804factor=1.837zXZִF! I]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hoo 9ȸhi=}r5>7S_BUfI>Yf67C#M̢Jg,-_ؾ3~I$Gz;-K. qARkO!d.4%$kl=*a%t|W#<*0r05Ցϫ8Y;>9CȸQ9;tZ;m'p0B5IoY)-8,_J18-Re덽_E1E0Y3߾ûVWћHQ: !$h3ld^hzM<2xtbV(̓ek4nxRrD5! ,.Q1(:`Y6]T y߮`fHrVkyG_Sl|d]5-+]΍RQn(Olaĥ6\|(D D"(O$[Ԕ+H(хsj.nfǴwqTGD7ix n;Iވ5A`gb|3R9Z즦~y\||yn-8:\ {SVh]Tr||1@Q!τ|[NFIw|ܔ7yb|VTTXy.)%JҊ R{}F0}Yy.7x|k11"o8b̗f)qqE0;(hpu"t w:;(X#4QZ\*f^[V8>( I2Fٱfpw9ږʐ1}*zb56 B0u!Co3tWC,( -y6e$w7I߈!>/ht"~w>䈝d1h\pGբɚq),5Tm5RDqFDTh')AƭYnպb~)̠7#*8bE^!SƧEVHk;> iaUǐtB{}Br~vw>8~/;3*lk3:!-8̂擿YnR3/ܜ"Z5[_xA~M=ÞD<L0D4 aW6 9^%aZ=w2kaZ8to)|%I:"Hio7(¿rXӪ|xl]qKcB2Mbl>.^P0PN[;,ZTj 1S,c<jQn#GdOy)7Lٜ>^3 dC$5xCͱ'@V5DBQ~\ GIa++-dg/f4F;{|/ rGz+6+Kt=9ԣIF-p [syE\.Pë%Y1EXSRaKCgsL-8-2{"'SMEg|tD{4#{ST]J4 Qzdq6z~adY LjAW+Ԫ_m+V{qy3fOrRvCYFB!YP/g3Xf??4tC̖Y쿠 HfM\³u/+baV?Zᢒ* RdkUi\vߠ,ۓx"g} 2|֊@!L;F𻉗ê++IJ.$ h3?2?ib3arSmgYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 / FeatherweightJava