SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ' dD ] WorkerWrapper:threads=2elapsed=11.464cpu=20.996gc=0.900factor=1.837zXZִF! k]ŗXf[&M{z6b'(+6(3^TqȌVG㒿d^Z|P~`T5M$"'H !:3W9RAg/*,E@RBCGp XnoDɛB86Ij6['!lEBjJΥ $ AZ{M<=E_l٪^5O|ZgTߏIiDr{n1YdH$TkT|:;="x"sA0|\AHlM%ZKUbvPssy,]֣/a\NRX|w?uYU(lHlEA%$*^>ձp$,ϮfugcSi?kcs8pLK?95Vؚ˱@b:O-Or9 5&f̛P5i]2G,(  ]W\3>?n(c/NئUaʤ*+n`-e$$acG{YFH(,\ʖ#z.L #٬vW|#zizM) UU+ŷQ e"LYїyyډٍG`> Q|Xs) ~ԋLxrj[޷GDz8]l^<.Z!e*ˆ`M\ swc:r cêࢊ xOnGG#>(T۱)!l WfX>%8L"" VЊSKvHhJtHȢׁDB漳R*yelcv8wh}ԜDI쓀:>`|*isgYZ3ca0dedaf06fcf30276567f046118fab0fcc1dc60779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 7220c8ce702dc58dd05974d008871083c8a1a841 ' WorkerWrapper