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  q# d L ]]HOL-Nominal:threads=6elapsed=7.152cpu=14.620gc=0.716factor=2.047zXZִF! ,]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯,Dz'/UUX=.5IIjQژK.#ȫM઻ep\ J )Z:QZ '#@n![mrأ^@-_7~VtB ,ߧ#h>GވK$ݎ-ٌ'ҽz v4ñgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ $ T7?n–%P*R7I`I'{J}YZ7zXZִF! #]ŗXi%9B._6U6 K`9__Yc"^94с'O҇1${ҨfOg1t~rGl&NeۅOs*ED4˿uEjM6F_Cejwph\mjVLGAW J̬G'莎攃Y#f'8J3#Xr 0b;J*6;v&-M?%|A5hGzV  gtc PE o/D7qG8"9]FX@>x}e`pea^iNlF&Q, UQzY+8*?M i kL]}wWU4ׅ.Ċmӟt]DNKsө-8j{Y][%K~ 4mDm R Uk*'.VyۏbkjT ]0%Xc>b tcI7'3Ht1Շ*3;cj$ q{S,4? J~8 ERQD^t>;hi)Xg+!簣aC-[4+^H}{D/?\2c) `poN2z|?4XH#E5<F*m@gYZc62d3133fa5e5fe1525fb592f6a1453404b292e151dd6ddf81f32d1521a081613e64272e00a7489b 26eb0d9d19e0107059d575886decce0ced0ef3ab 6c0f34ea0fc51fdcbad05b7638db01f5ea96b00312453722f8dff163848104d537d63733061e2ef6 # HOL-Nominal