SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info tL m]]FOLP:threads=2elapsed=0.872cpu=0.860gc=0.000factor=0.997zXZִF! ]ŗXf  FOLP1-):49zleRna^bYB= RPJYDѬTݲdP蠍Ȼ+a_NBt]ϊ })+@.-&/{t_gYZ7zXZִF! ]]ŗXi%iNG+ P#JK,FP>3Fԋf}A6:i_zS.aIY5$dembJӍ16:OA/k 9B$k7VHP,;E9BrC38 ‘PX1z=`76̽ۢH^,ޢ^7`0Hy &H{ bhD"|)T<kJD'\C@?"BUeʵg*(u+iGO:1DR)ynwcd`Jb#:tOP ӵd@`9҉ ,رgYZ023701bf174bbfa9178ca859c7247367ee0be33c 18d9c0a577ee8d671763286ca2cefba8ae15b2a7 2bd9b81412f919bb4a49633d92a29f1f4816d35a 606aba507b4b8a629a41423d6dd140372765563a 728e960922fc3a9ed2e9f47290b9919f71026a4c 7e382739d4c7b05f9ba4e611c75c581c49fe06a0 b92be31af05c3ce26288e844608163c3cc6492b3 dfe105690e5e3eebd876820932b6c000f7b4f1a0 ed2722b7a288eae7bca6151bd94645009ec5467ad2fbbb72014e26de66d280d7be7d08deaaabe52fcde3eb271e76455c457dea5c020c01bf59da6ac0