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   `\$$ ]S IOA-ex:threads=2elapsed=0.803cpu=1.704gc=0.000factor=2.127zXZִF! g]ŗXf1-qN50^ (`/aшO@aMUs[eB:E3=&wx`;= `ΰ+U#8gYZ7zXZִF! L]ŗXiɟdNG#8 Wƕ)v3)/hbAzJ}ýUHy:+jMzՈY?hmHgYZ7zXZִF! I]ŗXi%;XH߁Ԯr3v#-LLuBAh^b fNg]}mt{TԌ~A'Ds 8z$>ljO 'v2fBC2GkWv/x0[)'`͢R?/P -=E"^dc̦ۓY=⸠Է1dVpdN-jR,o&XON1%$6c䂏smTB @±gYZd3e89c38bad9d64ca5cfc59b1a2d2f8073f14445848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 4a91b0378458a25b79a30d005e804f494c31721a 2719190341461d719ab0e44a5c4ff0faee85fc5e   IOA-ex