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  S S*),D\ ]/ Implementation:threads=4elapsed=2.634cpu=6.872gc=0.080factor=2.617zXZִF! ]ŗXf1-ȩX/@G[GUQZ k.NN_xMD p>2 &ϓ;+*V~^X54_ysxm ~`eO9^G㩱gYZ7zXZִF! *]ŗXiɟR zMhMj-DQ9\UC`4zN/Ѕy׌v\͔nKd4 i:w0*6;}_6hpdcFE/sܳM vgYZ7zXZִF! ?]ŗXi%B &^tm1C:Bқ/_i zwM TPY;Y7oG~Q,VF'2}O$5`S=n%$]uRC~)~8WP`N1-蕊j6.k ' )-b QR WI}떺8 iFF(  }iʺYv76k9tS4)[ZcQnu@f1$@wu|#d^uk%{}?5! q%rċaW,$2n 8eP\sc3C0%%_ v}Јj>̅aṇ^5Q{ 9R 7Xo.]l{,P" O;s;T%ZU']L"rIVUabTބofvx ?>ТЉ8pιyX%;E|eT>>:} E>o$ +Y"N˜"^K[NJy%]b\74&Ny dt;OPTXqIh7R6.L-N# &BgYZb5dc17317b7d7412c28fb2b4155fff0f817ea01ec3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a ) Implementation