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 99D1 td ]/ Recursion-Theory-I:threads=2elapsed=15.558cpu=27.788gc=1.240factor=1.797zXZִF! s]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[HQfQ9{Ęqx:uwR SZJ$DUbW4$@YE,zkT.63[BlmQ'N1c]ḶO%h|VnZٖeDP#GeprKW̴*k }m)nnij*+%kѼ4[:*bl2'豗0tҫ.#1tzc˾QƾbѨVsa1E-)m2($`v{L'2w))gYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^ILdϵ9(=A&pbqەk=2;me bVC"$cp/,h*W2|ݜ'vu ,j8!p@{QЊeTTGDM~-zg-{{~.$u.柈"()UFWf޶!HWT;UڈobPkhrȘj~`_{e\vEJ3[%n[!QG:ojrxB6ސ,{Y͟M2U?JGʮ]CҜ0=xœ /F@|ؚl"bR2Mxy@~l{W$׿J6gvnUWLR m'qgYLܝ2w^)°UZVm2{=^PT s7U 55,q/R5hUUHLo:+189CjP+ٕ:= VgyW {K$Ccv1TU!>kz) }\⍿02LxyLHVᢎJ*G!.K٬qPuWR*7 TN a_Bd2N$O-5#M17xk_m[GP1ǀG: fl-zŻ0(+&s PQjϣkd11ό{.|V&GEq&ekmИxOZшwެ`J+rW̚*K)cv!8h!`!z5Ģ |B~Z{& Cog7kNJk;{7-e_m6ڱ"g, ef){ gM~h9\[i&}qvX\04(kiܘ[٧^LyM4ɅXJ s'۞\/wRJ? Y!^9,rAo`>cRŕ18G":+YH^RQ5,aFar--#PSdAk9ΩγN/:gS41ޘO $3 MuA/C 옼]ϛDo^7 \BNI-F+q[Psep  眱gYZeedb778f3f687a820a3328e8f8b1ce4fca9e5761d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 1 Recursion-Theory-I