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 CC:) L m/ Pop_Refinement:threads=2elapsed=8.800cpu=17.168gc=0.716factor=1.957zXZִF! 9]ŗXf1-/6vR[2y6ܫ:/ҵA vҦxWPg7zn)unCe^&;t=8*^.MDҗs{)h%aUULPkdKQRs]}%T57TIiد9ƟkFsG}pSd(JcFisuzXfUNJe8$>TF,'Q3HdTK0g8W1mmSИC S7/$H&spkX#_-F3p-q ,uwk0Zk[|(A%~J-4#k^{E[`U.,C-Hj W+4Wj |)}-¥ѿeD5h߳7''E,}\C|<^B驘ʭ0NMPgkKOJEUh!j{`gMխ ~CUNH9 4sI3orP |6k_*I*^~9xb{0753$>q : ݫ/t,S!P[}Ƹud|InO Bv 9;@WOc@OicWԗ+@+urq# <:6gECtwTvK<0d d5^Z8T~Q UCOh݅BF |10uEH_ʐ(RB1L 7DC>`Qŗ{~NÃFaYLjN;;pY >i cv ޓ^[xJFM.GF@6Ov="|!531YE& ]e]B(D ;4:LSNO"GBΛ[Л֯AgG\&"&;eh`W/=/ YR$Ou#ڥў8xC@AAF|tq@L6 ?tGBrTvУWZg a1-E]xI–,#8u4qp]שbDN6;toYc+-p3%{'lRQ$,uڨQ:TOQ7mV !MJ