SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 O 4 ]S Noninterference_Generic_Unwinding:threads=2elapsed=19.252cpu=21.332gc=0.360factor=1.117zXZִF! |]ŗXf1-/6vR[y(&j-:6h 3p#(^,B9 :#{kN0Me%Y_H8b53*tg"}YZ7zXZִF! n]ŗXi%;C=. {$C]GsqoE({P("gA N|5uUnOỳx2l4To4+:^}[1GF}3|qSX+tYn'nPnL~I;Kes 2hyPW./b%#?sgNQJb1Q+6y;-)9RNiHW9G+A LO( ekiO:RΒ\]kd/A$Mœ7 ^h?u ^1~ XJ3d g"{lG6.Ɇ=0C1*d%kh`{fO5܄ 8UU:bv?U#6f{ԘY {2ׂ͈ȺCk/4:IecƉ Nn1T$F3`#6D)8g;oNGՁbg틯77e j2?3A :$E_ "ajz}&u9cfqj@g}UDk 5h"jXԹ[Vp@M{qX1^ dWZ`ۼb>oDԺHR[7S%bS>tsh9 uP]t=6v ~TVQX_pÔ!˓ﮁ4,AM^S=Qa_dec>t#䐢J`L5L(u?VXۦ(L84A(= P o8ly/5TOq[rba)_8PD[ _tgYZ5a179471ad8ba728e66c845e6193b9acb48985dca70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 1c55d655825cbd760ab3fbf812d25b0170c818ee 54caba49a204f4a19eba478de8cebe03e52d8368 $O Noninterference_Generic_Unwinding