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   q1  / Recursion-Theory-I:threads=2elapsed=16.893cpu=29.980gc=1.228factor=1.777zXZִF! ]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ ?:oHƢho4 6c i=.EWCҨ 6EXBZ^]^*'QtZ)UX R+t>p@τo%H ǯpvw/̐{TV*XޝYrUi eNkϸLޯjLo_u%:JD?HeS帘E!\z̬Zt?#=NjlM_ 26KcZ)StlYCB acuP5%aJ22'Di<띍,8CX\dUV1%( Da-DM!@#MC:}hNl d҄kdBJ$HՉA9H #{W!NgYZ7zXZִF! b:]ŗXi%@8$KϦ_[kI"6CDb0/_(C'.k]J1+!`ȃYIz҄^{,|,tӝ tP#(܇RޖL3V*։6|t1HL tg̴xsuҳ8/|g >n5k Q)F2AcD8-eCb/#lV#(DJlP_|jC!WIܱ?wAxa1B.*롦Pػfph飉 obl汅, fhɴ%)˘@wݝC~ qi)˘T_,8nPԡk˼4D!8PnQ XƁ֧g}z}CZK0Alka_`(ʢ& `뭸wJ{tJ vEH2aSpю!тTD$^*Pz<8lWq+\5O ͈\ t0DصLZMidst~G/rHyzܗiEC0}TGv|R&ґn0embҲqb7@ɾ4e$ϛq '@A+v|$<4}o! } A5 5_SӺke\[XZvk[V| ȯv<^iy'{[0YBۉr#9¬SNpt6lOPAW/3 RG〙ح8fH5)VcWGp`50z@[gK҄$;07jL^\=zBG!Y07]H12z%=l|ϖ< rd0%cKs12el}C@|{PZ{zSc^>(pR1'90MTCi6«Z8H<;YG5pm%סU|w2:9 dQC?VgjV-=vhʱ&7Xf|_f@"r 0;gYZ3835d96791c5b14bba726a3431ef84e6a32eab4a 504c2bac6984bf709ac19274157bfd1096dd586e 654d16ab60a6a9d6431a6615c6516388350261e6 7aeb74dbeb2d1f6150086b5115b38729c66b514c 8223ed9d75ca8855b69b3f06fe39b4f6ad9359b0 a50d86dcbd669eae0b0b37336cc1cc3f8c294932 bbe7c0fc70940cef12f7ef60a43f50e633be0f8d bfded3a5d04c05bd47123a1a31b719eba7638a8b c1ea5049b0e2827fec073954f2b7a4d7caf4fa75 d0b2a5c78646b6a66865072d4a74a3717f74bcef f6907765bd86ef922b2b6fb287ff969df46fb1b8735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 1 Recursion-Theory-I