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 e/ lD ]/ FeatherweightJava:threads=2elapsed=12.505cpu=22.448gc=0.784factor=1.807zXZִF! $]ŗXf1-/6vRZ9@{q$Szyj߫iII_ EVsPsxM5!SKe*̤9Ʋƞ8QDzd}2Xn,HUQ0U: 7EP/b{-¡^i8*SodO5r2^}Bin9؜|gFh`޲>oݍzؖM.jIޑ=?n[`z_d5 _}7.5#Ehʼn=j4jT!`6RD]9sўoU10]d\[lG;6x)Qk3)Uo$:GSGnjnCgEj<Z6C7}W7;nsm",F*eK&")VnqГVo^=k_gYZ7zXZִF! FL[]ŗXi%60nn%spx xsHbY$&J6;w-"W2l܏<>k4ۿꥅSkvT=NI4 adN!$p 8ꆄ)-]b#b/9Hm!ڨ|iw "K%VDM*L>5Az[y3T/;}%^/@G i|/fu:p漊 > K\oCSd/ ]%]A. #P-yE9v^y.&ifl[F+ `@ غ6*x5, US*LkTvthiLƼ:ތ\jHwXv)OY ^͒1lC)ItSTwPh+9\$Mvs2*WꊅK钃eYch}D9؜#'|ђLBkYt΅F{UWL9Nvw/~w0C_>Ǟٹ!vp>f#7yMun^{һ^U{:hyAcGVaz,0]@ O'@z_W]9̩h@18( ::]{EA^- ԎѶ2ML rAr;)âHtdJM/,B>t%9״%7 ]b`&W4^C5R5t+e嫔x",W~]zbJؙswCr1bJod)=:w/#<֤24'bt٢}ّa]>}>Y ʐ5՝ dC _GG x:yV4n_5c-~Ƙ1TQlT`OU +& !yYKlߣ :ޗP8= K׌o@_pDx`2)}/&U`XST< /*e ZoC)Rz (tw.Y͌SgYZ0fa887f1cea771edec4e12626b5a6ba91cff243de3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 / FeatherweightJava