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 E tl ]]IOA:threads=4elapsed=9.253cpu=32.252gc=1.076factor=3.497zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KB*Xܾ7&CKMYi*'#Unq{\|x2ˣ\"DWHo&d^|y 惙ZgYZ7zXZִF! `t]ŗXiɟdN'LvH۹ F~3"s̤'e-ܩu'YXa4L"$9%qMo[$´ߞgl5R;+v$^tc5V h(Tl8o8gӗmrmu얂PX-f0&gv`r ϑK[(Q/b_ u5o4?E_(Y[hZ_+ 6J Bxʢ0e7 TMe6|5: 3dcnhD A,Έݱ?zE gYZ7zXZִF! 4]ŗXi%H7ѪtNMydHPWt?t īE_@`@lz ;g&-7ܓ@uez$4`>+]vx֓d`q@Aۧqު,Nnuk^oi+W`#"7}맚-) zӧzpU&A/'T}t{jƼ>ᔋ'DG/E@ 1#t۶@8@l)o-eP1ʅק8죓J4Su:< a,? gT* E!oeg0b4;X|X#jZYTjhbrDicfO~=6%tvŝ=536:?M mNEKdžfӈ7Ab椝({|Yaec04Fcz c-tkp@>.EfIel:VRjH [zAAGp7=ġ[Շ(\':T|k}}Yf~@^ӓVe>p")v]>w'۲J aODF{ ^E-5UNˬ8>J{O}i FDK!s#Oyba*Lhr4C6N.+1ڎTUnhj.%fr@}Mb7KB+1 ib|gYZ99971bc2c2b2434f994ff85170c5cab8a5d1e8efa3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e d31e6c78d310ac04e625ad6cce8d119862d23c6da9cc2c61f7738047a6a2e2ad5073784536fbb2a3  IOA