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 6 Ddt ] HyperCTL:threads=4elapsed=9.485cpu=32.036gc=1.604factor=3.387zXZִF! ]ŗXf[&r>ܞSd+Ǯ5,/VJYO,$uoe;Ie!49u͇M UECwR\/m6T]ϧ[?xFv|3XE9~`yd79Ub|Vw@9ӇoA ej 15cHFa}/X;Y2&mؤWU[l'^CwClNl5!\?bFT2-4tQF{[9i4л ٞk2=/!TRQrD<9r,vJA#w8{q*o8%Zxp_5K/I keQٶ1iKi_kz[bx%W3ʉy+j@r>"eNR_AGk,+C-ߔ"\$]R_˛MgV,[u)[+l%I~Z]ɵt =SC2əŗIM-v^'*uQ6ϹEqi3% m8ʀ o#";igYZ7zXZִF! ]ŗXiɟF@Am|{'h1DWO6.bS@NY'~u1#""qB7x'/繄)J݃c.i>:'3 dtSxs>$3hlZkC抪kaPfw=9Pl:" KMF/gYZ7zXZִF! Kc]ŗXi%L S'Ɠj(zkASh{t+ &ڂ(3-/70mPD71 I%C\bɒ1vJ൞\3-<>&,; mgZib)۟9<^2$ŋ!k|ޜj%bV`OxC%/~*|F:a.#وfհKT&jj5zIC4=F@Mҧ:)F/TQԅhHz.s zI-yXcr*wTZ0Ew<`ZZW|)\WJTUk;S62B :Tјӕr C\Ͼ!Y@$"):dlv>C"pV +z^FgǺ [ca7_Z24rdE^ zjQL ׆4 ;6G4܊.QߖR=by#.(feșZ8s^ qk&s`Rє/,Xsxz_5̽1N-9l6K9SyhWO@ǖE3: j#]$W9ܬ}7ﻰ )U~] 1LnU&03dEW%㎤?E'cAimG)?<Ʋ&=L5=V=c]|E]&-jWBcXWpgdFu_j yW-_UKykL$rj^Vm&{DWc̉Z ,R)0idd]d\CגߌIf};w|CJ\Gp15HF{fl8z.%㗠 #gYZ0452afc2d87075c72a21a1e524351debf59b19a9d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c   HyperCTL