SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 qC d4 % Boolean_Expression_Checkers:threads=2elapsed=17.264cpu=30.052gc=1.952factor=1.747zXZִF! v)]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DFIUw,J #vX1:SUq%M>K րu|"˅$0lfqLN:gt7豝5-Cw./loI ڣ#^~EI(W,G?]ZrĄKynXd[MͲx©"5s|m82H5+Ie>q3e-zC~lQJu'eDW 7ezzQgYZ7zXZִF! V]ŗXi%6jE\~ò8oƦU*zb㞰a"]o+ D9V~¹=9BACs7X{PIth+FƯtfas sB8q_}ևd&zKUCGJP|ڸ[4`SqbLgEiDK yU3]Q?x95v,+LM7Cx%N9,%$Z?N wžJo*ӧyyPwqȓd q$mX/7]vzg-h3鲓 iJkAOMvR+ϳk, #D+Qyd' ˽'%a0use{y\KndJQnY=z޼wC9-K|o||^D_ >o?U.u|2 4(ͅ'юA ’>E!n)}L_,Ɛ]=Jn_8x$O_;(޽Kir=`ǩ}68oÒ SAAB+yP`D1K-(z<}d)3U>wrdAte9ڗ JϑC/ v;\iF\{SjTSw V$i8H3\XGcصiE]j?*1`IdYvſiD*2di%?֮ yY ]Z:Jx@ Z'c /SgYZ34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3 d639ab579e1e1a53c1a28807a3a88215ee2e4411 ea9b6c7e5a734995300bd9d12aee86ed399fe402 f9a59b55e84d053e7eebed397fcd3b207594625f238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef C Boolean_Expression_Checkers