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 $ S IOA-ex:threads=2elapsed=0.802cpu=1.656gc=0.000factor=2.077zXZִF!   IOA-ex .]ŗXf1-qN50^ \!RY/nDTj*tL_,EPԣgY鬵 -w> dT.{̒=l\b;ss(NxV){6~e7KgY+G![~ ? RȮ|r`.$JF#6+}` gYZ7zXZִF! E]ŗXi%#c4 A' MP-al Gv.mb\ӜdA sL _O@_e>'~t(?R5"JLI 훶e,| {zT}7>\S: uBq"B?PhR2eȤ%:U{OcF&l:B 8YRO(=YF]ܓ%XSP4=]b=by'Se;E!aAapd1g)?..Q7[NƤ^\mk$ XT; ngYZ5417c4356a990af3fe54324aa21baa2b9b86a203 600351b420a2a1e509c529a1cdc650c3f43945ab 64f13f5ead5c299fc21eafd0f4eb3419e8a3b86d76e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 8b3f1621ad686cf3aa842ec79ad06a6f95fde427 693d3cc2d5119525d7bb1cd0f74082c774dd90f8