SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 m1 \, / Recursion-Theory-I:threads=2elapsed=17.159cpu=30.312gc=1.216factor=1.777zXZִF! ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[M|pC mo ζqSkW!M[KImW;c~ȱTW9u'#;<RXVQd: RΣ:98Qh!"uNk*6C͈%1yYEFꔜ.e+=[1a^G1#c!D3*!%(I ÉW eh!қwWy58S1Աdȵ ˹|f'?i<9BsR6do6=pJ+=ys)W==5xrt~Ο+o$Xaոb: ulu{gYZ7zXZִF! bM]ŗXi%6n5U-2VaQ\h"'dNDj"(;m Sʧ*?uF`>/>w ^4 ƘueLƺDᡊ90 uiv{1!$KRRw-ESrjCMDyh!:9f2jB<ݼH7F`Tͫ8|6N%z1iW<<#M܉_) >({iM7T׸itGEh͞]3*()\ tǏm؏xjPnoaylI5,`B9F=~]#=AUEʪxHb ckhZW-Zfѱ[76}.ʎ_F߰;ۛps\CpS!Ϊ~{Ր+MiQjoGϜy3caLsnyΧԲ M}TX,CN~kÏL/:wXJ"ଌ+bD Ý4(E׬m5jE*W6S˳taD=, oQ Wm'A+c2+cW!k%0d&\|'Ո0lOHhs:jX|GlY#V*T=ZN&. s?%Yv. s2@11:[)m'ywc6ۀ h37ޣYc^a3D KuV,lC]K epzq(P#հW} rǴB4NvMۘM/gjoAMcO>ˏpv3zE7 ?F39#nYV׿SjK> `>VpeuC ݦE-S/^/] wi[Rm(%FGu)y6ϵj$C7RE=xgCq OFJf2£X@qh>9ﭥy?,6݋*' 5%(gYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b8b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 1 Recursion-Theory-I