SQLite format 3@ .0:  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 @Y tzWc&8øWO%}b K`"Zʟ4"_ei@?&˨? s ͣYwZf^; e\@mK8vrBEG Ȉ ZF@`jRCeX4lyRnH^?ECC DrPs E7]1N P8sgYZ7zXZִF! p[]ŗXiɟģ={#1w,ė{OmnmA_˫K=|ϰWP D,). թ>k^U¬ S@Ĭ>Uwqg}YZ7zXZִF! ?]ŗXi%B8_vAPTRD݋g SoDYA| VrFF>yc (:seay}bnFO^4YURZ0DszU ,lxOa:p؏O砙EwfTqIrж##-SF%Ms+boQ4X 9ЌSY3X\RE #$c\"3~ ^f^"OQ:h_b)S3an6}IS*;jN8L{IvnH[:VRwckq [8CGui9{*g$yNȠSޞ' =6Jx`s e8K.lQ~A9irs+4q4)90:iyȼWͳ_^ˌFkYZA{-B_pXLeKcp^֭B1.B#!,Xx_fn{γ[dW5} (r#AAXHwUF[5d3aYվ$ 5P{p@ KFoٯ1y˕ (t!*B`nB!Z;\uk CG*,Y,YP~8< m#vF wӞB'sP[_bЖhɚ=ΊeC< \-`/"a0d ,H&7e|'@]ObeT>o!ølp؎᛫ gn@5W2%Z0t0nи>] {:VyoZ'j3ߢ1T V~[h`y~FǼ}?%%OVA+&3ApɣHk0K!'A`:rwkK v#z?8@{>yTG;:ZN(= Cblf灪Y,mmDW4+LtXU~GYP͏ *2ԓ_ܶChR}bl/zO*bi1LF4`/HP c7*@^śj  ݂jƜI# 򌸹昿XGf?gbue{~FDj@Lm"{T\a XU?=﷢5垿% ]gYZe01f04ee1baab465e8b26633c017087ad6eb6baaddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 1aed3159cc79b81b9a1e84f38fc3d7d112fab90b )Y Noninterference_Concurrent_Composition