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 /  ww Monomorphic_Monad:threads=2elapsed=21.298cpu=32.868gc=1.980factor=1.547zXZִF! L]ŗXf1-/6vR[;he {r!BLF 6Tٍ ٬g+2'@WdǡJ!;@a7J%:mK7W,0Fc9!+aK^BdǪ_j>G_IffpO(l1b5B]֍1Kx?*G 8Nj ]ՅG_m&s1÷ =dJncݒvB.`G1K1j3,f#.dԺ'wYFE@M1GCmߍ#b]\PO7LlXМ#P7zk1ʧcNs*)}|^v:ugYZ7zXZִF! p]ŗXi%}ϗ*[6ֽ^ ф| XC˃2@~5aIY &$ K@Xu cۄ2C͕#+w \Wu4лbWґ 4XohZP:Mj6=U ౝQ34%[HtjynG9|עu}+>; Qxj71|ZYW/yUhCy&Έkjuoo9+A3uʼnO0?kTy&=g4J `sH8hf.>{ebA4r`Iy ~{ܟ{ܺ䊕F1H)푗0 ad#ЬawDZ rbiQ|6]CʉkY>} oatu_cVõ_*0W֏WVHuv,q:'rm Oc}CöqYb#zJeI neK32C}kiF~Ξ@ E tu6]w֚J+Ǿ8f4\\.5xxkLMV+j&^?');FU?藗h$uw<2