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 |Y Lk NተL-cWz2/1_fa4PrYba6܏lW`<׬O>`㴴P!BNjN-9vOyZhte45|#bH"rΗrs8 +|)Մ̏&!gYZ7zXZִF! p[]ŗXiɟģ={#1w,ė{OmnmA_˫K=|ϰWP D,V<r FeJBu0LuXskK_wqg}YZ7zXZִF! @]ŗXi%>g۶-ҽDHq5(˕NgRxw*tQ*n]UE VD;NnUɉ5򉽶X)]DP,ح1"*}K~xn%o?LĀ[_'{d>^2>T25xh*8rSce-c gZ Dqu%H?,ƻ#HTIXW7; ~ }r`;NӮ9;߉PYq>{잎ȟNbɸ{`(/k 2y=>3D&fSvX}AW&ġK5#|!aU:J< 0pT/5dBGX1Ԛ/饡,w21X[{4i.T峨_ 1 F6kbq)Y%LF]'~Sc}ƾ>!CЇ> ,B~eUOp D_V Ʀ']hӏ)oFLGjN`܊_r17cTpf!ue3h$ V|65o+ ⃸<#\_ lørݵIrlCeF뢲m5d {m,JUNdPHxq-SG3mh6,zi?*d Bf+ٖ`YY*q5´e6o@ψݷES*N.ǍYY} O*j6 ێ,;o>QT9 @GaqZr%\zxn&G~,D%ہD!~FhsPP/.}f9LIJOy1"}d\l\G&[s6t1A #ZiFrڽvh!UFU2;ZH( N,3&#wĘ!>#Hs{gYZ76f14681786e7171948094654f6a76b5ad5499e6a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 45c11d8eefedb4fbde32b2a1a0135ac6922d5d92 )Y Noninterference_Concurrent_Composition