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 HH5' dD ]S Budan_Fourier:threads=4elapsed=18.679cpu=51.296gc=0.704factor=2.757zXZִF! ]ŗXf[&R;~iY x$}2qd 6_e)dW bt'$+gA3\zz—L^:+ QfN2ukjΧ!nMh|wsZ!|A Tp(BT Uǥ>q٦4y*srIY#5 4*_eFoqZUqQw1Ak›:.+p3 ~^YVyRz!iV?>[o] q'aR-Cu77.i,F-gȍ.rLgޒ9/y}h'n9GSW4Fohadt1= *k}P!s2+'HiYJ:P`&ZSP&k*uA4}7 z2xwΰBq+}iZ?W5H(,G6~TEon=x]7( e/i!j1/焴,O]~D )7N 6 M@`y \"R >A0۠db~\T?nX>elATÚ08M N5mQ{*+y ]m-f,`W=g0rq1y/u6g(\i\uCe,d{c,߾xu}'QlBWЉn<9~n㦊#ޓ$nև($lb\'{S!80(gYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrC]W (=eZ b0=2BU ^ L3(c#qHX'ۭR@>iCW>wh롍7_ SZ6_mI_LvhD&w+/8Udt %E5Θ0S#eRmo8$ɓT gYZ7zXZִF! ]ŗXi%B)!T =dczMZ F)˦/GabStƘ(rŠ1o [^!8CJy#Ԃ1$W@KjWjA_ N5d>N yo.;ώuwƟKʳk@${+ʵVqbZ~/Ȯx$GVhj)Wy'2iq҄Օ|\wjZ Gfjh+ua: J'Yf]Ƈ Ԕ{Q Dd87u"OEK~uބ@yQu>jܐ0w1*r ɥQT >ߘc8NN徤7@.;/I/T+ a4]f;87Ԣ*t-2@w /M^M4`45]*&ŠF*| rAOgu=T>0rRڐ,how?"(hūF1|.t5qdT̆a1Ҙ,czW٢7U)Ű~ Rv;#GpØŗV)'YnDѴ${{HNV817cJbΧt0MBdgYZ7a292c2d395046f42957350730db2ad8237fdc0a76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 f04b6a6c33ad0f2bac00ec27566d13b96a6832d3 5823237499f8a3215557a28ba1b272a2c1cc4d7f ' Budan_Fourier