SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  X X%#4T ]S HOLCF-FOCUS:threads=2elapsed=4.342cpu=8.492gc=0.196factor=1.967zXZִF! :]ŗXf1-qNezGh)=|"*AvӇ~{?@& tu|= U*hoRIiG>£qGz:p\rֆd)lu6I܁IzR1e%NcP*CX9lfdaoadl1)Bɘ˱gYZ7zXZִF! c]ŗXi%96U\i{,V,lOgK2_a"7Ɛ.QV~ӄT6A/ ck?mJ9mND䝰J(gluz°?eWyu{9 BHw.BN넾=\z.KFw7!A1/)Ϡe-qGe>9ޝ6>3#'_U]łUwu*3p܉$};.U~FL т7|f3& QmZyR%ٜZ@$)(|C`vc5'TlsMd#'mW'R][H<تjmjIom31p#YpaH &~uQ(p7-j$Yao-*Ц4r&s ⍛@YJBtI'bGA=(kfn&14hR Y[yf~"saOg1" k8pޟm%l#J*(VĻ.:Tb`MG/63)zɱgYZb43c1299d1ee84bf72906393087354e805ec5c05e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 716a86216331055199244637288ec1c6c116ecbb 9a300d807099f9d08a19059075640abea5ce4127 # HOLCF-FOCUS