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  1 <\ ] HOL-Imperative_HOL:threads=6elapsed=33.403cpu=68.244gc=2.360factor=2.047zXZִF! .]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}%]b'3Ƽ OE }Xm&FeO,~ֿHzi@א @ [u%2TWD^qg[X".d::Ƿߧ @4;QO?}-چFw pJq ~l!\q̉wl o≎FQ'ZSQN݆Kd`az܊N[|: jfP丆?sQܷ O.?i։"&s 1 HOL-Imperative_HOL  Q C!LfLl[FDdvcNp0ވM{lZbO.+4Q/rX$ҝ_ah,'fc0f@0]ɉb}@PwJ4$8wwba\vc2K#lE!np{}vg׌Dwq}!!2AXywsIY,z:v/L.YؑE&6a}z9t^g$5bVAK q/c-?|h|'sϊB(9c[ʥFňpXg%>5'g3/r]9UQTA_bTưO_wZ_ 0_4BVMV>$@|HDa<_1ɚW6OzI9nj?O絧;*ykk+C`?S჏yV80.F^rAL1DTG2ﯷ'W\wE Q_`NzwwAWX,ژ2lcy夒Iη܇b­c};D qҞ۵ӛi׿H%Th,yޞ# }LA~Esض1:ӣ5D ׉ 8E !U_&IjB%#`zh2diup;'" AT;OR9V5;g4}Z|깲# UYȁ:y aX1̩-Aa5x(3{[ Hƣ ]|>gYZ7zXZִF! F]ŗXiɟ1nhЦx"n_8N]( eOtd=cNf"?tBp=ﴇHiZ&LqS7~m :‹x!P# Y2U m tIif`:wj7;y'ћ nhE)[$x@P4/Zl u7zLA%cVaE'-exq8ͻLcŅԩeB' gZm:Y# xf-Ho)EXߗL:F3ܤK TInw~C=gjy]kdHɲDh:S b h-l.'=NDԄ U^NK~5:9pI+lnZxIsþ7WNA#݆4@okf@>;QwW88iD5~ڟ ";b2p~좗D um7ᩴDOTw]p ,>dss::3U_u 7-[} 6I2Ȫ~XY$JEh#G[WADs D/fq, .3ELTFgrBqOIșTI1V`_cgk2A̘g:$۪LfT91ĀE#PT'4j-ж:}ef߿.h I!؞*Fr@6!z$5Ч2C}hl}7G{)χzyKtZ9p)>83.#@d+XXY;mOq~q|8p"q !a)o$Xif~Ͽ%-ʩӥRW@$ MڲfxWx0n ŕ`7ҝ*=+$V뇲\G{H@Z,`ݛGs%C|:"[XD؇.OO%ky@N V{GR>/ȡJ&PaK1/*7od3' GԒ5dc0< !Ԫ& a@+ѹ^_aK⒨t.j PlYZKtFi4bd@utpd Ƨy9iU^Le 4"܋8۩m&Yr._~t8ڪ,4E1 )vPyÔrv ؈(݀&WϽWyk,8W"U@ IQ: ~a&6Otby$/{8!ȸB)inO!Te1vFCZY(gG|0ƍe] ;E~5Ӛʚ1dέl!-|@dPLA{Nʆׇv%mh!k- LI o=|aU5|XO-&8ƵH@`fSgߗиg! QJS}r[no{EЌ"?XXk j7?>jҽD "IjP`5gY8L{RTs-?&Llp!(^30UahEؑG64| ɗlN8`*XvW $<{%z yó^gYZb5cadc00dd5519791a7f8814239908590a09f07906216b8b188761bc4735eeee17ccf22af58f1370 65c4e321467d91d814c74809d842b13fca277d24 85734b6afbcc72f52d678bb9d9cae136debb4eaf