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  v v% $\ ]/ VolpanoSmith:threads=2elapsed=9.105cpu=16.024gc=0.628factor=1.767zXZִF! ]ŗXf1-/6vR[iB9Gf}P9O`4Fp ;s2ڃw)"kv7H 킍PWnLVRVa9oIiA|Fb 9A/`|<:7P6YZ2ΡξϙcFBI_qBC x<7E (ι2G Z+-m!vQ`k=HGj: ۓ`hѭ+;˗}φܸ@JfIBN{c\'nUc?W>S@~%9G,xdVE wN̹]sAMD>)5}1ZդIjдgYZ7zXZִF! 5]ŗXi%6AtFŽ 6J04S#M8;}^,]&^q M.J( `mVu)+wANz _g6ɽz}0.82C{V`rK_k+1lP*Zp߇&mh['M"oQwq|oCfcwQI(ӥ50?,a9'CYnM6lr>nLT( Eӽ:l[||y@S^$`=8s7X ~~F=3e pQa !>NO~]ۧVVs,PM\r?G-ۛ*zS3EX(,~*$ cNE':Eʡf**+T,)/08oվ }Kp`bէlOp{iܽgp7U]+f[