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  ^1  ]/ Depth-First-Search:threads=2elapsed=1.183cpu=1.436gc=0.000factor=1.217zXZִF! {]ŗXf1-/6vRZV”̥k2*1TI g~{ȋXL7Tob6Ѽ37B:0'3b@: Mb?'ew#1)$ĵ#$V[gYZ7zXZִF! J::name=Depth-First-Search.DFSelapsed=0.624cpu=0.868gc=0.000aɉ cKWX}YZ7zXZִF! ]ŗXi%92M!ClfPnb{x%KI<h0&?W"AR.DK$!:6CaޗsZɻ聨M`[4|ErxZ~nlg6\j-T,9R¢J]_nb/p9`W@je*ȧÔB,=CN̿Gu׵ ɿ7كS5)!+:Z~z#'X:KjI}?388<[z{5Bpm]hy)bziǬN:l&?}> .rl\|8PGd dD<}+."zIU9G+M䎹t_Qv)q tgYZc902d3c27f9f70a0d19f455a27081fd09bced36402339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 1 Depth-First-Search