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  ! lT ] Splay_Tree:threads=2elapsed=75.087cpu=93.540gc=1.640factor=1.257zXZִF! F]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%1*}myͰu}:˛k;:U^t|-\J%8K=%_0 T|=ğt\Ћt )C/()Ҷ .thS^:l`Z <5sp??3쐴k"Fb$(AM2*C㲰mwi\Z0-QFǧk -CݩxgR#;E95a<ywɤoқ,INQn ѸH J "֋:i ;҄=$dsӴ~ e\W",!P4O(S~5ֱsdx9 b`~O4R  ! Splay_Tree  n-#HV ղբ 8uL$wo?+0TgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Ҳj@:b_Tv-6!ە}#>-|W.z\?h^Y\*Deސ.uyVi>}K>BwR?*ze8O!08*(Y{>|<{:: >nAWFVIc[_ r5T)(ot[D(_*O 1L,gYZ7zXZִF! w ]ŗXi%>gYIqp:^s+Kb6o՚6щD@հbPrF[xL‹A`]}\D<~D S[R)xUq"y=Qcqj2m촡\%K9ZKZ=?3}B6ˬɏW]v?8. |z~fN"\ [3Y}M~'002̼*ž%d Ͻ^W֥ŭʙy-G܎TGk =[q7 +$ : Q3s0ݜl` b6'IUqD.5lA>FQH6<.sb\Pd@N6ź!otѩۥ_݌Ӈ+X~+;&>0g7.6{Β > ]'= {M-n!ջ^+0D91(\ּ}*&zȳ]/g>w+F*Xt1 Yz6nQ{sATSI:+OE]Di{{%V ja+S\mz$C/N sdl[SĒ*dC*UfrlF`݂z>`nKTqҳ5-{Def/=~;9Q[@zv9*a-FhЂ1{S޽o_p[%hjXԭU#XAR|z NTA"l.5ZY gwN^jh>؞ޮ '1W5Xs ls&uHkyrBOɰ| fSl1|>Tn*{Va`Sݴ*|wWO3Id7\V;~ MRS!4e4JEdz9HSG#\L *rJS1r}鹕v@>B"6V;Alz"{w'diE!v+H/oX$M=>@S|DE"3e<8Ɇg#8kXacmQQ>^IX9o>x 8vtRͤhF&om=q,ܡ_z8| f|w?]bB'"kz _--Xc`RìyЏvc)-|S!^j9[(-jeq`CCSd (3lú_ ̀;#rb]M[8\q]jXxqԸr^~&cʯJfj|eu ؞`pI4Ni'uk6.D/xD T{pԏ~7xQ2U,Ms,w붎t)P<,Uc)0QGPqJ~@\rs'$BղM @'hu_jby_B0ZCn֐qy0lC*bg xC߭ 鑽/} i6/YV_)EpMK6.,U(HIay]jJǶnD̘_<J'cn,ˡ`ϋ{v-r1$I{r~FPy:>jw=-a%ÇkSj]¸Ksv: _I' '`@ymY؀jBdkUI&0[-G-XG.rCy@Q,.O=5Y)tg[:V)YaGє*UA*%~1]SfXkDCde{0 C}piAwU9_ġמB/Pwͪ jj!M \%ob̷''˹+7&ߩA՝ݗ u*!/4XkEn }tx0M/t㼭^UE!z>ek޺o9,+)FHZ("3@ ae:aF`; iƞ ߝCU<&p]y55"auBn}Yby0: FUy}$5#r,6S.zҎͦSf(']23?eg9rAҢR5-` Ƀwy߱gYZ71b6935785a716f748d67e473f87cbe95241d10b665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b