SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   m7 |4 ]% Arith_Prog_Rel_Primes:threads=4elapsed=4.116cpu=13.144gc=0.244factor=3.197zXZִF! ]ŗXf[&+ Eq>y1sSOq*^ W7 QRb4}ZPae?v/yEm1TǢ~y3gA_lUW,7Wx 6X翡T!Y#fz =u fBgYZ7zXZִF! _I]ŗXiɟbg˽%?+g2ByF_#zUB?;8E{؏a6pqe`Ku}YZ7zXZִF! ,]ŗXi%L 0ZD}>*b`O-ZBۄNxiK=_m$\ڀ (,'iu=OiD?~:Ui UgX AN@zĤ&2zʟoHB -[.{ka1yNzb2>p)hX^n0~`!Y,nº0]W^,&l.>3>.@m dHMbDȌTH1Yw˭Ҕ{T 7;] Ǯ"T$0YMZht s' 2EwRR& , .^0@iSIԮŘ;4T# >v3Gv)qIiaEO~iqި<ߌToFWLD rf|oN"ABrTC1snLr|Y?Rϯ8%t-զ99O{GC^ʝUۿ2pˊ4?bhn%߃rOH]#O'('%Рˍ&1`XLeù+]N9&fV@F\\CjU|LBd:X@]}f'ڶW5MPOvο4|gѯXn"i^lU4w&*1tF^e