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   p1 llt ]/ Recursion-Theory-I:threads=2elapsed=16.710cpu=29.484gc=1.520factor=1.767zXZִF! Bo]ŗXf1-/6vR[O燸$)Fm\ܝ&p+ WHlK8`Uץ}hZ4'. &nRL[[OXG 5f۷ 8֕F?x5̙lڑM)P|3b/Asu-0x520oҝJ1m03ּ2 %"s^R\M)f>ס+L)ϋ1׽vqZ&qr:8{h@Ѭ$$qya$duS4g;[vڹeBJ+P=4vq׉m0<B(dm S&AO| \gYZ7zXZִF! -]ŗXiɟi /-v!NىR!`vsY|Gs^QvpD&[{. r &]kjitkNg3Ա?c^BմQ20WFCP0;ߙ6~6fvW[t¶R= U3ꅔxC`29jJWGE*nNAP/D(=+n\'xXeC QMZm` ĎD\A1GQ!䒏?w,j":efuAu{ GMa^ Oy<V&iNj ;V r/wd#YQvErP"Û ):k}o`?OAd8Cc2e&+[bhnKnUI l9!(\HloA>8Sgz}n\t߹m[h8դSc%T*?%%y|4iz46\:u6uZyʁtLMX~ϐ sl_yE17'`G"Ùqq}eɷIhTV]Shܬӷb |ӈ*ǒH8] ɑQZ/S[-slG:6;l&'C4Mn>|3%c|l+|H.D ;eeazG5J6qdF[c]ˊar1n&/i^?^)яBǚw}޹]87ޞ Y_6e-Q4-J>(`7 ;0COq6ws%v#EI:6 b4+U"8pr,$2'R ܵX-Ǩݺ?k3;:Zb * #bgYZf34d0b6ada83fe46b6801414e2c3e08c29a6b2bae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 1 Recursion-Theory-I