SQLite format 3@ . BBh77otableisabelle_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 +ʋ4X2,v,grǩ4?/HZM3u;+A+LI!&Z4FvXPO2ْNrwTTEG%PyB`D݆@WL}He/9W J7+Fu2ׯPXKAn )dL&,T-ܺ[閾 hiߛgණˉV4]w*=wQTH4hZs_&ZJ,eF9!4J!{ml59+?-d#a~CmO9*r4?\#Rsf`&sKqPaYq~= eZ.sDFGHIP#j7[)J`6b,q{ ͽ-6䩍YzRΝvԆdFԶ BRr$7uiw&Ӌ(1 _fL®'Ƃ}b aon)Y5Jdlv.EK&a.]t'J -9@=IQ$&,kFI4yA*&S]ƕǃMQ2UC‹{aSk8#hkCPbͦac -ăSc@8v <tCOxpJl;C6f/g3ΔH=gmgoijyHVkis7 a?TđN+Vm͌Dn͵-L**yK/u [wёy]VI gUrAf{* DixQI[*pu"gYZc8e1d11aa0aa57a3dfcc1645dc928adc917e03a98ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a b79162202f26ee82cb4b17a8890cfaa6221051cb )Y Noninterference_Concurrent_Composition