SQLite format 3@ .  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 % ,T ] IOA:threads=6elapsed=7.784cpu=33.184gc=1.416factor=4.267zXZִF! w ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K ֒E3/"+YRפ_sx&Knq20x%P#JcpG褕CBp.9j k)d(%%+qWEວ5*PGAHj)њKtpN /yP:iGǴB ܕQϙI%emF2>l.Ǎ5玪U51%8 T:O @Cm[pHfo= ܊Z7–!{'U8t{ϏйC+6ei~HY`L!HWw1p^!,.Y~iH5>פy ]gYZ7zXZִF! `|]ŗXiɟdN'LvH۹$vYkn17>)=%\z?hS5Jd9q*yS{J̠uDul ). =bBVӎPo@잣wQNڵd7 Un-ɭ,<Ӎ'@pϔ ԅ"4j`IKx̼R9ypه<ب?T'tf-[n/b!EJtYtbJYCA-.Z&v}wg!K4ѢlX7k?$c ݷw%ڟ#\t"InCTu"T{ ˓+s~/3"*fNzBn? A gYZ7zXZִF! /d]ŗXi%Bjr- ^fP䚊xabTO\bJD+`lulN`\R~l$y'.a3PJS6(~rß_VsdlIzHtW.%MC5Jˮ?VNc 8J>G6O-EUA~RZ8V=  dq-gã rr$wv򼾥τܤFU@p5XCR!61/5X(3Zl6 )v>{@ΐ;@VܙB*#)׎X!D2yk !P.kMUSNɴVPJP5~K,32xOCK<] arR䦇Eэ%2 'l5.-*l>J8ZEl *< D(rr$hP' I3X箶y;u(:;ry`ɲ;QдLr0-֨'dD}2gg&!7ד!p߆z858`=D)ɪ%ۛY3Ri]EFPG U2!oT?XxR|DOc[~/]V R\°n'ݐ䚭G0 D.{ NibȠFony[D)o Nݯ&>Hñwc*wR557}@cM ^참?ܲ4 P<(T YXVdPQNay{)I6TEuز}[$PQgWMg^(.Mr?{C2o,cisp.pˇ)} DR*F==&hb^a^