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  W W&lt ] Skew_Heap:threads=2elapsed=1.445cpu=1.720gc=0.000factor=1.197zXZִF! ]ŗXf1-/6vR[] O.&o ;! D'9?eNL 6 YnӍ;G|֏qԴ/2mfUNzT"c"(:  ? y߱gYZ7zXZִF! m]ŗXiɟ1]" M${np^PS|! 'EGxx7׸bKv!̧QfF WE x( ş%K3a rZ*~b;,0OZR]0xW gA[!Pլ%ݫ WRё),!`S5IPWi耨)@N2+^t\|Λ:%p}^W0*R*zgYZ2fbf190d9d42383bc3f26355d20d0d6dcd1e54d90a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176   Skew_Heaps3% Skew_HeapSkew_Heap.Skew_Heapdocument.tex7zXZִF! d ]A-MՋhvG"uIBm5ȥJASEWY`6/8Kx~e;?@,N5S}`gYm.M[E*= qY"4#&,wFꡒH@ ^J4;O4Y5%8Edgi4}~pibI.Hml²!6 1Q b?)v%E 8ӭ#hߐIEF琗F|KVtTc_տ$$R?_  K{`PcgJ9G/-L&,u\*n1O3\wX ^PH|4g.€P%j˔Hr%B)LfX8O:u+A=%Gs%ͣ%7Oxa#½MJ)~3XcF+/<bZ@ׇCqj_byBYCbѹ 5=PvA.5Z9ԏNB Ur6:o\jٔҙb_uQO+ܡ3{6FeW|h ʼ1Ԑ_OIi/&p*J?^ @)BBUw"]ښҮ?C|nb-z(i&rgL%y0&72 Dk=뾋!"Jf5TGG9hd~ 4X<EAG ChT H)zR}~'{kpNyeݫ ~DV>Xg X_WUvn[h` Px5NJe՞? :mU%FG+pSYMԗ9KJ[H{z't8hq;H((N_INp0zz*qgᇆ5s łѹ>iUڛ rj(GY/ŝ=9FKyC*B3m/Cv$AATMlS嗙T;& 'es'/]YcrV'&x\ͯqA9{3(e2˚ٛVYek,f'S+[^.{R:lw#ze+l_o98*]ЉaP:콒QdUq0^R5n$m6 .hA<ߋp"n~\ ]"8SOFag!N=`\97jMy<6NuWx=q΍Xw7/LͼA X"DgOy4eJCZj5u;?d0ƒA 2_o(N"ĬmDCa_*g۴]J7y;)lO-1/5\=?x/6p ly@@*֒BVi,ž+F}xFL\жl`*ZQ~x~p@`DvVxeTCP\H1݆ʏq 18٬ { Mpx^OwρKB** J?Lc/ ,_2 56 lS˰ *7&2:gd ̓K6?oCғW~ `O}J/nD,S> !qv-;|)p^MdlEx_R9(Rޘa|c2ҵ4uk :h epzaxCAKf&K%}= .ԾG\81pl wQPـ8Iv$3i3FL aq~b.ڧW2)U4v+ ĉc`ϗck;E߫椄0~vތL_DPeqDBf`F?7!ࣔj~YdMvq,K۹ڦ5{d0Ah1݂;$qa/6n$ mlcv0^'ks"f^M\|XA5*CƂnOuPSՊvO 0ݙ9QR eZ[o7M+? "XLjoBlQzf5TGG9hd~ 4X<EAG ChT H)zR}~'{kpNyeݫ ~DV>Xg X_WUvn[h` Px5NJe՞? :mU%FG+pSYMԗ9KJ[H{z't8hq;H((N_INp0zz*qgᇆ5s łѹ>iUڛ rj(GY/ŝ=9FKyC*B3m/Cv$AATMlS嗙T;& 'es'/]YcrV'&x\ͯqA9{3(e2˚ٛVYek,f'S+[^.{R:lw#ze+l_o98*]ЉaP:콒QdUq0^R5n$m6 .hA<ߋp"n~\ ]"8SOFag!N=`\97jMy<6NuWx=q΍Xw7/LͼA X"DgOy4eJCZj5u;?d0ƒA 2_o(N"ĬmDCa_*g۴]J7y;)lO-1/5\=?x/6p ly@@*֒BVi,ž+F}xFL\жl`*ZQ~x~p@`DvVxeTCP\H1݆ʏq 18٬ { Mpx^OwρKB** J?Lc/ ,_2 56 lS˰ *7&2:gd ̓K6?oCғW~ `O}J/nD,S> !qv-;|)p^MdlEx_R9(Rޘa|c2ҵ4uk :h epzaxCAKf&K%}= .ԾG\81pl wQPـ8Iv$3i3FL aq~b.ڧW2)U4v+ ĉc`ϗck;E߫椄0~vތL_DPeqDBf`F?7!ࣔj~YdMvq,K۹ڦ5{d0Ah1݂;$qa/6n$ mlcv0^'ks"f^M\|XA5*CƂnOuPSՊvO 0ݙ9QR eZ[o7M+? "XLjoBlQz`BNZ_:Sֽ|>"vśW*ܭ#޿"8c+zt=(/ ܗqh_?iDêTpy6aK8_G,\ʷ'DNPI漹/u~-HF; W}y S^pm"Tߤ/Dy%:Mi*r stS`]꺁|syypGtA+9JzHyas&Z~4處76'1~?]W# )_9m,&0 Y;.;e2]Eϧu Ȭ;q| ?*7z*Y t@+ #'iBah%>Q{mu{,r9V!!/dHTz@PCBa{1D`%E׉߼JN/i'7FbJn,$(:H>z+vQ[t`%T_*1DjgiX6ϯO C]Y_tLw=s[.gSJAkR ņ|{/v"M(R/lpJE"tRMpixM1bZGqØp2X?4#ޫgYZ