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 C ,4 ]% Comparison_Sort_Lower_Bound:threads=2elapsed=8.106cpu=15.528gc=0.844factor=1.927zXZִF! :]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkIwzTBQA9:ckVĕu_sc[D= fzgkTPrt~ȸ.b"ږi,2 T17 ^);c1)iH+^mі!xfy|aʛl, m'tvD{dLl~COw"bQo? RN/kbnP_X'DK/1^*LBdHZZEv ";J͖~T W"gYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۵JOaq"奪1Ѩ$\+gHBy)'=^fdjVy!3@,\hy8nI"'`A.7b*%e^1gYZ7zXZִF! 5]ŗXi%92KQΤ܄$WHAuZ8|+$sҬl0;.0ş.ި/j9wAk 9B@ 3ةtL:̤6 <5Y8}ԁnN[`\V׸""'"qd%L]Z1ŏOYsh{HnP K R;FY0J+HTh'_d[(+'fSxx)'Iʑt[JsGKİ1X7/R`Gn܄tɩ?w?$5,j&te󎽯ѭA|C.#XLUHssv١Kq&ҵawbNTv[#7+O``w!gZN%Pۧל Wb%i@1N1Y? qQ4H@'($_pZy#dGcN,~_⻤+)+]>ν607_(lsL꽑S% Ɗ}Y)voÜ)`'UYA稰:Ai7e"U{ >%ޝ욠R#CFBPq9mvmpt >@(_( ^Ҕ4>&*}+eAVx` pChISp [ pbנ7^=~!ꌌNBywbR؍3AE7V8kvᲡJS+] '(F)  Flp`,#G.)aAwL U2;36EP?{LSbF5g2] rYbk=XpgYZb6f2f3c670e611203e1749b46eaa9e146eb626b7bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 dd3b26eb68cac29493bf399898266d7430458d30 41925010390a7ca39d5e8fdfbb3bd98b276f6b29 e5f7731764d92fb248757375cf4e8bbf69f0e9bf C Comparison_Sort_Lower_Bound