SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ~~w't$ %/ HOL-Proofs-ex:threads=2elapsed=1.296cpu=2.300gc=0.000factor=1.777zXZִF! ] ' HOL-Proofs-exŗXf1-q恈Cl68V< {#ke0Vt1B `?L\ٰ$~ؒ]>HN|`PE3d)Q5q()$]~E4.߉8JƫvmDUIH[ƂLT 7ϰ9"Xlx/C+FnbۥK2"@k7Z gqUdm,e|uQk4py>R4ɃݱmKf\P*fE 6<:DgYZ7zXZִF! &]ŗXi%3FczzL )ٸڬܪeЖo\eOK?/)aGs$^Frb, הķEL!E]s-[csCAbEb\4|UJ{+).Ng0Re}8@m`Ոa" 6cWH.g *'nCĀպ "1D`1q\U1gTWXE\q¾gnb 3{Êv:ZXlC4ʬJm|”ec1u2_[J4 ]mЪ 2t HS9v4"EV;#\s ý @5wZ