SQLite format 3 @ . h h B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info t d| IOA:threads=6elapsed=7.668cpu=31.320gc=0.932factor=4.087zXZ ִF ! @,] ŗXf1-qN50^ .nEށܱsO.($.hg/[@t-(؉nÀr-hԍל ʕ\~y=9%PܶEM.^hmD%oBoY>Z&ѻ@4v2In?&]zj{=+Axׄ.DŜxfaFhȱOݐnT|w{ g/ [BsH3, ROpkrճ,1V1?̼iofqW.^$Ⱥ*);VE&{ ڜ*_a:tSXػqsY? I>@Ĭ n)56 [:Q"&XY;C<ᔛ=$4udvc% &.$7#װG7OW;c3sx3XBF^zJ0=0ܑGe*KI,ܓ=(iQ2,)^:[_BwT-v&.:p} 2ѡi^fb?E o*j'v*[ԭA~=)B Чuz(fWd]G Q=A|73l[,d(PMFFbO?pK#ihA H,\*H%(?lj_W벯R#/bOjܽrAJu;kb#5 ."<bP:mZ㥨QdvhaXZ:ĵdT rռ"VϘ.5>Vs|Gd\.%q_wr~4'eVyh7!a9P}Z#as:=8*[MDi$$5ӧL"d;]UV$xC[@'g%O=\3dE-ĚdUm nlC{3`2+^0ȦZB,M 8-vIMFf #odT}Rlr\ȕp?lmkz '}GE{9\z/:LE G