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  k# L\ ]]HOL-Nominal:threads=6elapsed=6.445cpu=13.932gc=0.612factor=2.167zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯8㍡Z&pJE;&dW =WZ)u>EfG<<bBajLm'ƈCsT H )WWwmCL),*iNd.4-5*Ebbrl&0v6_pz7j cpWgYZ7zXZִF! ]ŗXi%6Atw*_GpJo[jUpk=TkQ/l!ʱQtBtr9A6_3^=|z8we7 x1;Zg) oy%XPQe.7jРsPJ-l*q>RV8,;a |Әi%\W d^f=߂oiZZ% {b4Bvbfrg9b:vg L3[y~5j0p$Ӕ?re,&@#K)4k6ُK=g!.<It*vߛU*J c3;=nLr.1;4ċ_u !h$ˎi+U5C M)$ceQmNcoBu+kWDcC!Rdah~e8= EX=ܻNdyY.H R_?`ǟyn icsi_e8 )uvN0/BK1`bz5_[L< ]@=H$'6)Γttio0!ݣZlWΐbV}Ȍ 5!/|&?JkersْVE70PY\BWY[ ɮctz͑%_ָ`%R~f߭8Qi [JI`dO]}r=aAH;gYZf1cc9013f62f5d46637ed33a38ff59521fc5b6561bc35d9f5c260a07418d50e521d7d63c2a5eee08 ceb5af7e7710e56d8e11a352c6a6268c805bceaa 61286f221934408c604d798e58d2aec64645c74e688825ee15c4898b2f3def2ddd5d28810dfea035 # HOL-Nominal