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 44I1 |D / Recursion-Theory-I:threads=2elapsed=15.878cpu=29.896gc=1.236factor=1.887zXZִF! dv]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWC QK wGZY͊]μЀV}j4uCWh'AN KDҬK Ɛ_=Y9+E,9Rm:%sLC kTD_:Hۃ42(Iוl.fh 93n`m4љfbGd4];OrcU*bxVV*ac`qOAOV*ޏMU뮐e(D u 6`2)e0f230U0k+Siv0~h?5m \xz+tKfT[&y#$3.K:`%>/JO(Cg+z{8p4gm0<>gmt .ϰ g Y Z& T(ѧ+n3h+uFDwQٝ~c%w(K*FDWbV33m$}H˃:5* ,mi+$MIc$̕Ѕ;0hP`#yɧ]dh` ٶ ӹw^*Z22vZ,J@] ^щsGIi"q87+ur)LIfi(x r9n3m1 *(ld +_ qNe59V1ߑUXCB,k/dwPy?E,휲Wp7>Ջ=nSy#Y]vRɀ_F6ω_c4fjgt UEA4gzo-i>ֶcc^Ǜ܀'S< )7 F\u (Wc4_ Edx _mpaoeC@DMVR*'l.UvBsz]9&hXpele”J//~#U748qcTĠobdz/؋Zpn:`38Dǿ:CQ]7ەJZki,bè5b,z*ɜL6~姎ZxSǽhu:{1bu`*&l*rĶQ~/}dKA靯&Eæ*=Oň+ LN5 2+!  !wpVg.v"cz~9eAwKбZ#N,\6 %? 옺ؘE yT%?geat aM=^=(>ф_cۡ5쁗p(6Q96iH>@S'.%IwdhgW>8Pl+ yHŖp"#N3:`$J^v۰ rWbH_:G1ٌc+V"9ص;2{#ڥys:uA@z WFa\ifMP )iC~rXg`S;oċ( Y*|ıgYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b8728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 1 Recursion-Theory-I