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  PdT ] Eisbach:threads=2elapsed=1.567cpu=2.016gc=0.000factor=1.297zXZִF! t]ŗXf1-q4(~$Q?bִp;w~ ѾA`FHkkI<89?[j`MQ/j0T$2Г_{ h'yVa^EvKthOol '$OVT JN5gYZ7zXZִF! d]ŗXiɟsмHI:j|W?iUF|1;Qݲ}(S`1|pFd@595"*D|6fOpJ`U\\ʲ${kERgYZ7zXZִF! !]ŗXi%9(PψH-Q-&SӞ wZc cX'ɿ,*ڔyf 'Wg}k!N]Jxt㼶<+=͢Oxh%ѱӾ*ylF5sAcxjb@XȤ#vÅMLwH_sEPo͞S]9K yl݂+*DjR%X20 Qm``X9KԽ?WJ.1 ,5V  KʲhzLr Y\g9^ejBB`\ge )0/4=FǑQ42CO_0Bel$6~x(gYZa9b9b45da3906ebee058bfa60871251af04161c06f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 dda34f4ceaf23be965c8081cc717a098d2f40b75   Eisbach