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  !  ]/ Prog_Prove:threads=2elapsed=6.084cpu=11.708gc=0.788factor=1.927zXZִF! ]ŗXf1-hg3㶌 8UA5kGc,SnW8a:PqdGmFv-> 1Ce1UȀ35v;_ՙٰ3\sAq SxP-TNR56X|zg(exD\qDP0?없2/<6' ,@u9aF #Y4p1s>,0Uep LgYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȵ ml koz}h ?i?.Zuqa]Ĉ!L!V ֈ1 vDnrq~Ѽ=eZ*6>.PV:0}+jra`ۄO+[oOLU%8,WA~|b}/3JѱgYZ7zXZִF! Z]ŗXi%9(Pψ<Դt_/đ͜R;PiO]-mk9719"zFA>+W0){*$a> uԲz\^HBjL\)y.Lz|UbG^'`_h)ZaԤ0H3F`}I< H9y̟ŠZA)4߲Jvm^L^*ɞJTEcͧn! FEIc񮕨:4߱rUˈұ' EqٮOnQF2潩ÒaO4\$5azm`BbOs WaOq|FC̹BNpUVH2){z~&L(J}AvL/ *7} Q88dc! mN#XЏ,9|Z6 .$s:zlM]!ғFԻ|AynӇ bJ X3Zx=_ݜJ0v~F;5";S wjx<漗SoT`v3ŀ1 QN_%%#xќ).1dFa<Nfh55L%nEل=e}Ŕnu&F(6mv*6Ur (yT۝(g<gYZ4484160c104497ea7a4c200438f8408ec3bca0a76f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1  ! Prog_Prove