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  d- , ]/ FunWithFunctions:threads=2elapsed=1.713cpu=2.360gc=0.000factor=1.387zXZִF! |]ŗXf1-/6vRZ#qK_Hw6ԛg<_78v4!B ~[NV$Хaa %&0kEu(aw:c'j-ŵ"%[ 4޺;JgYZ7zXZִF! UD]ŗXiɟUXvD@ 2C \7c &ڊ&m::rˊ4(` ?”זv`VM*s}YZ7zXZִF! s]ŗXi%; ?FU\: 10BT_x _v. DW {BN\:fLtjx/LآFhк1#,b*U~H靘Z{zY|;Lr%؈,A'(ԫ2֩Y=" s[q ^@QWbrTp8^@K*vr6I4d^8C5vdJR#0pެYrc9ތקHƂoqlyv00 KSJ% lk"h[VT1sA^~4Do7 (-4%MB^$#|xȫH$tLZ<1gA?ڋΕ{! Q]W#@.IcgYZ52a731fae0f828ce777d92bec6e3cd520581f19e4adc5a97dc9dd2ec807ce476868ed35b984f32fa a910a225eb72423ba846a1a2a2015494a7f8dff4 - 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