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   i# | $ ]]HOL-Nominal:threads=2elapsed=7.263cpu=12.980gc=0.676factor=1.797zXZִF! 2]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯65*_`8-4:n ni^E1u詆#.Vog͞K$xeԦU<7R.w>IXEC2۲p%.fuq@8oJF (SH4ZZcLa)߅m= + ٣LV% 2_B][n 7 gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ 4]_RNeu˺v\Z:ܓ NQ`I'{J}YZ7zXZִF! ]ŗXi%;/gxȺ.[TS~gUGw!& (<_$eksY*(Zmi&iuՁjԔ 2,V Qk?(Z*t傥+vE'߈?G&>n,%nY\EwGwɎhZ8A _'#~:23sz}rp؆E#x}@ ɽҿ? W6GkTD Ν ^K{ ɚG*ױ^w6  A@<:+R3A:AFof!IKC W TB<ՉtKx:ImL] +KzHm?|bc8L@sԀ<d៙y9&XG?㫷Teۑ(s87WlB{#ݶ&F~\,r)"ϔ~L{`j撕 87I.\MU OR0S*Y&BTɗȣ^TI~>Q.ToѪEh#xŀuYFvUo`Xr{+;m[I!%Y6=2 9bB3 xe!IrF%\~KHعƅ1