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 a ,D ]/]UPF:threads=2elapsed=31.412cpu=60.104gc=2.640factor=1.917zXZִF! ]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^zْy ,:O A#L\&X wA˶Kr<*֫bV{u`W6i.9!% {9Lit~}0y"/4#xfU)"t\\Ns/,N [0z!Lz(O* ?wR+b&8CRKBH43DfvU*ηg=<003XG,v:M/֭ș,LZGLӻ~a&긤GYДJFz`$;%-u ׇm YV~ԦnH }X)._>-0@S ʍƌ:+ DKk:<~ACNeS0ec4I]//YTM?`&\KlٞО83W&Vxm' ;k?,XN}-b.!ҺYMk#$C^@D/HFA  &s*=t$B7%ݙ}]Fr2 Je46{$ۧ6cor-drx'e!D31łX?ZYf+goiF$&p.OaҗUM6L@'+ wEM*HY?2o:/Yd7%/,=7CvgYZ7zXZִF! ]ŗXiɟܤ#k0{/!sY>υDdENOI9T[!]gXuLJW-tڋPPeܼc*x=U E qB >< VBe#iEW|B婅9;s?p⺹gy> =FԐ3eؑ`p#V*z M,SݧƯ8f()ИXJw*ً3BppIE*=ktT^;ѺI0gYZ7zXZִF! e]ŗXi%>g /&IҎiXgb45 iBYzӔ^MmdHә*c kHnX+Q;kv~fߖW-&V[\eH׬=Ng:)8\}%3Afgf *8eX 'YFqz я60Wo&V>$шŀ 'TMe (CTU<.;x'w2j=%  մ\%dx &iJ lͭ3kCcYf-BS?ϟ<tbQ 2:dnzRA|70#/5فӋrdT0B}y˙.H[$=8JNSw;ܬ'#%9y(n/m Кð>Wlr/WN;Kĝ`c50Nj [ %5:ܫr=:y^؞袺3{f q.yOCٶGc¹l,e_ytߢ@̯z '(DUGJj_߹(C" `u=oVqPEzP;\[ӰEl8$"G| ^I|=oMtO۬ր*zEMrݸcp!7e {Ѡ cQnāPu/klx  {1=x+8FNJy%ԍhתMAӾhJog!^pn#f%<bf+Ǹsk3@|iFt kٗ eF"CJ.J C#1ѿ-M;{;nPږ5)4n/m7&MyMg"G)Tܵ?D,2tSw?(,v|Κt/kߺ,pe;