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 3 DL ]/]HOLCF:threads=6elapsed=12.453cpu=35.700gc=2.004factor=2.877zXZִF! :]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6sDm;O-9'J>(xso.~le(ρ|Q )u(gx,NA\,օjeҟ!qϴ0Ηԣp5Sd!.#<yDc1MQR;Bv|=gki$NST=&) ]|άtuިAeߟNNWqHyTao,ν؇|J:Z}rแ/%2m)<6p QTtZIo`WPkl]z5MnQ8W3|˹N؀bPTZxRy411(8JCs#X6 '2e; Ih::ȳQg6 FR)=1Dd<7j\N'N"TgYZ7zXZִF! Z]ŗXiɟ>Ӈɇ9S2]zj?Q2B+%*L`z\V#\`)EQkReź, rB z].AE^XNbtbn%8zmRʣ x8rzܷ?`Εg_CE.`;ıj ׺L ˬYjh̃dN%y rtWjSO;|^Q>XD%bT?ZF yxuCo $>DdCoiyk:QvZW+b}־^ Rzۚi^_(om@$w~7ZG0yg$7T5IO XZ#Q8m(N