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 ""[= L\| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=9.615cpu=26.796gc=0.960factor=2.797zXZִF! ]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6x5fF]xqj 2lû*p XmP) S0j)2Q]dy |D@/b;N7@yģW9Nʒ&9Av՞gsU_1F +Np\ԡkx 88?n)pQM7 ɀɵލa-Gqa@PUq~oD&׋ͩl뙟Zbp;V*HOmw\]ܻKp)KiE_O'Rb+9ߎ/sPt\n|I>W{va~i RC*)&g4+?iZ^@RgYZ7zXZִF! g]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>[O`n@*^wKbo.Se^hm?62S>xǹWiSxӟ_dy'O]iޔPd%Vj"\%F. V[_Y$ _}'X3UyV,s?2QjIAObgPBmFu=z2Xkݾ^U1藀ܥ_ttn*$oIFnA~n8%mф)N鬀/^\{*ԗS9 Sa\Kgw" Jo޽^]0/Q gYZ7zXZִF! /]ŗXi%6ƨO0:>fgIƝx-XRSy6:alRL7@\I{L oND9bB<yX97A`:B-W{ k=ޣ v-پLLF5s >HJ~S r¨_Jd]Z" &=wOo PasdE|1Ran0ڃ7*륯2mσT[OJM@Gf"ttS[ |8W܂*zK~ 7vQ1s*:;(9Uѷ) ӹPv 9HB ~""`'Wu½ZGٿN=n3._h񋱞J Ck@B{ yaJQPZxx㍌O QVW ;FcIΎo`C>br:[ /9ˣIH9Jd/~wuf #'\N&ro=-m)T]{roݕfnشn'ǂ]k%+2_EFG[:X{dd 2CƱ~ O z~KH-t0 XECX-*`?Hv *M_MQm=Xߑ5"5!^-t90gW]`€j~fݛ\KwL"ė@+Zrqrҏ:: Z]]W:h7 kӊp>^-ѬT΍Z% n"YͺOSO3 o=&RVo37N&<^^Y%usgYZfb4ada728947263021afc1d6f7022bfddf3e2d7e0f50a8fd984ed9a922d06f59b224a37ab44e72f2 fd8ab938506a6adef84d05e82b2423fed153db7b c628637a3499d28ce3d263cb68d7f9d43c04ca92 8d0afabcbef7695dd5ba2a156215893f74586293a919d9d5bc8278d5e5b8686986279dba99a853f7 = HOL-Nonstandard_Analysis