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 R+ d$< ] HOL-Analysis-ex:threads=4elapsed=19.887cpu=46.936gc=0.196factor=2.367zXZִF! j]ŗXf1-q恈a.W E 2kK+Vg,_w>D,QnPإ YI| Zu3\9% #/s<s Edq]܌g&gMkI f?lj_қn(1Cr60s拔׵LFkD__fpB(9@Ä. P4ߛJ63>.vѪ&Jdl< 2F^?@l){F3%Gѕ@D`4'4K|!rdk7ɢ1GQ޼TWY?a[ ̈=om -tgYZ7zXZִF! R::name=HOL-Analysis-ex.Approximationselapsed=0.612cpu=2.148gc=0.000.zZ|kS T}YZ7zXZִF! o]ŗXi%ES3H~D%*^ge'j Ce8b L![o33l,ݤU2t9&7ߩ; 'yXox4kZbϛ)c*MeDXkȞ:w(6 - &2/1qM.2*il~Vp Ԕ-#}\W#qq_lv0f{e1dؔlX ˝yngu~ q )U0[l^Pe;F㣓!T)eb'~ ?xh hT[\QM$vMN1J%q K+\&>؏y"]Go]LJS;7J Аk $^b nLd[e ~1 zGͽU)BF˶vd+Z>uiֱܨ%vEhT!ǖHD}b^l+c SOk_S~O=:9=Vx 0Έg~" ͋)irhߥ.6(EA9Srx^k34;pQv?)ݲﴘ?V̩{MbhpSS#P-%}4ŹTɺydqqjNgW߰36BhW_ڱ6)Mg HԈn亡&nbu?ΏҝU @9G e$7nkD\5. Bxlf{NNDF}"'w=3[2 of! |W9=YRyL/Ԗ_n5nOqBN[H vԐVhK\zzn'B=)m ${̉xNuW׵}/6Q{#x!y@v"y XC,5bmI7BoR:E%y 2 Y%D6X 6^O,b,92x}lٞdl浴l@`黩. =j&C4 \`pJW}x27"4?TU/0F" sxH濧nQŕ+{(K6ӡR&Tv +I(r(l{-2YI q<|ߴHF@Z.3cøwhWllϩޗ^1[-QnSȧ$8!w'ٗ͒sXVHř[ }[DloX&3婭ŐD y3  LgYZ71ece54ff543f3f89dad43c050adc36ad4e8819176b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569a + HOL-Analysis-ex