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 ,4\ S IOA-ex:threads=2elapsed=0.893cpu=1.860gc=0.000factor=2.087zXZִF!   IOA-ex ]ŗXf1-qN50^ \!RY/nDTj*tL_,EPԣgYY{?}bՈK:MNmHFEoE^Ꜽ,:BX"Leڭ9_V~" ;K@1(c\֌<~s*?֧o:1֖`uv4 =RѱgYZ7zXZִF! g]ŗXi%Hﱝ[Ob?ұ4 P8&`̌Il-n%HR'_12 ?9id j3Sy;-NZh`BG)lJ}Cl2m讜q+vRcOWi9VRh=rxZnA.BKE2e=19~wh/IhmK]X<i5Kd*w!U6V @b<>JyTPK{|zu(@xob%?2/HG}Jpƿy~p#'ź꨾0 <#ZEa> ]U3V >jgYZ5417c4356a990af3fe54324aa21baa2b9b86a203 600351b420a2a1e509c529a1cdc650c3f43945ab 64f13f5ead5c299fc21eafd0f4eb3419e8a3b86d7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16 938d638758d7574cadc87f2c58296f82c16554f9 a84a3992ac6607bc1a299e575d43532da61697e9