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 ` / Functions:threads=2elapsed=3.150cpu=4.400gc=0.256factor=1.407zXZִF! 4]ŗXf1-zȟ(%xqِI^jr] 5Hs/xyzfvgw/.c|7\V w o}M'ˊ-Jɜ )6Vl(N\KA0.ٜQG`^ D~Ry:@ri;"Ozq"+yLq)"?)za$˦ݲ6X5|p'|_[53e#hSl1XS"Js5?Z2"S>$ M&~q=X^jIn7e^˻xBT 2C5 gd⸏9 \;dxR`ݷ@e մ""y"#g;\zW|pj2sK{YPÏT5"GFbH2$aj0y-6S;IĻF&"0)>v#*x))gYZ7zXZִF! ~]ŗXi%BՎq輓:u>Ϙ!WAeZ3Zz;wZ}tp8Υ-(X͘;)㼠9.5[ R/X YusP ❃rQ uOd۝I'0J7^K5͵uf@y{*XU~Q   FunctionsF3mj/9CFl{ړ8#o)҅$=Mr9% $hׄsg/Ne1;&%98<ƺwCV2nD2ݤ m>/TvNMW JlKW}w⫩ zq֫.V|.?JRhW(GNUwE?d9 \RZE6Ud