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 **SO |T SS Noninterference_Generic_Unwinding:threads=2elapsed=20.063cpu=22.084gc=0.252factor=1.107zXZִF! v]ŗXf1-/6vR[y(&j-:69:Xn@5"q ofw7N4#(o?an2Jg(xHҩӌZ9&|%"kgYZ7zXZִF! i]ŗXi%6xoP)pΛF(NɺmjB\) e}IO]-fCH^deu.GJbZZ%~"gNa8pT+rIBmKsn8ёQdExnaj[hd@Ue&N83}!"ʝ4nL/%1> A "hwWObtӆ.>]!AyuټmB~|vhV\dk2ȓUz e^!B`Sz#n{X[i> _Ec6u ) 44.j Ã#\l4B ,t!fYͱyGLQJt[ cǰⷶywE &TEni:{ c#YN~w c1&guuxGq/k!MN078/`MPU\"B:L#L7bPDUeA2IQl4$)ﯸ*Qm u9Ό %VgYZ22c7c96374cc8e6f12463adcfb46622f468d2e5b 570d467a2b19b2b2c091e27249319509409630cd c4c254ff95d72c02a4760691cee79537293f6e69 d9d1d3f62c709116a8a81b1f6e8cf7b541a4d8ac554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 093e6e03964a9be9c57a93ecf1879c50d5f22910 38ee77121cc1ef15a570ee8b9c936f09509ded9d $O Noninterference_Generic_Unwinding