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 CC:/ tT m/ FeatherweightJava:threads=2elapsed=12.437cpu=22.588gc=0.660factor=1.827zXZִF! ]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!SKRFo/={bDDz؎gu1n?6 L6#Ki ҹ'7 VIFjc䅿$?{a o*ut Bw%#rA| :-Eq)8m֫K+,kxˮb1N(.Ĭ%rr{W;~3՚Ww!mv 6T9J% ҷt|'tk2&\[^;crr*)iqkrЄV%ok3{2> D+V;δ{#c_9ɷ5Hn m) ?kjOB~oK2Z021sz.bl_gYZ7zXZִF! F:a]ŗXi%6yKڇVKmZSS^*LQnE?o6] =K ݏؐ]N:E_8Zz8<6E]{U2afaxTq+I68c;@trc947UYRVWSŻ$_\VRA&5C/Afݲ2ݧGB؋g>N~U;7^!K#ݤa_b};fqmsxl/RY*l%řFl7r ;Rq*`-ํiGYO 9 qo]J"&Ի8v]ǡ?/jyaQʏ =t`q|qWRI[/at1aܐ(.+k4>\$^o] A[=UwUt'Ш릴_ f;إ ^-Jp`y5'di7JVpx(OG|> &6`Xw^}@{R1B٩RCІtX-P%Cܜd]B˜l6@_ o 1+EVqc)l'3"]w*GhǦH s҂$6I| YyS'>eUUSN+23XVХ6ߤ7?QL!r< L)P#"f[?wm);约iB9*t pw`շM:e:>S9f#-}1cDT9`vG+G]CbE*wIYZ^N+ D%Xކ¨%l81-.Ԕ“ӡ7?D6&rQzqc[c`XZ畏P6$Νi#1XPuNsd:y\i0F\ن]Уws3*,1XL"U  o:J;z#KBT!$ēڴ Z_0̐:w=/vWweLnagYZ198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 2fe12d51c53562d8369c4e884abc1d1fc76e9c63 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822ff0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 / FeatherweightJava