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 b lT4 ] ZF-UNITY:threads=6elapsed=6.163cpu=32.440gc=1.396factor=5.267zXZִF! m]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b "cB )/e6}~L)STϷo1kqtɃ5L L+먮RFVJ?v].*94gIN5/>h_kFfrKk%G}ẙe;vU&jUѩG{"8LxP2VG4_RSs + *! X _=]mtB5<Utݵ_+1I]fq~cFytr͉ 9%k{U'c]GFXZ:nkS^TT)fM`$˟iM )=2Z U2A{pH#pݙ΋NHZdعҒqu=vJoK$cd^#3rgYZ7zXZִF! hd]ŗXiɟ9 i:4V;}A<<ګMP7$.ZC`5wSlۚH/S,+-Z}>Tk O\N%2xɊKV /.?أeQ/S4+P.$!KhۓS%lՊL"OM9I|y eQEN)mj$_8R8zDX[L!܊k oڈbEng_HbF&˺[k}Z) +of8mjϕ9j$SG'hpyf\Vm(%)`%b Z23sn{s 1`85q@_k1TL m {ZHCAG-{xph&/mkE/l=~Hi}{Q1 #/%qr*D|=F*_FtEI rY6Y]] c#`mt(,%N?]2\]C"CXo #ޯ_+Cx;^{rILq„}D#8 ۊ}47 Z䎩~j4ԙ0%9yYڟD$EP^hP"Lhe㘿ſ$r^ǭ.gI  K"0r׵UX9Wѵ:71,8q#D>r>H_3jEڶqo ~lٞkswm> Wz+NM^ՈkiݒeM"^Y'#,^L`AI2z a mP. 9lEaCeU& H&EW|SZ Pk]hNP_x{ǰ ?SUwKA_^oj0?O^ G9A=/o[6Fwڄ:WA B.\T20Ц>Lv|i G>.[gYZda1f79265c288b40679aff5f6bf74f35b07ff47472cca0904208fa240fb772d4d14dff23ebcd0242 ff591ae5c90c4607ce7eba4472ec87e06136d558 fb6e4749c7352c13cc45c5b9c0d3a23dcae9bba4   ZF-UNITY