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 ^^? t ]/ Inductive_Confidentiality:threads=4elapsed=11.116cpu=31.460gc=1.052factor=2.837zXZִF! ~A]ŗXf[&JpB1=eH j9ۑBm6 Auam͟r4j6XZSbFl:t !tAXeO }l]w+bH6=CZP@]cщrYOӭ3䄐^J9~? LiHLi~M8 L_,iF[ߚǞr* ߦdH}MYʿę)Y| L}aL6;9?*vYݵc46AdZ7fU^( U}Q,S{u jܦ:s=/Di'E$g8,կv,;dej̅"jlprA!)utmڊĨ҅qWI-P6$J&Na:_)onﭠ)Q|~[yEW7&>pƄB4bgS*83 Ri68 *+sgYZ7zXZִF! ]ŗXiɟT~@D yA, ݊>{*$bQ+⣭!6 )D{70\E$6BwՊqP[}$^:.ݷgq<<t?ؽEgk@w= ϯƠLb[QSڒ2  3̯;<g$.\۸2@}y1Ld)ݏ/BrÔo4LDYK?_)LJLw.Kp{ tc#3H PHֺS>y.*YUUʤ(w69Fxֹ0/$vNո(@nEBXRk SpOוn[]͍fg,#II!؍sK )`o4~b~UHDs)).DF%@29/g܈:s\L!uw:wtJYa0!)ڦنhSҋ½׋N4 <>e0dy&wXIށs|fj8ebM;b,)NyWDbERO*!ѱUD(ܙ񈋫*5bMEtzFeKtKSoD#9j; E"dzy@"%҉dl_<ѧcQ P #w>-R>w)z iAq(C1}ozAHQݎk62e,$FR| (yP4_!ѯsǸsFLnSN7W~\X-o4љ/$ʬX5:tP ReSDT5ZGnI|a͇0wwM:}Rd,xՓl?Mu[3ZoT95< ,g`/A 9_YFjJKX#͝hD$F"79'ԄHTv~&iX+zf%z&%^xSvLm$Y@,' otis& 0&sBf;:3 z4Yȩ{Q:}O*KzPf[p `Al%R&5UBv%cNj[rGiZ