SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 33B1D / Depth-First-Search:threads=2elapsed=1.172cpu=1.712gc=0.000factor=1.467zXZִF! Q\]ŗXf1-/6vRZV”̥k2*1TI g~{ȋXwq/m0 1 Depth-First-Searchc#A+TgsS7! ?1P%$9.ۓLlR3}*~snภJW|:lяZ,l㕣b5cjww1ckn2%>!Y \LZj:g|a |"%>%p LǨ^vT+mi塩vV^QqİM } p&Z` ׋E2 mdƑ=AeP"yn`Pi]ޒ`", wf&ױgYZ7zXZִF! ]ŗXi% "riHi ~t).;Yܺ[۔O^w:(xū]AuӔtYfLdkțgl&abg9DݼnN3@tjNuRԵ.c{$@JDZ5_!) _""cSuD_ G svN&c. ƒ{JY$ѰHкm!Lh'ZJ#VgYZ76669f742a7c4cb49448c6a7792698c056339728 8f87d8c86b8a33cb347a1b5ac47d3a35df14f396 f2794a839bee3dc83e874b225b1629997d7b874d3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd