SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 k+ 4,t ]S]Quick_Sort_Cost:threads=4elapsed=14.009cpu=53.420gc=1.948factor=3.817zXZִF! !]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98} isw[p tƑ;>\ÞD[t dP+օm`#S떘 ]|.]Q5;o[웘jf:E~>kXJ_Jn#€@}`r=!@]'ClH mYm^펈VwH>ng$:7g%XQc>:*8#_b @ Y7jr'C~SV{|Џ,{Q"G8g$e>-{mv'4jNRR][Ljl w{qʰv׶棳r]tޣ#FRDsxyr/(-&WnR"s%;2\.QL=BXF|1Gd+Z[X_O0!Ps8q UEec]%' 2D~6i t)z]Zzk =oBAxڎEpec~9jۢYT[1E˞۹")l\LbOBi_|6FX+/X6Gl:!&'_f93)Ioopx4+\Pu#v3=T ÒPy=_n=1cY>Xdٽq<󯵼J;2W`מ"R+U/ lYIE`99]zxZ}fW]U!D/ӥpW#(l  :qk} VyT;t@R84OثP~`?ׁ iDE?a#NFꃊV)d"cJ!X1-m?;vQkI`/ ڭ.qCԤgj<-54 q!rJ;ˋH`w>aɂ]G&/rByYv-y)T*DƤ 5ރ)=͏{jLef?+4%o,&Vb5 x|Ϲ4%gJ`dAō6C傾kl1%?& ;>7췦eZYߎZ hpD,*]ԿQ/NΖη<-_C:`/pg:_GN6z^쫅Au='"\TN2n(qA'p"̅ڄQpAHb;CjeÂ4FjV|z2` z{&k|8Z!Nӽe fّ}H"".T {sg7dqj!K|ڭ||Oc[G'!cm?V{ȍ((rs" d2sTcyC$WK vQZ}|"*Nɼhf w9& k+K>X;rvY[:_S-ǣ&|!nqdm 1Kh| Swri*,}& RF@tZ% A d]6-r0CuWDwݨ ̈jQ@w(8x P0F&+3FIӓ?Q&Φm.%ˆp;0(LgC> Bo(OD޿MJW2 [$b@{g(st/J`¥ Elh kD>2+#wF4qy9e3&|h,)|w?p'`M*1vX{ 2_