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 cC $ ]% Comparison_Sort_Lower_Bound:threads=2elapsed=7.705cpu=14.816gc=0.784factor=1.927zXZִF! 5]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkIմ>ܚ)(ؤIvX%\/,Ѕ-(c"GFբ '^xz lҀaA֤=˓rp6KMPp4צdOTMh9}ŃǶgk{Z`>9*73\r؇Eg̊gΩ%{2O8-sa+ϐc(b[+e7S 2'υ^+5jtOv-΄) 0FwlBL,G '՘1L-݃#/k NkHgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۵J@aD?; /J>_D}n "mlTf2QbaaCo}IuWQUN 塕X݈eɜ^.@ᮡ:UrHφBm%eAbE/K$ Sޙhϗ=u[b_ʷgYZ7zXZִF! .z]ŗXi%9#qwRזT0ɏB(k1/7a<# q6ՉE9j[پ*3 &ՠUA/ >䤅+"*ħ7d,5YLٟ]IP߱gYZ84d5416b3d83d8e6ce20dc0f01337f5bc67185cd8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef 72da3e8ba4102e6270a21c86d3b3e91b237ffdfe 3f068c99266f5a6742416066d3ff0e0a86cd23ee C Comparison_Sort_Lower_Bound