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 r1 L| ]/ Recursion-Theory-I:threads=2elapsed=17.089cpu=30.264gc=1.240factor=1.777zXZִF! ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[_# oȮ"g,5 V!l_A!?ypFg4 X3$A-lD^W@hO/gH5ƲychX#ԒF}\OE?}cLOxx fBFmե-ߙk$ULG䈲 EoM̡ƒ0Y!l ~o [Ub(Lꈐl44@ LG!EK{[p\w 0e>v) @ ,BQz&i 9," bX>^lyz/~=ʔ@'iA2+w,gYZ7zXZִF! bv]ŗXi%6lU(, NeS`c_X U}boy ;Kk2Up?qg\p<,X0y="vAixE&Ic$+[#)݊Ut.,r,2rMShTv 15NVv' t~FA"(D&/GU%Ѣ8:ɁCd pee!@xLZhatv|)/?yq? !uXXHrp}`zCW7>c8KJ띛kUPHPo".aR+h$X9 Sr#f8"?]|qԾ/ ujcYKfyKOs+kODmQIXj3s1a"m7E Yz<ǧى:n"k|l;${S2t4n~P3:#3sۣ͌6HPVMPjsЕv./ G`+ I<!S)nq ( nHi~ ^mVi7F;ڄ`"!qώ#rU-9O~<]+G>CN;x!fwBw*A!6D*u8eoGKո Oh->ShSK->| ~YD=Иgd=>_n}\]*frcgLhA01o!}7oiNf%#.K*{͡ܠK8m)}0kїRմPe{&1a~eJTr17zI %ZeS u- 9lfa枈d?e8[>Ǽk0Bpd`slZ{۳" T_ #Ŵ DgYZ3bb0e28f2400321311ff2fcfbd77372fd0f5c5060a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 1 Recursion-Theory-I