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   Zt| ]S Real_Impl:threads=8elapsed=40.768cpu=150.159gc=6.364factor=3.687zXZִF! +]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlUz;_ YkqxV 8߿Fb[LWEπdX WRsiolbtkb簨c4C响'$ _K# /$W xOPZԡ~vհA@d*DbJ}݊zGe- ^Ф| IU1۝d ۙUo{4hl1c˝}Rwgn-DDw#@/{CG2.!љN2wYth(OgY + Q3n Ϣ6=>vA$W%nnB`uHb+Km# *f„g Po+(Vp-鼣?LNim y`q) 84䨋(X:?33yIx &.Ȱm+?B_h$KGdկr!3j|kâ9{~ʓi&_;u k2mѲTCel0=2>-́ޒMWFeZΚqQUy~/\,XȪ5 x'QG~Fb̶t-7-Pw{l&r Wb#cgYZ7zXZִF! A]ŗXiɟ|E\Ât+.*aphG)%uG%P0WSBsOc3Evw,PU e/T:Csln޻ ^SR2cDK5mfXV-"©,և`0`Aw=sZ,1F(`r!2_ l\Czjg:0ké[XGE ,Y3:\?-):ZTgDGZmԾ32m _i,d 1j̙5}mw *zo/ǁ*hJk|w 'Jn ʙ= ZJ%(]2%- k <r@7/ԱgYZ7zXZִF! v]ŗXi%>t{)Zaq(۶a1{dvcs[oUO'"Kup֎4|TtlE.]Ϥgr݉x1_ l1rNhL]QeCW g` <`Zu U#}p՚}D;ŷ<2 ٷf¼!pk\̑S\v]W̮L(U8$Ҟ:EK%B> .@p'x81xgѥnq-dz$`qyn}FEX՛19 }Bw?SE(w:џfTpu9LwT Wr{r94:>ƍF\Or mGTtq z4ٸoCf t>r}fmC&pZ_&0JD K Eztc=+oDA[B^ 'K%z^2n&V+> ?w/B/{"g OteySSJHӻ~j$6[ :kQBcGDEq%|XܽI.*b ŗ꬧?Z}Q;>jc.7q&9"N=>Nu&Q,s|6э<8q'梶× -1xP;(1^E#mO WL3[ lqT?HckAz0E=4T Y[GƟ̀ F%8\xL.%/PArhHd=$2٫}nSvE ]MZ)|UV`>uC}oogRH!EC ƒQ;L͝cI1h_yErnPt40kP7 R(ۚң4h6ՆvⰤ蔪<suuhWlrp4ioU__}ZbZ\   CgX`s =7?FZF3[_$Otkhh:9U?ݭS&OC(Y2&a* P{r=gg%1Ƀε:4cmK&:Trݴ# zcZDE؊?n9%N9ϵl+%f0FoVX> ^sˠ<~ EyS" dwڷN3?x('芶`s l uAف=c:xh $-,Ia* "umf漝r?EG6nQA*o9SA_^7LhcREsb\=Ȍֿ/ OYGM 0dKy+||B u^ k8rv&Ζ_2jusaƝ{FF6ט)iDÑ`,HmDllkzω4ȽנH<+Zet]XO`ǖcͺbg,2 ĵFB"-CwGT#,jczZ:Gьj0+j%+Kqgcu03lI yaqyzP\pPh1-DKпr'{^s˙"aI=o"1t{|0o"z/UJFOa mKf%B╔2+h =767u5M_G=K ֎'8C!l1BгZ杗n'{zu 2^Iȗ 'kuɬv-Rד4LfPkhqJ8`kG檯)$DTU2QW E)lIHʒNFD&TV(ombg 6DdfGO8 H9/O:E…j&c&qeVІu^NeVgYZca675ebc762b7bf7e2aa75889eafd231ef503f6fc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 8fc452c3a63504e4bb4d7f8033be6ac874270fba 155f43b5d06df408433339327a678cae5d1b2726