SQLite format 3@ . BBh77otableisabelle_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 h1 lD ]/ Recursion-Theory-I:threads=2elapsed=15.479cpu=27.428gc=1.296factor=1.777zXZִF! ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[L!<:8J9-Imrγř%{h7O4&NZ$ό\Z92^ѪӬ6, ~7=g`}D&^m_ʵ*ܕB(ok9̆mJE7XpDr&1cLy֘ قCyʔ&cDGoTM҅vt.ٹP?@kf"S>NsNiPuª!|#u]<7p{!)/:8muxgYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs]#LR_"6$* Y& ًX$Kw#I'1pjd)jKslI5pU଺%F9l>Xz~;v C?'n?ȋ3YavT*rE&AܜݏXk}d(#CCQX&_w;TωsǘG[uʒTQx<=-p_AF,mZ6u#YB(g{}t&H|!u! p4gDC%P^C|=NU⭸X,)~qzjc1[5)}w Y A1㐻P{LSDm鱼:V4n>g$/n]Nsg!J?$]~P3$D&E0$BL:L@ . I#hhXJ8&8ڼU~ ׅ\5m! am50:\օ㐂Oj"bX)O1ԐByomR|#e3i"vsmf%&;I#_>KYXXFp+HVE,?(*b)HȚ9צMٺo zRn2,|a(dEɦ g~6_fEWP~_J m)fi@ 'l)%b:Q!Tv?e{(tt֑!"R:yk-RCZ Cn H_+`6B-)R|1Ҡܐgs'- `g`sLȳh6{C 툙h~(mGQ w7YA+ҵ,px9~M C0U.iOPPjlj$#aAt|BdL-S㽗 .H˩)t7Hzys5mnw!.r}[uىf?8PV$bHcG3n8T^~%/EѤ4id*k|ӯY pU=U;Zs4p!lbʱz-r@Dm3:>%ԳFH5z{ fgCx^iKE)v#yvbۛ{׆pp_+g PI*yI9]|oL2hcIlGHRmHVkEj=tNkZm;.v:#` ")aڹ UڱgYZ93ee103f9dfd719c70a5f1c8fbb37397a381bab200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 1 Recursion-Theory-I