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  C C:l ] Skew_Heap:threads=2elapsed=1.384cpu=1.740gc=0.000factor=1.267zXZִF! ]ŗXf1-/6vR[] O.&o ;! D'9?eNh#_h#p lN8^m*o\&J Db5!i"CO55sh;y߱gYZ7zXZִF! n]ŗXiɟ1]" M${np^PS|! 'Y:P_lx1'9埡8ӓ(׋p+TJGcF5j(QgYZ7zXZִF! t]ŗXi%; Bb^qCy45 D^q.ⷻPN^_kwMgӼB@Pf9R[A7h{ب$U X"x#IU@?ǀF.DcH0(\=\Wg$0h E=&Cǐp6czZ"6D_:| uĖMIo]t*H2bYXY|=cD6M.J(m=u$EpR7Z"i?$Z 8 YyP9:@ rӔw[7o$!K#\&+VG7w~7mW|7:)X vۛ#`LՍ*-^ r:k0)&#\ Z.) +Tm◙%L10x^7\W栧cf5TGG9hd~ 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