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 = lT\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.251cpu=23.528gc=1.252factor=2.857zXZִF! .]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk|: Rm4d':MEe EGAW7U;TDuWu_/IyzsP^}iUKC?:HJ9Uwnf@A9#Fywn&HܵAjY^| r>YZ6pJ!<@SEAo:I^k*柾>+FWx%+aHAa^KF`2ô \WgYZ7zXZִF! a]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>aIiz(֒} GL6:k;\yZi%i̽I ܑ0\IewחEyƪ:=h6lTKب7%\l`qn6u<,| kM(o24\T;:K_WBKyx['*L = ௣0LiK9BxT ]|r;+ ?X}dnTq5- QgYZ7zXZִF! (g]ŗXi%96DD&&qҥN8=b_N=ʂp`hJ@ybg 7W:ޱ({1 e&: y0E]l13+7Lp)Ur赬w|"6ABT88})` sB%1+r8#`uSƚ!/i8S~?Ix #|/ζU=?>\{3&1؁$K^>u:xnP0AӕXj6QEkAj8$a^x>UnȮXLg/t0}9*9f𖙷1ri5Cbp6+8!.[b 9yxlfwy]ޫ$G Zq'UKARwiZx'Od,:8~@4N0=]EwNhP5!jN17!\tPq(]Fkz;;Lcb('qZmw0ʙT? ̭F+WB'PȔ=GYܒ[-P]tz,Lwhl?h:uvgv%6CPpjӬPhw gӹmp(z MM2h 4RJ-3uTC}U#&$\!NF={aOGkEsa6\-ޞ#iAMgQ5Q7LTaGua!tP[iLMPYzgYZc26facbb2e04f95a61403c863fb6fe1286a7ef3d1e21a38563f73ae1e71d122bc805ba19ae3a1e96 44b44dfdf804afe70e094dad95ffb119fe1510fb 7db0bb0deb0c950dc1abdca904e5f40182e62495 0ffdb5cc337373be33e182432061f70a4457436b538231f6a4f908f83494956d288572f4f06a5eec = HOL-Nonstandard_Analysis