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  mN0!oD< -ܹ2[V:o%*UQa=lo%"߮x+q,xyyVQKl+3#U585ϹLFw >Z}7bQn<* jm7 \9yc/W9eLӅ;a#/y2U/M$#p>i6I,0O"Cr@O ۓ\a[ZW4m6ѻ_KUaygYZ7zXZִF! (.]ŗXi%I of!d#m@ fҠ}D~;''іYK6{=G]d }P8h X#{mEmqտ>S3P)}HXtBzRAh#߳RZnb=pd*0o7fFhIƘ⚱ۀӴ:OqjUrc}rE*I<]YR̂ R^3ͤ> #j2PeIOixrW n;-hD=_ڭuGᒻB;v:˅L!n-܏3i;c0֜4 ƽvF6+$_=30$)ajL9 S=z)6]VR^~%A*kk~rDs^(dc/trF6ې~yk؛5;QR:WLEd^̓ Z|3MB1,(@c1}mCK 'jIL- Ϧ෕4劾qc"bppM~pgB 8WV"&4'lc$;K0#t2]qI|<VtgYZ86c77e1c17764863edbb10f07e6614c626f7d5585a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 fa3934eebd2832ecee6bd7baaa64daafc4b2f37a ee23b236f8a1d5ee2cb722e8d1cc391361b16dc1   IOA-ABP