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  B B;| $ ] HOL-ZF:threads=2elapsed=4.335cpu=7.900gc=0.232factor=1.827zXZִF! 0]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~ʛɾ7yŅwD~1% V!}ogH=Ms'V|ВVޱ+x[YnSҥ^R? UjD%v?0D3 >ARa]B@nXȱgYZ7zXZִF! C]ŗXiɟ1qnAcP꺣3TAanoA޵qtX](Iૻ4ģt1BZK&\װzLݿ/@mӼRN.XwұaQTbAҶ?sgYZ7zXZִF! ]ŗXi%6abGnV 0Al`y®$oCIS{ʪ~|<8>G+qBߺ%ڌ& M3`AdlJJf@83tmUQZˤJMوpSJ]HDE;:ܱTYۦ^T@0dҿ Lp(Wz\bQ*Og\f.٪iqs_}˂C Jq_%^p?qP"]3TWďjS%^I~3J$4%HPN.K%]AEoc3ȷ7E:5q! ^jr.{Z.Uk]Gf(1溈dMXD\$1G^ U 9$Nt&p z ņvCp`+^:~U{^T+-|0h *F"=AzgYZ68387b71d348f86df1fe6b3770bf77f8bf5de58571091afed7a8a197c38e4fd92b1ce9b0f5e17eea e548908dbfe907487adcfaa9280f64113ab5bbbf e309b151f883e560703ae0dee61d5fde8b66cfb0   HOL-ZF