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  ) )L7d$t ]/ ComponentDependencies:threads=2elapsed=72.969cpu=140.012gc=6.620factor=1.927zXZִF! M]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyzvʱ& ?H M3g!B( U;CUvM+e/*jӯo0 f7w"ҙ>3V:1 o;%}sYqIV@Fq_`xwG9jXu6,7 ,id^T~ctd` ڑ+ 0c EǮ3񺉫=v4 %2o<S@ʎ6Bi w%byL,e q:$K\}_܁E^}(xA R9ZC٧$wT݀Zj\ֲi_zxzY[p7銼p RƉ3e`GkWu7i+T֝nJآ9ǜWcgehjMSl?PgYZ7zXZִF! c]ŗXi%>g`_RX:GUY Zd<(<.e}+D͛J9Ǝ<\Di^zqӪI9g{<0G(dǓd{JPRʉ2h[5Av^)ޟ0uyVђ䅙V"lEVx8mnLaXH=t1X~铝Wm kg^di:}i 7 ComponentDependencies  ci*."؝5I/,噂D%r.2c}H7 l_QtղO,g^̜$ы_^rˉw+1C"jA OYPr5j[JdI{{Y0S.!1N267h H_#r{hJM$\f1D(|6)XтjD /,cB/ ռm{;!PRId6*!n[. 9)ױ`{\fY|qJ71(;>|gV5W^%ڒ(ckUzQ@ uf-Y)ԍ)E@cjIJ&GnZr&6oaXIOqBwd\r;w=YRŠBlPq k?I_9=V^!^ր ~V䍱fjڳ>trƞZCkaRRB2:byoz8ރ; l/nT"$ۘ+9Ll,Ky-hn%)8:V1<+a@3 v·pR[_E¢r%c5P"~ %DQAW; uxE"4-Q_"ڛ0KohȲ;2I!qWiWO4xAqQ*J(.ăhLΖX?v1- Dgҳ 腰K.#gbYͮP( c6`" {.C/D&kTi;>A&H)8Exh#Ěϑ [ /Y="0 ؐ SI= =ɧuVm$[Sk螓U:YɌ%/566ÿ#%}1ƗXE~%-O n N 2q $][*tXB]SZN-0GIaqA2pl:0d(ĚܫJw7}#ΫpXiߜ4r!FvT w!62Ii=u&l‘-rcr`5CH℡M 8L`H;;U#&LO>j4腿Qa4ܥuԌsݠ+ʞRu6 /so~m%1_KXpLEǞbYJ'R*b 41t>^q <Ӵ.*U=ZZ<3[Y}21Z /` q싣qKdkɇHq]pާ5a = abKSld~qU0:S-,``*s=pѯo*3E*j%F0_eӁCY["ͤ6h#Y&#̟ y|euRi-89>]Z@ m>@Iɴ\]^䘬 . U)H'ykvμ.stptgxŝdȢI :ӫ/ c0@K n+P2u8Kp}χ S[ ¬ym̃ n=[wS- 댃T` h "jgaFuNx/? MNqbbg&< Q\bKZ5_oMm{.3%zͨB adQt ]9[[,_`FmO\!3)˚'q7hza$*1J+v;/}*r7z1} X%&K9^+c:zj8岲ͼaT 1a#Խ}U{>4mO\M.WiBt!|ݾK~ fwS~"0{fYX&2ahQTBOWlo;T@C7N6 RKkn2ƻ̾[6xΏ8?y~~U&sz'yX4m8#~GbO+t Q0J佑_%jB"GkNQWiI`X U3 _wLTP"I9sa;3qE|5&iv`M('l*3M( rSkGab"{TNy`kEɩLlS6ibK !d2q0#nzyu<!č`k  1 Q׈ R :<'1ξC# '1IV 4U:Qlj39W FېCM Ֆ팲#䉉e!RAeY7تaecJMݑq8\cbx2ZZU B/ޑj3K4Q`pIRCޝd!Y'mt(/S1GۤhGCtL\I2G;s@ar4fS婁}L JfpB҇0_gP):;2$ NdJW4<2.;"h \$7 ?1'գ)K&)eHA`yZ-8~2yT+Nk& 0ۖ@IfXֶ7PRU>}~َIX7z1DmRK|Juw4 պomȞl۷.!ANիPztfd-o} i=X4x2U[5TC҅< h/N54qj0Y$ {.ǾHB+@!CЕgYZ42d3b8735cee04b2f4ba52ac059ebabb1fb31ec497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3