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  q q - lL %/ Constructor_Funs:threads=2elapsed=10.220cpu=6.376gc=0.292factor=0.627zXZִF! ]ŗXf1-/6vRZy ߃&mG˛N\GVnfp+LÏjc}#\Fo$P^oVO7Sd,Df\ߖmKF DN@ OnM7F| OE29N(DIi9Әh0L,4Y:< ȺαgYZ7zXZִF! 8 ]ŗXi%6wBwYHs)z+`F9H;DtYk#}̐t'=?jȈ;ܩ$HfZ^XDvkxG9b筩92{w R5!ȆoGe5E<[3v娉loh=F6VTuǡ2Z&c#\ \־} bP^ jd+ގy:T&Mrs T,ߗS Y ?RYF`Ig|ݒʙ`p)LBE^s;K0=@KiJ^m.^v'׶3"?Xn8+m g_'W5]P2ygtmp9{ @ϐ. } [QB qEH4Ր mT/*yHUttC0^pyݙ1fuҢ!'j5)"5AD'@ 2jz{w(1 M{ioS&@(5 [ /;JhuzlRFWw]uW&C3r :8.t!MRp`5"]\Պ]U+DT+i"3RBW|H&'IzTVJR7md<¢v`# I p3cdko0̴5{t s!$ߣ^'e{pLgYZ39934a44712cc3689b526749fc52819125ff01bc 39f4551db3e655a3b55d113812c2a52addd91c6f 5e9e0b1d6981d52644f6beeda7bcd9392ca4b2be a050513c4e99915f1143006e1c9e5fbab0cc5278 a9925424cba4e59feefa5d82f6b8d722cc9819e8554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 - Constructor_Funs