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 //N $d ]/ Clean:threads=4elapsed=7.668cpu=17.952gc=0.756factor=2.347zXZִF! L]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I_'5!Ѯ+4'a1QrepS΋'%j7̦)zoFclD "k,Xi.>ԯP En;XF )^sbAQ Bdªf#Z65"=÷ c?C~R#74.*)~]@$)OW ̽DEC {J&U?a,9"mee7Z7v[^f|W) D5jH!b:ِ\*hH7a2yӤ@jV4. ҫ5`gYZ{Dr:ĀMQzcT,//hErҘt4`y߂]!MٱgYZ7zXZִF! P]ŗXiɟ_[ta^q "{tDbs6n;exd rk u/_y)D藐ZH+H&{Qb.Sm0M;a{VlKPQB\"fY820(z}̎7(clL{oy|NT q+d$k<6QFP#WVO-~`Fa1?"\_2+[ey.»a_@ 9#r?Y~<2I |Ӻ"VlVpfء+-lVLp4CK|?*PEFweǐ×@#W˥+o)mn ǐgjb@Z!֔BC??9dsT:aD{8vݺ":* d\Ky4DL tة-,\, X-ШnPʦ2q=][:R囆A\^u}i`L1qB~KӏeyX*!5<{+c|h>ݞON-`L}J#ćLЙn6ZfⱯPOS{%QASAxvh>"򯂮e~q2AzgS5>K@.[`5YQK~n2  E`չ(z$w{L{%.G7u~+9I!^zМ òSkEײ$,y\%Qk8@k= ܏)gYZ3a370a2a3f70356fb8d7366954fddbacb0a091225a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22  Clean