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 n-L4 %/ Constructor_Funs:threads=2elapsed=7.241cpu=5.288gc=0.264factor=0.737zXZִF! ]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}#ʽ-׹Xe.'ٕ&0:gPz :h~1yrz]](nlIC!Q/SQ7G_#Қ70NM;V-R>5 Sf[\ B1`4z2P8  = - Constructor_FunsgYZ7zXZִF! *]ŗXi% 4a,qaTz 9ЊكfVs.}_*\S'?#Y&UHwM RvD"lD`AaSvXk po375SWixx9fl [͗)^>v$uHiDdcnhmteVwfTށw);l rGB'HLnltm4؆>X.ucQZ,ӱ7]66dֱ2HcoqJ_ґp .[f+[UG9U>锄p(S| Eܒ}$`:]|Nc'Z@]r(E.^2GŦO#" vw!kiЁʓa擹 :}Ӿh27_XnЩ*0gPg7(|Iww{zcvf s e =gnR}u^xc#}ap4Wuh.E3ݡiQu֧ {O&W5R'blҙz~mQ qVow%AjNTgYZ49bc8b2c116804b0f178a9426ec2e9998b259252 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be 697c5c0e2344d52be79955bfac21eb851db0dd18 a050513c4e99915f1143006e1c9e5fbab0cc5278 ac03b26f96031f21d43bd211fddd0468cad7c19270d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9