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 VV'# l Sw Minimal_SSA:threads=2elapsed=10.726cpu=18.124gc=0.360factor=1.697zXZִF! C]ŗXf1-/6vR[ mY[aCq+c=ޒuD"5,fN^^2}J2@y~s}+X]8.Y^Ѡ(~rP&ZӹIK; G[wo [2zw*IkNwhm6`?zCS0 SpNEMS7 1yWئn\<}䀴,C<@}d߷ 8|SGӬAg8D1a } rl~ScF3JJgYZ7zXZִF! ?M]ŗXi%6{C. , J.Rqfc6&fU}ɍ ԸP!sNHsAhg51"n)aU'0)6ihK@|b o!wxD35LUF 婒' [3݄ק*QοJ)aȋ^3ͨ;8()!-8LmmHS:t-Yݹk`ʡ:Cnng5`kX]Jc@ߌju2/-fN[W~Lgcnn_ XM!#m[aߧ[YTV`V ͮkT DIHS '0X]V8[Q .D*Y)Wj}-RopR䰖OaF$n9_\KMŇqYn?&%`r-d*|LHIv$%EDlJ`hQqKAU#*\zW|Ӧ/fmP6̒3snwع%N.OGi%cP?_&loIo=*:ʾF!o}