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 /= ,TL ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.236cpu=23.624gc=1.064factor=2.877zXZִF! aP]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa B{A"l#6,1Am@aBȊl,ڄ)<g2F('3[ý|Nr$M&[?eL~]KwP:?0$Ȇ%+}|B ᰯW @݂FǗT)`~Cy%hq5MX ѩeKn9ȖJ⋎4<euRHwKmGC5ћxpc3Vdw!Ł]8$ WSm:9!F7]%Xj wd,Jє뚉f>bCB@AfTv: 21$'4X|vQ25|X;Ua75&C|CiaӬB٢;`1N9L*2Ho[;ݹ/ok7we$瘎 &ẁI^_k;;f5g뿿RsX vIK B ߱3oՆXjkS:ԧEb4ϞQ8ٿUczO KgYZ7zXZִF! '`]ŗXi%;3fc^8@+ͪ"y6n}Js#x Y0'ߺ&cȥ!k"ǭTRJdzL6򇲈R"lD:"|\16b#vS Qs*)6&K'b:Nku$ܠ v"@HA_;>U){nBy!#=rÒ cL5vWtΈDJV;fXΕx g,8-scPFFx[קYFqOU7"0ĉP2~ ^'@ðYd0hH3(Ub\խ4!(Ye bDJ;h(Kй?a~˺B{}LiϷA V[(osx#TVۑiEقeܕY3+!|