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 GG6/ $ m/ FeatherweightJava:threads=2elapsed=12.521cpu=22.616gc=0.688factor=1.817zXZִF! H]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hoou)fI/huѼ|7+4";ݹ>B>3j .tq1N oĒ1jUY۾5z8z;0cL#UAbVoϺ}~Ϭn+ab.gtk}$;g ^OeA+P 12nm36b'|MEO伤x=P%]g(l,m* z{0l԰iDUG"eM!(Q,dRn,OB?si "L}@~\SEo_dփB7؈TQ( ߙ7<.'6r+^ ^)木KCgYZ7zXZִF! FBI]ŗXi%}Ƞ-hABP gvB׶c3;.]:tsff l%#'*Hƴ ¾ҧc'c 0FR%W8 x7Ϫ3Ev]c.1Q؏rHG=E3mz[[.SF_"v<8sE[}#8|q<$Þ.EHQ|j.~+H ];tÃZ5 Ӂ,'9x+=Ì`` gYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f / FeatherweightJava