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 ^^? 4T ]/ Inductive_Confidentiality:threads=2elapsed=14.660cpu=26.504gc=1.524factor=1.817zXZִF! ]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;viDHK9 S: Bk.W=C QL刱-lRtoI8*hsw*M_.d2Z7)SSZݾwW}yҼa6l\Hi2 75DAՀv8,2԰YrtQNy!/=oS%uKORAD:c)QpGI*^cxqpkaE9-YJO7v.OU]~ W뵺"ѩkVpqgYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~Ч1 P_ڨB&pdl6ȱv9(o5?礠1 KU u`UsԄ!}P7B(4s䑒qPc#y) mQ=v6+Po;䁝6O"؀qC멈\uh\o| aI:s,dp&Gj-kL;ř^c_jeYAG^B$ W6(gZR&`MkJnl[H^v&ٝ&6uir0~(fqG/tmUwXP*г:v7HW /G27s"qGDj^OsLQ3KjWՆy[O$M;qcyfh6 -*\25z!QR<Jyn!Cއ]k0uE^eV#NaEE _X 3ɹd0Pl. }*#1'ȌU?g ;D'U 4d(WR~y M7uUP-f/f7:]WE&31HtB]xQ=7+\b[ #PDwL#ԉ$1+i>O3J8B3mc1/kݘNl5"At8ɥ7Z/\hid>~BG =\u 0@ UيJM)%GM~ PITYHCz R#M4fw]ۙ,H hwG$HQ4^Yw.dK7[Mnm3] gʷ efp_&j,nzwgLR&XÂ! <d;5G+!C G!3d04lw#q W,g;J b-Dz%%&`&j_[YrZ`8J!K鐌fA  WT}_Mh:QQˑ8`QV|_;^5傄EȈ|:}=5sz_^f/Y@t9J:uЄJ)j 02W:3x ԲwWzgYZ1ec58d1d171c618378ce9a68f1e7bc8fcd3f0287665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee ? Inductive_Confidentiality