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 B tD, ]S IOA-NTP:threads=2elapsed=8.063cpu=14.340gc=0.620factor=1.787zXZִF! bq]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_$V%ʭ+Q%yq jyqp钬 E+Ju\ cUV kQêΡ➀dLM;_1PUZYg/})n)}ZHы|#%] oz&>Y tAa\RǮϺ ՅѼpR#RH5RP'CI yE7DdMcIB.c^9nᰄw4tQƻ—S$W̽" 򒶙M󮊿 Ьy|Yx0UGb0gYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz*+ KHRcZM9㤡fַRhYtw |L+ >r6\8eY*:Ny׾@R&dq1ʛ*K!i2R3㥆ܼ {GbA8 ifAuQAzkORF+5btUmgYZ7zXZִF! ']ŗXi%9(PKYQE&ƍOHL^zfk17+]f!+6nɹ8gOVQq]qfqRںs*I`ZPu\iF%f8iAꗹy`QSoNye.Pe#` > ׻sèꊡGfe5tA}"aN.\f@)'0`*D@%JO-ቢuQ >B @SC;i-`0JKoP݅T85.'X\i 1J.4N$ppͻd@~+7e:ExFy^o_##d"1r O 0rlP5_]Sx68s ߹B$Zhښ2c7 :nk%L,TqʼnZU))NByN{܋آ$¾W㶑 mKoE1HqAYoԁ?)ȘP7'&̓X6iznڎ[LCbTe`kMfYaick4_Kjܞ2քx,Su{U_'0W,֠JJ6:kw;(r foTo˦)1|t?UK2,}, zzP'B X3(jcI|/e# (zYnɞk(D`EE6çPSOQgYZ5f265d7b01627795f8e8dbdb52df6fbcf40e4965f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 2529148cb00af14d06702c18665dd405f71110ec 2067e3df3d7a8317109713aa8aa1db7164419d95   IOA-NTP