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 OO&1$l / Depth-First-Search:threads=2elapsed=1.143cpu=1.804gc=0.000factor=1.587zXZִF! K]ŗXf1-/6vRZV”̥k2* 1 Depth-First-Search1TI g~{ȋXwq/m0ƀc#A+TMJ o^3>]bk}ڄ <1󃓵[I5|Q=019!A҂$Ygk 4_'zz  k\x%FG ` %:YݑZ?mP \̘V&[*9`dc{|3V7Mf e0Bs؃'a7s֣snPP1v6z[ [8cy86새XO> IgYZ7zXZִF! ]ŗXi%֣̎\mPQa8;=Ǖ}.`IKo$NoWȺؗ rׂ8ZyDz0( UAm_;OT/M^=E%GwKL2NJMush;VR xAWT`Rg0ryRs GZXK:7o0H"i$iIAy }9qSф~CC=ks?oYtf&kHEq^ ͳ]'T :waVQfaeKxf,M%R;20}yIDp!__?cX(Y'vuNV =}Ibʔn)"9Nb_ 0?H J0yNKl^-LQ`J4IsH ^ޏDgYZ614d1a4e3aae221f72ef825b21f3a7e08ec93bd7 8f87d8c86b8a33cb347a1b5ac47d3a35df14f396 f2794a839bee3dc83e874b225b1629997d7b874d878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457