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 SS"1l / Depth-First-Search:threads=2elapsed=1.147cpu=1.800gc=0.000factor=1.577zXZִF! F]ŗXf1-/6vRZV”̥k2 1 Depth-First-Search*1TI g~{ȋXwq/m0ƀc#A+TOXɦHA&cۡXj|OJ)CR/Ąc~W6^/i 7E?Ӳ&3ZX:($GQk7 8~ަ(RVn`kd+sQpCIgYZ7zXZִF! ]ŗXi%SCSKWQ2D7<]?~ Trt-Pi suŔ'#Rz |?4Bk7R;_0YtK,, [uX.!\bٲϡ̒ڻ}y_J vwh clBs ڦoi!F!xНlpI@`^$nB/1)C癿V!ĞvX [U/:#a0f9֠PK/ unjiF5_]gdODepyzH7~SNևd88nJ2f,F[T˗dB(bUbU3.-L߬{2Sy'{C撵aQrD^n4p%gYZ04ca108c108a72549e594be4c55ffdf01584e907 8f87d8c86b8a33cb347a1b5ac47d3a35df14f396 f2794a839bee3dc83e874b225b1629997d7b874d80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4