SQLite format 3@ .0:  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 tt  |L ] IOA:threads=6elapsed=7.288cpu=32.284gc=1.212factor=4.437zXZִF! Y]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K ]}?|c + Iԕ⼗ml'vj9jPvկh9T9vf6I;RT (&orYp `0[Zܻ`M6:w bYIiUcrAXtvT~W,2#v9N6;l{o`ڝ_ xZ|>Z>)2#y U;Yh5m,󻌾~NFOpccu@ln ]U4(ѢVUh]` h`| = skĕ~`T=,c44-re@?H3ȕA\ 2*Q H*F/7ޡ1fH[Fo's}axH$վKhVN"'gYZ7zXZִF! `x]ŗXiɟdN'LvH۹C<" !LZōZ Gռ%aF ;g6+FE".dnjқQvL솆E.TI1*a/HS7h6Հ%kC"bF̄82Z2D34Hy(ʮI /?Ƴ VYIʰ0d*SY4ᙨSsC=\_$tqpE[K[bK3őir:캽%Bsi]J&'2֔Qb~y($<EB<4Uk,w<]tlK*|r$a_lYn.V (@T YVagYZ7zXZִF! ,`]ŗXi%G ȲN$CLI;K;Mg}wp֟ 0cyJr`wӟZY b>[Emհq}x'KVZ8i>kwCC~գۥbXun^}umfɒ̴C޿L5^ b-aʝӝ 2BlkD訙%,ݲ~2̘Vk T3?kZBi7?HC]4fe8 J{5?*Bc^|K 1g (a87߁o⪐ױo§.Hs TB \=sg+\H:Z