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 __/ | m/ FeatherweightJava:threads=2elapsed=12.465cpu=22.668gc=0.708factor=1.827zXZִF! ]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hopG ^y/3^{$>}}lvg,W.ܺpuX(r@:]Y6SQmP"[Ӭ:yȻM$u_NQw6]ݏΚLUDXHm-DABin6 R9Vw)ճ!/xD`?rNݒ[S gsX0LO$sqrd~egNCZ!˘ ރЬqo(MՊ 7R{fsh,rhewL g:\ qdeuޑ4#1O|%ˑ7>(RVUM+a*T(\ٕtɊ `j'3A(#-cVWmב4y{*f>t@yؤ %B~ │hbNܟg](r*e\ 0`S[XU (nlq2':jkK{|&D|.űO6esY'ImBZ!Lװ86[hT 67#\O+nqX_ ٨$qN:$,qg7%HW/WgM6CӧaE`^5 ȂTj(vFN Nf B~;L/zODQ¢oT, O rvĀ{~ !?d:ޢ:3nms)UoYZzņJ`x`X{݌C=_ʨ> }lͬD:0m9싡'T>sGc66g7It1{NۄPI}x>DUz`k^\+Hcu3J 0'z럑1ԶpHYgs3o1*q/z{cq$*ߔ02ꑣm$;Uo&}%!\Ыv!5!.UЍnNw"B{yRa O8^`/[\Oi*c̵LjFH6؆)1LCy>͸pGbw3@0Ihkfy6YMJt~g< $됺5#&CKWcim77sf~P%<M{M#r@c~'kM%&eIs ͌gYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa / FeatherweightJava