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 1 dd4 ]/ Recursion-Theory-I:threads=2elapsed=16.094cpu=28.228gc=1.148factor=1.757zXZִF! >j]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[A hyp0JEFFM/<}= nmȯ3]4է1c("dX@ypk+dZpp e[ A{siBl͖P) k[hm{rV+.^"v8w p68<1'u=!t,h:bYZFkYj _鬏ʊ0Yn",oHUI~%U;ڎCLܤdBnmDtzt+gYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^H¤|CVbu/y'w8xVBsz9؈6#w@.$ 0 9Omx/YV=V&.nڄ Ar̷Ulb W^3gYZ7zXZִF! e7S]ŗXi%qQ)o3 vʷIuCZV rnFПˆt`J*MHVoEGDC a4A5b uyȗ|n֯ :Q g&A@AC=, rWޡ| 7% %BBjvoKvN0~;ULv.}eTx9#_`ϸ {ῑ :P1?}~Kp[‘Jx_NsYyitQXw_<4IOC8 q\ a#;BuVf$VPG0 .K2_[e#Śs`%B>e~QwL}BCJH1iHevNGpX:䚙i1HCw(cs")3p:9x^H=EfYel.a-l FHu^5MPG $ n7yjq @yRAD^R hq"fP`̒vw3`>V6rjRTF2/'A^vf}ÕH6< 2(Q eZ9$NXb&bY4g[ Eǩ%g,i7y)2YBDF^ߠ(Xߛ͍YgN-M6SOvN썮915r}\I9wK"' bJ$LN|m=lq5s2ocXk%q Յ5S*6\Ϥ:qoaKNkC{8}n LT9\%X.?y^\# lUdDt3\;bp˝:o4hEv濒FեOܹI7 1<"7gHIەkLB1?fնKq׮،%V(l}eo:KfR-d6\[n?J\m8ioHpNPƜ)ymN4hSL@& {Ns#j8-Q96}biڃtcAIϥvHU0v Jc`|"E_ 4SP_miY5fu+䳮ژ5O擸龓qy1Z:| U3m\X6 WK%mr`F8Q2 69Pg[c±-붠-ߑ+AZQ)m !3gYZ904af8f632b9061c37e2b0b32791e1b6176111e4d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 1 Recursion-Theory-I