SQLite format 3 @ .
B B h77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
/ \4 ]/
FeatherweightJava:threads=2elapsed=12.562cpu=22.580gc=0.728factor=1.807zXZ ִF ! ] ŗXf1-/6vRZ9@{q$Szyj߫i II_
EVsPsxM5!SK]>k(^ #ٻ
:ח: CtMOϫCGw2NJWy>2^rXw\]o\"'t"GXdg[ f|Wn.н{O=#9GD$)
d4-(]/`L&K魟0[-K8eJ[}d8 ˡru^\V7
WAӌ=l %t܅2:P閙+q
` O11 T:e
; #{@nLIp3m(gIPx! 9@8.f isKg YZ7zXZ ִF ! ] ŗXiɟ6 >*NWk,@uO#Qte4 Zj;܊DCW#D^Y 2Β7tW]YWd5 DhV ұg YZ7zXZ ִF ! FT@] ŗXi%6SwK{d+V#5 ՊZd*e3du[gzͨgiɌPtV [ IZhBBIz1$EIz5nu-9G<^3 ];^ @->SƂ;~/T\A/+tPK&LUvDF!gm5ZH{5 &֍9& F
oNDK;+U' s|#n
غT_ƌ796#Z ?C s w태ϭyߍٜѪn'ˑ4yS o,]`b "@Ǵ/.2W#qddłFX%Rk7s]sn@Hˍ17A`Kڂ{YYzBz$*R#m=p J%`k'-ogF e%Pq96og*h!PF/{M?O1{vj?}#jbXo^nKa #KZ Je1X\vr gRu6EFkwN }O~p4% VEP!oÝܡn4]p
VokAc\A}}aҨogئd $mN;K| Ӫ3nѣ{z ~ʶj1 ѶcC` Ռ Fgvg YZa0515d63c23b67412d9d44c44da4169688abdb64e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
/ FeatherweightJava