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 '= d\| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.251cpu=23.400gc=0.992factor=2.847zXZִF! 7*]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa/,"s)Y^}fD\'6w;}B>.-%S,~"ҴKnz0N?Oɵv@XdW״u_ȃ0#;E7=h0%!؜ղ<82Ū fLc0|<~☖kRvGlIO+;K#&K^o($9 ^a s gYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>e O mw{.DԞs%ȿR.yyS?!{mD.̓Z\.2O0݊ﯜS&NqSx;LK+AK;SW;ꑐ27i6;_pçab01;,[0'g(Bk+ɿȘ\Ԅ\E<(Nc,@)gkP }~qE (ch'E]Ç,=)t*J{]IA9)&6(ݗeVd|d^U @QEMgYZ7zXZִF! *fu]ŗXi%9,n"|[D\ϝnG/ZɆ^R'bٲ^;%9Kщ붬x>iAch0AOMux^ CfҪ7\OLjn<ɼzG6Cv=]gheIJI8;[8]\[6KxyC B]՝sg_]l5A%~7klSSAvS (+g5 }|޾\WIx:/_cE)Y4mI3FaO.=HГi{5*@C6⹾ [s1⢴H.ܣHz:.m[VrV*EEa'>|uY*3I/n֓+/xOJ"ʗbi\" V0_k*/U꬚ëB#}%Hz2V!.NZCbNp~*j&.[8"J>~ 7[/0a[YN-T2RgYZ0c206d56ac466337648d8d7334779992094234b2144fbd49de05d756fe9e2e19f640fdb8a712f8dc a414a4ff183b67646c55f7bc60a981cbc1fc30c5 3f15a4d09d6cf1cb917b6067d88d198fb48e78ac 99989322850693ed939ce2bdc3243e5843b4655665bc0798a797175457aa9be9ed9f296eb86bb9ee = HOL-Nonstandard_Analysis