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 <<A1 4\ ] HOL-Metis_Examples:threads=6elapsed=14.729cpu=65.016gc=7.236factor=4.417zXZִF! [0]ŗXf1-q恈(K&Կ6l#8 j`;"<2NSVV3e?b C}4FSe8i׽wKed.bTL\|\(J=&'A痙v B)Cչ DQ K!iyH$ KGM-DlȣicīŠ꾇Ӡ+F`]gpB:@YK&!({Nqؑ4{*8/h#M@^򳏙 4O]IsiphJZ2AZnWZ7 U!o5R?lpK:cvbQeD)1QZ]$`bCk?q4JW %v_ֻrB=>RHdŕKwρ ?nf7v?v Neh8y?WciFʎb+uEc.ymnN# iU˺~#F#l!8\ܔ;2ߍE{kl9[,T*9uMR#EVd?nLLsC`#]>[ZKUuSYp/1 ́O-K\j@g9 B2拫 TПhC\e@*e~ FB=`6u W>]b*cIE겤xuqq&\ J[m 9A6|mμjLO3@'WChB[`׍φhE<օXeʸmV\b+ښ$c뿻#{=Źj_`ARJ!åt}չDyV`ϡi.5b(ގ%sh5G̦}RV5%":>`wӁ.l!<@ۼyxEF(y`2CF̛0/9͸M2r\D~il:V=3a¤Sؘ[v"VȹшF|3͸v~$ ]#4)}e:$O]H+݀Pu~`!)/iaRk:zHЊdR/QƐ )z5n|^c0 Hk&cN3`}%\|P_`- }= km}Ԯ:$)Cx12`tNZ\Al^ ꩋ$gG/:`a`1ɆwM$_^w@5/ij,)=7 D6H)J4A3akm ,O#7c6绥7x5>bJTQliۤIĊ9TS Ŧ&piJո P&tej֗F"תg:j;^߆@ˉ1tedAp$Fks3BAG5@` $/>Ą.0`-F (FUVZMR{͙BA) B4+ᰴ  /t=-6w3l Iȑ,߼ݕ͎pQci~ )ہ-!mIC3yaS ʐ*=>@ iQSgYZ7zXZִF! ']ŗXiɟ1$Cܨ }X 6P]!ẞ \QMm7 zM_ o$8ȓ/XaLk'Oi&ΉH BP!**f )It% ϱBK%'S*EP,kp{r֭^Tac 2m(3t>:㧐2#m@0b& o Y;k[r=RH%M?k#mCP.ȚdX?8pk('W:be,JQ_ gwcKgYZ7zXZִF! DD]ŗXi%@hxKs#!ZWvO +ܷ W6`c5혝T1C 352{y7G}9=JLh\ɫF%:0=j[Ñ. "ܼ:jh?\e0͟|Wb :׶˙CǍ'tcY볞vUbspiK4ڒCw䛀`˻9+挑Y0Cʻ˨N>d'*!a(dA3\D@b")qq3,sS}K n#x{v4<`20]vey-]>1@2/xF> v^!eH~O)t*J+NYdLP>pim]XO5nE7G˪vxu|b&^ďia%, yhaC:zZBP~Z2QTD9OB<%yH6 `ȜY-F4x7Nc#U#0B&tH^*E' 踒*nXwec GElkɟ63LtU)A oTz6'x1_'boKwAf8HQLGj*9oe wTDV_.;@3:kTb K&l|~-ǐU257|d-g:ST/lDX227y)9q]?ǼqIi/.sygYk4^ k ,~51j&)QLW:!Ej훨9)l PoxbPAISR'4,CIX}kH"ٕhA>;Zf9 eRm{ipLEe6bmք4.ѓެ 5?yv-'폁K!FȜZ؎3骯*B۞lRB>35`‡)'|B=r0@:C4dgS?@E|ah ChEEu@[(Y]O96CLᘥR& $%`>GOfAَem, V@_?xtZK