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  C C:G dd ]/ Bounded_Deducibility_Security:threads=2elapsed=6.383cpu=10.488gc=0.492factor=1.647zXZִF! ~;]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aBW|# j+M8O;Zβ =uR&| `ĺ&+1xp 6ZJ^Ixe~}53JռQzPsud%5sVr6˨/Ʌtɴ`ZFfoH@N;P<p9*i@ɀ/ \s nX`tgYZ7zXZִF! ]ŗXiɟ'MK8J|!W#Bui x*OR^o>Tr2p26T7p& _yq1cWA~=1l`QX2H.Mbs>R/V~q22qk%#`*6rm#{vgYZ7zXZִF! ,)]ŗXi%93=JgCʔ! FMYGwݗ}}Qh0DU%&6 鏠/ ggDh+u6R~:tOF=rj~y3@CBVn@Qp)L N@LopCh( AJ 15 wޜI6ؗjF%yX*F&[ uCrUǙ:=ǽ̧nfӃrc6<2)u ͏C]4gslhvfz90m/FO}R wY>4.!xhwI]/3m x" ģ͚/C`_]vנ}4C=@\ej%kjq!8,)›y~Ǚ/@>(:R{=U7b LvҩYvc^p1 G/SrwHpOH&N<*0dɣo^Rډt~]:6cqP2@v[o}kgdU(Ʒ**F'}I+lUOD27ץU|H 'QC{*a좌A,VSq~@#Uw ^fm+S `q!RxިFj*m\;Ha캰>+;z)\,,Co0aHBuFX'5|Rу傑9jqҬJ_l5>ªMxk6;wC8]R82,(0I7mprEZx!e=dvbZl+ND$iYLڴgYZ3d798f854b82a3b71705b36e66c3f0eec3870c65a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852  G Bounded_Deducibility_Security