SQLite format 3@ .;  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  Z Z3 dD ]S]Applicative_Lifting:threads=4elapsed=24.730cpu=74.464gc=4.308factor=3.017zXZִF! )]ŗXf[&+Q0GhweTVU1T=pC,G=܍MTn݉E~OB5J}o2pq QWj/lj6ފ1Q[YkgTXdMl9G>oTQ>Ns |/B_U z%8+N2.#2=h/5G8^H.6ݕJA KNd^O{(v'BC.7X05){YwcʗGVk{w u$oVӫVLn^Q8l~?rn;G'(B~8e#zD5aBIؾmp/NQ]: })d!Gv,=͈!=4yVbeB`/B^;/& O%KHanj<9=c 3 Applicative_Lifting  0ʛHIMʗ9 U]LCq t)`ߌe%(T;q^,Uӧni+P:4|(es4 1/_. tDS_d#>`p+)-'v&ɺϖ[P H|ڤRD4`6ad%sz`3]ݤɷ 4kD ?xǺAZ y VyaQ㫩YAE7IEȟ#كcq;ڲ[)XR_S(5뼠VɨAIG_G/ t[HШ!|k2iى9LVj]T 7;aӺ:=I=\s5R\ΘI)*H-h$dCBmIuh mDAH0 %ED˜T9Sv"y ajޖd.K5r(Vhv2 &|L B+.M*g:֗g7FE7N7<'r8#nR Gy"?l>h%8Yb-vkgYZ7zXZִF!  {]ŗXi%L 0XXjY8WACA{@& VW ϾJ‚R6RzL] r4?%eB2YES[!Zd ':l鸊k>L?cOoE@/1`pK.JȢ~*G\{M̈J\fe :DP\h›bYD *S#mؔ{v+APIŷL],5F) jlfO* Ry:ETԺEJ[Qv̩Qͨ/jF0f4k\NJ+!ϱw%Ǡ(91E J!^q \_'fppʓ)XL2HIE9)I[r'DFh)?k:Ǽ;[ӛuk4s9 e3/#t/6 N( [TɼߏQBP*`KyǁW !o WH$sÎˁb͘pn4¥&t*;h~,\Hm ?m@edS2b錗{OGڽ6kvNI2[TxnCܰ4ޝ#{1íxEW찋2m?$ΞP<0N*xo8"p%J9UQaAiaX<k *ɞһzlCآ0gFU`w0k}iat5|4:ܼ$(]Ms@TaG)f#UGb5y%p4xf_ o?طeyXs*^UmYD2 1W-Nl9oeuI0xߐ'7?yrHH偌4̂gxr)KiM:4f$Kf_Ea v2"4aq_F),C;(v,#mtEWpH0}|I\x][*V~ē+f Ov 7Js+E:nPK XןSby6|o0b %aoIH]B(ѽJG4t.95_N/p+d?uКsq5'HG7u[1iQHkf0k&'B[TŐĎUB1Ă-^1,:J[T {@7L=@]I5oC0%:y/Ké;LW++' )0Ji//%d6ӆ%.b]w[a9PƮT#,>a+eB,T :]@ B8  Z̬(9'<|JTyܬPT·AAz W"iFQ%#D:hg' @g;q㚹Ee^vܟ1| KHP$gȭ-S>~oPg{A6Pc,=A6-KagmE"jq>ހ:eyelj8X(]x0h]zH Ė _dfuܲ/#{Wյێ~ 4:ضPRXvb, 4w*_l+>@ 4,ϜT {05W׎"lͨc4L7CvoH \nQ5hF/=N .GvP-9mS`No/C^K|9NgH}kS Qap< gj'w.[%e;&}5'10Gmg8/矌Zz5LI/  gYZb5bb2fbe499ae86799f335e9f54622ad36753495d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8 c64e28adece30d425954200e9f2c1278da50acc4d8604eb963500b8bccac8f6b00e046d368ab6505