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 + <L ]/ Verified-Prover:threads=4elapsed=6.116cpu=14.632gc=0.376factor=2.397zXZִF! ]ŗXf[&IXܶ{eulvG<}, ;ںuySVLPRPHeں؅sdLlJ_"gE <^QtfDe_QE bH Uj*;R Eڝ{bP;&ES)%؋iU@S&VѕHu19ʜJ^Q+0GpHF>sHj {8Z2*]žJ "dQht{ıgYZ7zXZִF! JF]ŗXiɟ@: {GXjWwPA:،ʾ^;[ІlQEg)1~F\bK$C}YZ7zXZִF! 7]ŗXi%B)٥_[Bhvp(}P*y[4Vo3Fnp,t9$(*d QBl0@_G8ʍ߰8cuX_kJ~Nw g}Ymge|ut߁ yLapAc[%NMhOF"XoDNg?nZ tĞ_yap)C7h/r%q?y3/y!e5 \ p9 􄬻s9'@S75v}wTdk>t ԡB@+752 m,;bf4h__`*kAn#UAgv/tiӱ'_nUFW=7B%S!V\ Pke ۰Yv8y* $i{dB_8c֎)'JoabkqÌ=X-N@u4OAs(yc7ɨZo8_/#eIM  u“l %^g"E"F{?A쇻i~ '[k0*8YWnks-=9^v+PNK ^GY,A{N'X-H H fba۸74! l_lO(&C_f Kk~(V@5[iMʬ0(dX>$ KW>ӵp?G^H/z !9Uۙ@Caă c-%߲hkRsR(8  d9V)njtyP͓&,V1}1Y&m)Ηs~m [\hoQ8gYZad79b3381fc068d66dfd457633be4d6747d3cff776b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 + Verified-Prover