SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 &&W1 \|D ]/ Recursion-Theory-I:threads=4elapsed=9.110cpu=31.616gc=1.276factor=3.477zXZִF! ]ŗXf[&&mPPAnɓ0>9C~TopfpNuKhU Z$uODXp?JyܞzBoq$ N_Cg}3!oL6h3h RzS dx*Ig"fXCIW˜Yv_X*2iÞRCDBYd`Hq9c趰A% U^496VCŢd׌.Xz>`;i}?H#{gV9 A 8EuVg;;/`#;lri'aoa4 \ -sz-r? H0kS24I#GR1,gYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs]sϯtfe^{$;M۰m; =-x Uij{dcBOi5Vͥm>cpj'KRBCKݥ_CaomS;Aɑ%Nz'U"gYZ7zXZִF! S]ŗXi%Gcŗ=ׂ9&4~LI|D,Ѥ;^_ &|,r=6>6ۢTA׎yaFԶY2Mw)ht@K |dAZeLa'a)4f ' ݑr8 !$z@6Bcy֦;fY6*⎠4cU6˻$n)G','G2ȦsL w+!9$iӕ/nĘ/H]cU b“jeB* +3(#v ݲ>hX2JXMO(唱fS cn:Z=#9WAv85`Qu/QEqYWu|Kog!{QH9с;;g"6 T쭣hfX{lhg%ˠU@ 3[.o!bSKR72}I5)lOf߭Pl) qA>VW [f+Th \55\M EaFKOAto%׺LNB"-|׻#$b?R0H9ZK㮤N>L[Ngg m2*63eGοj*a.?O]@1<,Vw`񐒟"c:\ h;2F#IE@Yz|vM/% D# o(4ႇٿ9,~)WߕkйX>Ttt@c_v˪6j^lv2G ϽMp2n j/u'M.Z!Z1 > < aݛm6X@|ṍ҉j2~ԎӐC xel BgYZ658cdd72926565244ed95b92cd2dfe1bf9ac0d0c1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 1 Recursion-Theory-I