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 ;? 0^4{L#nT#6KE|-2%07v3lsULG=`Em2>\Tj_;[:)}V9]U!n}<$(c`PhiWKv3'P'h x< gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊>{*$@uk OX2O~Jk:227M'닼&?VgYZ7zXZִF! W ]ŗXi%;уw6x!x辒/]|''B,؟͎x-IWc#irC}GZrp,U%R,aѐFHduVظD8M"fJ*zW/LȘ㧽/|\<',س6 _;;PIKكgjs T#cTͺ'÷^0 ~$lRlcpMTޭ9j1nQEix{u1t;nt*<&RQI+8 f]]4A2D=`rIFfR|xD4hbQC`y/_+=Ğux0JdTYϵ*lv0dv 8(R˘c*>+(yWbζ"@\Dv(ktQ(]*n.4 )k]hc:(Zt=oo=^8upj [gYZ084ba2f286d0cdd4caca7d995a0dbc8ec6ee841179d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 ? Inductive_Confidentiality