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  L L1# 4 | ]]HOL-Nominal:threads=6elapsed=6.104cpu=12.848gc=0.560factor=2.107zXZִF! $]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮr C7G-6NF/tyXr]7Ɏٍ"yւq-AJ b1{W+@;T"#{?%%>3BT/z'^;x3ǭBxwj}"n pa|e٥ Mڒ=MI gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ÎOED} rdГUHf+c`I'{J}YZ7zXZִF! r]ŗXi%94-1 FvjKDj׃w0< mnVUSsBvy\r)r9x!s֕G7B:kQٌ^ma5;UJKΧ| ;}@)蒅k=W=bާoTExG/E쨑"EMsܔ2GE1$3L}"1~[\I`ި10 =_L8K3dm (WA{m/n?R-ϛnoON p2akRb. 3B9lZQl}Swdd|i}T`gtԂP dikYZxXA"d,bNKI + y:[0EGk9߈@{%*/Ę 82}f(NVGi2:":V>ۿ.Ҥ1yk|Dfs0Ccf+ĀԲ`}/dZ,{]I\K`̚C;ZJ= Q CtĄnb?`t