SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 66GO dT SS Noninterference_Generic_Unwinding:threads=2elapsed=19.813cpu=21.828gc=0.300factor=1.107zXZִF! ]ŗXf1-/6vR[y(&j-:69: |Dzk}DjPY'(U{GFo^t}b9WY`[IҴa#Hsv\<;/jgYZ7zXZִF! i]ŗXi%6˻hL&{դi :fZ9a3:حYif $bQ_ͧhՊ>UwŰޚFu%1~;%F:o1{g\R{9և`6N/:J*yF( ѡ?5z[BG]ճ@`Q_1-;_$1/qܣ#*N_i \Z#2-&?Ec| $v(q^c,-Lк\0 }BGH'$l| #_FiP8B>]J 1~V@w'?`_V*̡r*k `5Uٖ ɡ2̠7$=,)A\$n(?ôLp)!q_I)}2)Tυ,{قOiyL]*6^@PU`p2w5T&^NV{9V(35ȱBl2qbJءNJ]R疽%ʷM:o*PqBe6a8i>mrk Z3gR'~jtd>|`ZKK'ϭ`!0F-]XСBygxu@>Bxd]qh}=7 |@ȗ\MIl8e:z2U=i S쓹辰Ƿ_e;j |N/" 9LRNMgfM+ ʋH%G\1r%He' v_~q6 ʲa}cPBӶ@~} bhYsP+'W[6z"uD UgYZ22c7c96374cc8e6f12463adcfb46622f468d2e5b 570d467a2b19b2b2c091e27249319509409630cd c4c254ff95d72c02a4760691cee79537293f6e69 d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 02c3afca2d96bebc51157d0164bf8d275e136b71 3da2b12aebdb4d6f3b9383495c0d1af1dc23e20c $O Noninterference_Generic_Unwinding