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 !1 4$ ] HOL-Imperative_HOL:threads=6elapsed=36.602cpu=70.744gc=2.448factor=1.937zXZִF! .]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi~XlfʣSxZDs,~$B3hㇺ-tH{ Mhs<^zJ^:tz*-1ge}TK#W/'ܶЈ=]$Re^Y-2(=V -.G 4U'=v@Vi3xspCD[CD^hLH{Z` L\}. j9u屄={$#`mYuκhYB494N >𱳗f ]GgYZ7zXZִF! J]ŗXiɟ1nhЦx"n_8N]( eOtd?IkFAS6F䃄  YKX1X㜑qfF3-NI%Q2ϕ4˴Sʢ+zI@+/ Uy` 6"{5Ηę#S]ԗ<ޝC@/إ񹣄yaq}Z̺TH(šG؇,kX]Nv:0..@f= R#:GLx >S|J|b</$|'̕}.ᔺH aRhHV>1Q-3nje^h{L̳6tE3%Hq|dfQ|nz6C՛^CSܡ l{PRh: kUS~K;E;]ؗsw} ~|h#$3ϰfCgΌYQqw2 Iy |ÞgwX<^:X ]CXgjf"T!Ţ?w$-/ HP\X? B+,,.Z@tpfZҝ6Q.޺Ka]C^:Tו4 "NQGuڑ&K$9` Vy1,mC\Y9HMf,q##o</PØ᱉8ώ RLy]V+5SVVOmd;OF 3uT3xa'1c*CG^U؂6p9 2ayNqɂWoNRb;$?Ohٍ#2V̩-juRx( jC "hw'`~$Oՙe_5^~`)OU{eMsYfîABhGm7I*Q K[1J1)yr lH6-tsTݦ>2kT#܅oa+ņ_;S?6zcUN@yh93R:(H%j0cK* '8/?b Sśae&v[RЉ6?c] f>|/s\М?[pa3|A EnuFi|Uی3)q)a;4Gq#<υllec&Qz;4s>^0ܬ*77a P1K-sV,VU`3M;LYxLk\Z0U PX% ;֝ʨRMѩ 4N⡏>qCKU gLN4#u!_ҵMz@o5$xKy+azi}W}.OAs4>iR@P ln4uQMȹb@"gYZc7e018527ad159306aeb8418ecc90dce6ac7b1b2c081b7c87e33948fdadd9c3bd5597db60c0da0f6 bd68f8fe00ee6f2978331c683c01f1c20c25fb75 3521b2f01cc64b5120cf5176005c03361efc087a