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 \ L$L ]/ MiniML:threads=2elapsed=11.494cpu=15.848gc=0.612factor=1.387zXZִF!  ]ŗXf1-/6vR[ m; Z9a2G1B`jj?լ4 "4 /<4^Z4φM,o5) 1I5jqIJ*3co!Ih|=4zgYZ7zXZִF! Fa]ŗXi%923TI OUײ䁵ˋ#(RmU)2ƌ @|2fx. sSk`/byØ9uDdM)8eR{Իb0Bѧ鶽6i߹F/Z&+{ jKGo)m{zo6Z@H]>;raہdͱR+Ԗңs<u& }+o]a(!_-,;Ofz7t0/k ZB\sbm!-uGV=QGF䃛^N'"|gVQ؃j<d"l{6]A_SӞ\0NRU%cjBݘˠ5xwANGg./jfhRod.)_`*y v<7vcp-weC" (C&*囹|%U;>S9P׫ &C,]z @wG=yW#[e_/4RpI g~mrarJu St^qt 0o)*@ڽS|J5hPM믦C4ٙݪ; RwH'_]gӻĆſME*Q=hl*[Kb 3 8&ͩC7wȞ> @Pd Z+Ҫ ;yS"