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 00MO 4| ]S Noninterference_Generic_Unwinding:threads=4elapsed=20.702cpu=24.744gc=0.252factor=1.207zXZִF! 5]ŗXf[&zV 4gUMݠ}T|-)֍GoB'`\R(5Fc,8h%y=w\<ٍi@fگgҜuyQl [لIvПf:sIHQj9R|7vBf:il=IpDh&TBNEP%*|Kb#4y7ԱgYZ7zXZִF! fX]ŗXiɟģ={#1w,9+ݟOe F>h 3p#(^,B9 na#f qFEI6}#<њD[tg"}YZ7zXZִF! ]ŗXi%L 0ZJBھR^ P탦GM~H$^eU+g->x%;~qUfݷQNf_3oy"03JND|alEa0}͌68u .Я!f,u{<Ȓ>ZGPn?B\]ib;rrJCX2ru:Ϡ7Ųaw,V4"|&P >u;,MΟue3#;AWת[JZwb@b1k N_|s ~ӺLumqnSrUYMA%D:oǸg>-۴g|oS)0䞷$FAFSoHwHT. qdy0&|0Ww;W~ {AKlSo;!:z q[LUx&vl{g/(y"C * :\&5nMW|P^EW[4-_}Lmoo@Rj>~X;kMV-Dy4@COB?A}0C. @J+p*4 OϨd$-E.^(ێP&/ jnIg PmQJg|d3i9DxQU**|]"ȗ#aw3ꂚ5CoܱÜ f{)0 Qmv&wc#~+Տw*;=P6b a8rvpRN(aw[" t 9C:s(U>j6^f$õ (gͽPX]-i\zDRX2Gw['ᩬ@\Z([Hoeh8NR]~ YŖ]܀d?,W%w)'҈h_ q3WڲDtPĪչi'iBf=t#":-e#) Oept†ҊwqG^/<_2X$VaQ~@Q뵓.LR ""[, hIt7d0 ".)`/n@ } p-B&^ƯGAn{e҂nڋt=56M6FدW߼cګORUQg1A 2Is-PԒʹ&B ' K`4sػ5=|Ys:5S 讵dbw46 )ȰyH:=8Io>#ckMgƺH>m1VSءQXEЃu: w3}};<իa^!]ٖ^ Du xP&uڕ|=Bg(hv@ϱSF)6ºY^ue3QsjVޕe A?XM͛q+ LئJM{ / tbY.5RmdImIeI](x7+ aoNTT?1=K傿'wuDDΤۀ/&w~Z >[nU iǧ3gYZ31cf5bd2b9b5b102f726bc901121fae32a9c6a7cd3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5794441f6c2e370c1071308aa318abf8091aa86e ef77f25a1dc3c5a78a6d2e3b0a4e501c4425a94c $O Noninterference_Generic_Unwinding