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  % %X3 $  ]/]Noninterference_CSP:threads=2elapsed=6.553cpu=11.788gc=0.608factor=1.807zXZִF!  ]ŗXf1-/6vR[y(&j-:6FLBU%cDV4D)fz*AYXXȵi\" c__} /dNEQcA HƠAüh "c(3S*KH8!n6ɖR{woИMT/G}agZPrk R5ޛ@1ׂtz:s3yࢻʩ{U' ghgYZ7zXZִF! ]ŗXiɟģ={#1w,<=9<0)xGfXx[\5GeDhK䀽 &êS5XhEn jNF xo kPУ(2q>3ogYZ7zXZִF! 4]ŗXi%;35ʥac_sO?߻DFW S(I_juKuv29?x0T n>ߊiy\t;jkOM"z7u|Ao+IMݴ j2W85Ryd3nԛl*U>T*^.N22$thN)gF8n į)+֓M_|bnu Z o[FSngz Tp)n5" KK<**Y!}bOqYj2Xc LӕL꼣}]H਩>)B{Ai}ӽ͂TAt.PfxB<&τ=eUJC1lpr@#ǜ91hu[2k0ޜ%_B OfF Pk.I#w y<,"sX$qt<|C Ž`|`%;/HW=X.T>٬vdr6x}tITvLULE eNV55Ψp "cœ$LF&F"0FǼ=t]3*C$U탷8^/nP2B`_l"!R@oA%m=til,DZ|gJCg) 3W +1[}w\