SQLite format 3@ . YYQ77Atableisabelle_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, "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 u7 , ]/ Abstract-Hoare-Logics:threads=2elapsed=12.676cpu=22.964gc=1.568factor=1.817zXZִF! D]ŗXf1-/6vRZ\vW>_=֭0fA@NF &K][S<<+p,wx̸#;[FDZ5M\B쓳]ʉ7BvJ+( ~GKMN"Y쐏~YXJ\! )p_ m (}cXDDf8;yKwTx iK۷k|Cik NlH<}YaN[nFpsaQ)hM)uvM,:ECI}JUrϝg ^gYZ7zXZִF! FN]ŗXi%60nAYUx2blXXXe@c/<.\ؔٳm.ĖUFrA&QƘla '\ݑ70ޝ@`,>rHͰtF Ϡtp#Oا~'iY4s0FGlCi)ɉgV@yž_ X@kb͂S6EiB@7rC$R+PKF_ũHd)wMoj!Ɣk_bn iOȍgWvye՞]!8r~Z!N B nsl'~OSgBlRRpCPS5vL¢NYF,ZlU8ۨr)+i:sfK'SXE\-ΞbӸv(2'ͯ|dޗ?xu[5{OHI+~sY1IvڰjΒ8!&o_|'g "N*/lj }pțKeFY]>bh?n{qWGԬJH$8[4PT鉵^4bԃw;B(MTD77׷yǍFheyj(~l`sJxA* u_ec!"!Wv*ת fIHwiv.O.r! XnNOlގ!f&6a+i_OV1ٖ>(o@Ew/n9{>0V ) 1