SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 F?<4 S/ Lifting_Definition_Option:threads=2elapsed=2.580cpu=3.180gc=0.000factor=1.237zXZִF! V]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%(POM ޭ=Y2tyUubvygt TA3z']Y.8@_hD|DAb56<}҉xȽFKk .sT ϨF|Eg1[$OH+f ? Lifting_Definition_OptionDCk:W87 ֎ɻX4²l7=zN5V9 Zh'-$&Ô,dWnҌmqݼƐ~3 aӮboj%+H6+n.Z5:CCKrH5uT\)a^y$~řX{l3Ӯ9Vk7ܺ@ٮZF3-AcJJdcg Vv(J=Va"#"11>[$+|Ʀ*q'{(Q#`>Am%qf\TlZ4PhA 'aj2Wڼ2^ܳsz|΋B(T,|yz=k׉k/r1AYVnt6?e{D̦xaGuVªEUMzPA5ycϮ)ut7(>Z;?9^LMh|o95`!u\7Z?}=;볁/1 ۡ;Zάv6uK'L<9971s%(z~_l3^4-C*gYZ635498f98c69487f013703ffdb9caedc0fdb832a 7fe7d57e3e198edd83a2d382ef65f4104752bd8b 8818f259d173d4e233934b3274c267c7f059cf3d 969ef410127838557c2d3ae99e0cefcf3e958300878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449