SQLite format 3@ .;  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 L ]]Noninterference_Ipurge_Unwinding:threads=4elapsed=6.320cpu=17.596gc=0.844factor=2.787zXZִF! F]ŗXf[&!9 _jl1su[cȤ+b ހ iLK9n;!濩*e$Ӧ:62׀D"|sx-H؞T"/[coBi +C,#mх h[N<jK-mKm3H/_,E?鮋:- ֯EB.,PxX<6&tOـ07Soƺޡ]"Pm&1^%%dI.JGGc_ M+:'zN Iě9~6V~NkcKSWoQu#\'rt^mwdħ m(/ nu5Z\pqؔ ힳ"YxQ1m}R&90y#Ck(g6o %y{̀ 5(|`kˈẋӵ"zc]R2Tћ[mRbQ| ~ӆvsr64B΋.D$mQIsPc fw& a0O"NNȿ[z rsm.ɘ)/ jȚ= {`Wu"ɛ.ѵҋ<¹!9Cxe qZhV'{!S ?؀E:I< y,%Z#}CgJ@12#L8jQAGDja-8[{rN&'9;?q}>-t%r\GO*cnGpoYinNPl2)`5!0/ ׁXYЋݤl r'gYZadcac8844a5b23274de5f9c17c91d44a093c9cb9d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5794441f6c2e370c1071308aa318abf8091aa86eef77f25a1dc3c5a78a6d2e3b0a4e501c4425a94c #M Noninterference_Ipurge_Unwinding