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 ii |$ ]% Topology:threads=4elapsed=4.453cpu=15.616gc=0.908factor=3.517zXZִF! D]ŗXf[&}H/29#rLhZ1l89&,H'3Zj-ǝ[".510C1ŔuEApZs( I>ۖσe3ٍ ,1L4 $9^NFdP-5W6;O5(8BFR"qqKR6 п8חtO(Ժ*"j=$&dXZӄ;7DžLYúüu͐hY}?>H#qWF@ީڴ|fzrj#h]bf: N񭯖gYZ7zXZִF! v]ŗXiɟqHhB"U΅/|{2͐v˦Cn$λ} mKEm; ՜gnZgڍw7wSչ`yy3\P4{8BOK6 ^gYZ7zXZִF! /+]ŗXi%It9A&F!9{E(k@J*S =Te9'=&3P4vNb}BcI-N߶!(j 4hB]duDg% FɌ> ޤg}kIr!Co֨˞>yG4S..tNNr˫%> VU9 ` 6B00mu qřM>k?*ǒtp7,Otɖ*[Q-HWK!o6´ hS @(.1@:mNò7Ο]9kpi*wYFt(1f٩[bJH{vvλ8<ĥu0ҝN8U@;hON1i:N.,-\1Z_ܒI5F6N!}rȤ6vR Eº0m]h|h7rd%@%TI /b;gi_/ǽH_$Gsv'A$thH5K}pXsz\^?F=}epi'XTp'4ggy!R҈pdبv:}Y:?o]ʋœZޥr/rܲ7)JrsW orpӚ T=c iqOw/ZioknR8GlR˃Ę1ۃ1 ;Ax%\!H0^UUбgYZf9553675bb392ce8cb995a852c618a3dad1265f35a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783 1afa2e51b00130efab340f6d342893fa5170dc6a   Topology