SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 zz' \< ] HOL-Cardinals:threads=6elapsed=7.695cpu=40.996gc=2.168factor=5.337zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PI{z9HlH}D-l'_w7 @@Tpl6 2fX}ظV#j7WĵB޻4#(_MBLæ  W1-y yQrJTv3E";7$`͙ʺetc`", @\XΟ:Cs1nط G1Ï7e*+ZVڲaz'ln VOqJ JBeF/q!`_#:yI )W^g0l H(OYϫ,8tn=#h<; c9v!]P{EhIL/ 0%o)9>XN͸Lߠ_RCa-C#kFzLj>ĂSQksSH tV@< $Ҩksl9^ޮ4L N(2+Ji|W߷t |uKR-RGdjEԼmXݚNJ1 rV tlY( HhZ2>?z 8#ՠ9VI0| $M#@_~Dt`ݡJf3Uψmy/Qxޑl0W&\gIumkTG?٫DlJU8+S.*0q b/\)| ׷Awt'~0IPR76oDQz5mc-~4^K\\x 24X|N5Yhͽ6` ϢI#Y0ͣT;|'23 9WӉC1ȾnV{[jgYZ7zXZִF! &]ŗXi%>oKCO;첞`L6{4"[#GtÆ,0A?J^smpSs)~qjm˰S^011t` $S-gqRy]8e͘|cOEj#j-鞰1L-&η:W{-dm -l6<CʑSͮ/HM>}weM~%Nr\g Ye$%61 5 ZVW UWe!f})%}Sڙ';;Avb9iņ)xeB09ɕFoq!By;bvl8Ib42qBĆP,:z|n&҅++(q!NO yk.]Oiek@xipYj@AF^ܣVgB>%TjR)'G2Oț_4,*'Cvcqw~/9oטUOj'lTDw\Tn4:G-nݢOYM8UQF@+QoQ=[< HPD<SxAԐnbY:,K@LDם-G_u@V=JjRyO@Y|@y4rf'qPs1㛪4ȶZJ[4w)9Y?۞:Df@ĬoL<7P*SVl LORWp'{̂/֢) A.-~A]0]