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  `% L S Latin_Square:threads=2elapsed=6.976cpu=13.180gc=0.216factor=1.897zXZִF! E]ŗXf1-/6vRZ(xXi}M]]vATxoLG$胭W"ll˾6mO}( egdEԿR\f~1Fc1ɳ-6KfS 絴>H 0 vߊ㡼m=grv_5x:H_ѳ_`".meX#4=2s&<^X;hуKiR?exgH@XJFf1 jJ 0nz1J%&'E֡t7f0Ci^'@aTs-o_z^cЀٺ^E;X5irc=pod- pRe zϪP%,&K~\g{/(mNU[M+hJa2åٙS n~[ױyk_v[e%pu\xwo-ٯTct8g50 S:Mh!avr?}>ҺT |'ܘCRz=+ٷN&CD$&GuI :_~O=ZKqjT02 gYZ31c32cd8ddac6a5cae1c8fd40fa7d51780dcf181 8a50f6b01fd40dc8acff0e7eb7964fc5bb14e9e7 9c3929e8a20c41189ace55dafdcd9f64e8cf7657 e587efe7a31b45fceb8cbe8e31287d5d15e8504b554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 69482ffa30f671703507659155d4369fe2dbd189 % Latin_Square