SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 __M D$ ]]Noninterference_Ipurge_Unwinding:threads=4elapsed=6.421cpu=17.136gc=0.752factor=2.677zXZִF! G<]ŗXf[&!9 _jl1su[cȤ+be?1`'*Uu 0~8ȗ拋0N_R/?ͱ0lz2skڛ*,1lH c Т:ܴE)Ns&-M֦v(y߱rew>ST@a}XUHD jţ8M]OᙵdU#2^nQ48B00WE7}1m8yڅgYZ7zXZִF! ']ŗXiɟ\K =~mA F:d7 Ծ S](n@+7W9pF.>gYZ7zXZִF! ?]ŗXi%ES3'_G³-]PG]ƠYٕ\#%ș+ Ѱ735a#Xa`g9}d'$@tNǯ *ABRs]+cEC9V~WbCȥD%~IC!ܖ!ɂe6.Nԙ+|iHy%&"cskH˗AV%Pz˺{$`UP忈 Ka(h葸4IE[BBpX2JisfkS+=; 6Mr";mʔ L .7RBPmW*/wn`Q!ڸ[&K=%w-0q['h i:Z8z"U:Ǝ)*rcAyZ . dfP# vtب儚 rׅ$>Y{ 7>폰AcLbϲ96 ^tُ%f yʮ?2jֹMw'm1QXvR]tK\IةtUve~rˬ¡4kڇRXE\G2KsUiۭRN`$XQl:qطIQFMkza&;ϭ%GX|[7ۢ,"-'1:#y`[A/X5m&دH5D{3 cuuFٿ rZ:P|oE80&l$Qmw|qs7I՜-Z#ٝmJL\RE'+\F@47"م #MZ7 7Q(nΙpKN=f}: ѿq{Q翡pM⃞,7 A6Y FyAf2^kIAzeg(W*Bj5(9!TWj:&vB yВgYZ67c50cdf11cd871be661180282fb09944e6ded6f76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 e73f838cb5b1326dc4a3251da150355fa4a49c10fd5513b3ef47c89f5842a57033219f8bbae0d357 #M Noninterference_Ipurge_Unwinding