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 '? -y68MgCkQdX"|.vV/8CDiB9bnQI,gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~Ч0&v_uoEٌM(1*T=1h!sUݝ9Vpz\_x Ze'_h i  ٳ1c=, ɩź \p)OVLQYW)up׻)OAye`ݝjx ?umgCwoU*XSMK[ YZC#.SK`F\@EľT_Ü/΃b H>2j9`d#9䵰rDPaXB}LkSc]7Ov+~rJmbP=EZqITXgdOs"РV]?rb'۲W3"oʺ7gdckypce*,J\%$3t"vLEanL]WQ^Jo|}g0@].@a]>wgJcB.4o|ޅ\+Z, bB9 #kTE}X8î&X Yv@cSyZc _hDXcVidWΉc$:F!maaЖ~܅In~ffe \*Z#XtKaEuϭ:=0=S7<XJAs* ?a}`~vw>4 :_ҶKV(jMԍm Lݴ `(oy$a W>m()(Ӯtx:2[톾@ 5Qs CR6uL?FP&ј}H> _+qU@$o)WGΈ;',꽆AQ]} ԡ|>ɳ߯(Bf >q/EQp4OGBXf@0S5γz k6VМf +΍C.Gӟd&Du뿾 J$ئA 9M?E/[pĽ2%,dX3N{gi6Tњ]+,Rr'<~}YY(3nE{B5>6hgWu jkmV ܊Y֮} @x$: |ƱgYZb777c294e8f1eee68bf6d01211c59b2f9e67a1010dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a ? Inductive_Confidentiality