SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  d,l ]S Codegen:threads=2elapsed=6.607cpu=12.912gc=0.532factor=1.957zXZִF! i]ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4r PtwAǴ>_LI65b<ĉHlngkWo9jyo9HHlp EXq+C'+)p} 6sqbԩO2 H 0ONJ]MHѫk97oVa]-,#+R xŭ9 sh ?st΂ _Wc^:#£_lJ{QӇ>DR9z$#cX7Ý~ڒ#mcaqp]|~q2 gYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`Iy5ܧNM*WG/$wwzA=hs2+ \vywXq`,>%ԘF τXs>[TxH?/0hf#%). _DSStƺB0e 65P Qs!*Z<agYZ7zXZִF! !]ŗXi%;%:(`tZW B/u 8|$bU<Q-\ IxiD(d*[On K6gۼ=Ft}Xi`%d<<,,ĉТcIΖS}4[*VqU,Mb&\R+mHxM Vo@0Y| _Ę]`N,}{oRt}2OŞHo6,߂{<*i9{J6(,wsëV*=<"$jk]' 8 UǗjyC SD36ֈgPA{%ԏ./(_aTtY1+&I 4{5C<ޱgYZbc7145d9a71f419b65c0f763404d9f713659d7d1c3eed4da8d2aaf2ad54b900993bdd6f7717404e6 f5ae9f289847647563f612b35004c35ff6735c80 017c098a5e275924ef1840cb6ffd1dae2054de14 5faeb1a2075aeba77c4728332b2c3361254ad0b3   Codegen