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   _-pl T ]/ FunWithFunctions:threads=4elapsed=1.048cpu=2.744gc=0.0007zXZִF! o]ŗXiɟ  Qd&Tv<'ä!aR=YrW1F<0<Ѫf)wky Aϳ[^HmXT(]egYZ7zXZִF! UD]ŗXiɟUXvD@ 2C \7c &b&0$*+KY`MAÈu`VM*s}YZ7zXZִF! ]ŗXi%D4FBo$@k7x'=^^,GhXȑTJS'cX)L@'g'O]9̻5^&΂l hpteyLfXz8"5ewDҪڊ3L>th 6BHr$uh3 PE#GpmUy.ϦN{kݫ]u2F$?㫗Sdbܛzuİn|!8`^n[oMe2$IxK2GRbPWg: VAa/ nZL=: d[2~ïE$N7K*au8LZ`:޼(rJ Y0D/\|"΃$j(ZK_4ulRqO&҈ E] 鼰h;C;)yL Eqvm\2rŚ0CP:i :=(0OK)_$ e/U~Gzh1VѱG{ ET-ʳV9ٷ jWs (D/b2i͜XHNϑ\!p6;P+޴gYZ992f8a86d67b3d6c591e1fce14a17d9fe563dffcc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 - FunWithFunctions  , ,I-O% FunWithFunctionsFunWithFunctions.FunWithFunctionsdocument.tex7zXZִF! +C]A-MՋhvG"uIBm5q\*V^f )kI.>tK,SgTd'd,ULsX~*w kұЊYu9v:1mΌocT^nJ"$T<ʼn^Nyę1|A8|ш^G.܍֕h(0+NۭFDLMzh6'ZG=ƽ@W'/*zPW肜WQ yK"&-&=1%8}f&= lLlԻ)fE̋ DQсn?9O[Ж+]܄'cZ1A V/>X?1`ӭjsx37sLEAxP@6- #$Y;McKT JƔ>7E9wbQWzGB`>V;ۼs'o^?Sxɧdo$sX㹫оe K'fRF~1lQ\MG܁FqIRNk?J涭R+z_UT B-O% FunWithFunctionsFunWithFunctions.FunWithFunctionsdocument.texvгa!-|~%~/6]6I&QcNY x;ѝv?Y٠c;jq|8g7UT*<[،VAЏ8qܒC{0@-€CZxV0а]]+Q7I[vK弛=w]Pǘ;wY-IåXvً͏hP@U৫զQ %P1 |{@ ȿ4=K/6::0@もJt܃u9! M<.Y o,6si(TkgE}ޢD,GGi2?d}(QU $z2ߏBSZ5N+ϚءZ;Gr+amƧ:2זĄTˣeM26)=/Oi/I#s%_:8󝡑"aPjLU\ zdII%AtM3ڍgdc+%.ysز6\h  uiM}MS.GErx4&C[f*!sյvcJKP(;enX,-utl ,~ܸ$)n7~e0]i;:߹ۖ҆ƯCC{[hwbgaPȃEn M=3@=]\Ä(E>RC2xݕWF;LTLzeI;g+㚘A_:$o! k*Pԗ6J 2aV03%#qm̙|jػ IO) F)~iK[y\=nSN@]\:+X۴V>GO5,~ |ew!+Dx u__$#`ک@w@ͮ#Uh1 #ziL>qJX@|XlМpmF'J[)yVFL@}}PzݎK*Ć;a%'~aDood:I>Ub dUgZn 7K_0!W[I*rP,ӌd&v,듈I?K?Gx,lCu:dv= ,+>MUEu:AaDƑJ "F Qf0ZKGqLlq=*H&y]uOP 4TBMv ]3 gB!oZ(wd$Nl~b/ 9}dQP;M% f:\ruQA C<_I]i*e][cmpusnbT"^#=nvA#b*HT>7;¿mDzu QRAQăەD:" \7Zx@Iu( 6lo!PŕFMLR1Ghr%d{ ӺŨK-4>^B_IbQeqCVf8|7f3@ʺI ^vW>.}U:/27~|QN[bE)7|Nl;I-nu%ԯ>XfZ$O:Ťc[J2gx!j]m)bh`ւIh Ҋ ĮF%1W5 :W~o.#4Ν! 0ܾLL) W-n su'CݎSr' lGaS(>t;:t+>wRRJakJny 5j܂{aῬptDu (^SbO %xIU4%U5mW\vH.)bi8{h?|QŴM5:EH`ϲ5}t È 8[ggZBГq S?0U<~3B+VvE I)HVToT*}3ĕء!ܢh8'9sp5Nz JyɱQΙwh7:>ƣ ?3.;~iq|#y1+uQmU|M]Gh1fqnL+ A+hj$g cxX'J!W[֙m崢ʽll~fg{Wa⋒Ot&L G7 &kuKqj"O/DDa./#d;늁Q]v̦ w[j #RC"AJb"N=).F7xCk+Hz>.})ƥō]!mԋz/BZ?,JՕ͓blmv{٢A# c3dՙa+o/9g j޻Ƃ#˹! u0Ԓ$DI痘7KJ53ghJmN~q(^g5]hȷK 8dTB iŝ,}D|6ϭx])yvn}?:i"e Keġأ:a.TSHg5