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  h-d T ]/ FunWithFunctions:threads=2elapsed=1.584cpu=2.516gc=0.000factor=1.597zXZִF! 4k]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!B`n4eK[,bT+Hm^ur8H\zxVgbOc|˳ԱgYZ7zXZִF! UD]ŗXiɟUXvD@ 2C \7c &8 V bNz6'Z<h:̊r`VM*s}YZ7zXZִF! k!]ŗXi%; 5[9BFf/iSj_'1MV)pL:% *R^Bm:D꫋,3.uŨff)Z<=wI3ՊBZH\HĜnNܔ'@.z]Z~xo4RЎ rTY+\/9#Y EYadc pZR`>UQGAMo^jjl-F*.a|;A-y^,@PL|]خ)tD|}+$Ο]M\.cnf#GTElxX059UT\ᇻ `ط^LX{fa g%qv̢-r6V!biBE |*6oN^m*Zl#ǹL>1O-gHPoSqi4=-_f0=ēT%*^<ƕUt_G1a)߿/E.>gYZ3d4a0981f949b52f46e6cf6907bb639bcb576dec0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 - FunWithFunctions  % %P-O% $FunWithFunctionsFunWithFunctions.FunWithFunctionsdocument.tex7zXZִF! I]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_UTvг B-O% FunWithFunctionsFunWithFunctions.FunWithFunctionsdocument.texa!-|~%~/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< ODe.8!| }MuK mF{I`#Ƭ<6GBȸ%JXѦӘPS@#96݋"jt>س! u(X&T:x?^Q53DK݂ WFp_d\vC[jKvb.eZDzV>s}!+|bTL=@qϏWhdDȉ"#NS,SɱapO)ýʆmZ #!^qv<^nh ?))5e}wҫ'NU&)]PAV@9knȢsJNB9|l@S\dc#'3P8H&*#UYkQsI%A6GG{41i;ib'=DžlfK)xd6f ڡp`W12ϺRsa;\m)7^-p?6E5#͎9wȆEVU+*g MsC͡k @KZ \tFxkPJ\nY8l]>ܠ/!( [TVxtRݻwC[fB( HXpicMm,b*]+pF8F}a0Kz;0.4Y3X6JڮKW @g;!A,FZ]W #yfNk|]$@,k\~fxFM ѧzRq?Zr[n0HT[3 }~q@\ayOH9]`{nq&iJa j4eCYh&4qq2Qtw1FwFӳ[F5 9֩P7͝ВsB/ǿ l?Ĕ0 D򦍁|WT_UW~{Pnr nC=-,;$I+;_nRHsN˄)D dz>j06;nhpA X˧ZIĢ擺o  M7^enR;?'2LL#$_V#>y2[ң=^?*V7+( *,8eIbReML>#vZ8t0] )m3Ft:~\ `aHؗ4؈-<;f/,<}4gz??96jєbh0T>+'yhcQ]G*>?~xa;P>¦9)&]!M|,,k谼Bۻ99E| NA|ǫe2cϡrbR~Msunj2ѝ|\xGҔ )PkOOz ]_$׫u=}D٣׿3ڍLP]y.xbaV ܄'UKՔQ[@ǸUEoޕ)i#}\hB s AI HQfǟ PUor'gH^'K TaPMM~}dBf{2q|m1EEtIs'q۾ej@T5SM0(,\eΎJ24!q|x{X> 9OKi#Lv7Rq3QBh!I\}dk]3;%1TRN־ QhP%7u,ElY`D_(t `APWlyġڍ1 ߁nxVdpR zB:(z~y[J|Ɇ|;"o sꘌPWŚ:KH7XpհS hW]gi^6J `|n3Z9ƩifvX_SUV!ґ p@~:h]S'}\19s3ؔ3_NҜ]tFML㖢\錭6A]gRd m\6\۲yl`㍂Q7oUXh0WKuḪ݇\8YV4ǹF~b\_eQ/-F92 )jyFoyhu w`8e+hk~/vyȔfQm}«(nPVZNeHCV ߠD%AJyMܙERa~45,? ]덤%Tf!b .TpmEG#μK~ )?~sKՔfnTwy[ERIN<7t{9HHU$^X_NԙU)%ƹ𙠲u NؒYbd2jV@>PxʕozY6EE4D57qsZX>DdUxfJDKR\h \|m+0)%0ZQ0>R0[Sw:6Lf< 1n>N|若CY?/z|(瓍Y4bV$i5r0XBPpiEdסϒ{ҚhI-4UTF(~7cЋQ)Qg 쾮 @aA.&zLu UiaLNd{v4]G39b+?B{Ea d0Τ^~I"Rӕhk `O3w7j_?ў7Wћ^qк_KUq?,F$TlgYZ