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 Z $<4 ]S Codegen:threads=2elapsed=8.567cpu=16.712gc=0.772factor=1.957zXZִF! ']ŗXf1-`7zu.el&Di'Y/χB#휗s!Gn{8nZn4aO;6œ݄.7}CcI6 m[Ѧ3lӾV1.Buv!`:AXL]s÷jnTY+TB:|\-`̫&Zфk[!l,Wh&quӅbMIv{/(fW[G8m[_1Wls!JTKӚIE@%}UB;hr~0w7wpqc .GH"ls>XWR%fܲZQd́go%M<co)$r=2gEUфt۰ɑgYZ7zXZִF! C]ŗXiɟ&,fsØ6X)w`Iyd.޾ؾsj So-٪s_fd1ZLƟX~n;3ԋؙYxWz;KיG`w,."Y;&T 4g!8Q-H1 |<Ԅʘ.m`8luh\ޱgYZ7zXZִF! ']ŗXi%9(Pψ"0YNY+=+ aT䧾ˮw떸637E~`.Z )4HvҺ6+-A+A)?*1Ұy߼|}LCSU徠-V?"}Ѝ+l8P q1nxY[T>fJ#O90$I_wWE s9ؔi.8j?J Q]x.k)\s`x؃I6;TWtWf¦Yv' Tx B+1,iZk0kO#Ȱ#)2*9dl1Y?"pQ(i Kᳪג%i%;P;QMdoy#;2Q>Tp3K |, S(,#XD*(.w4:q\b+^@ d h(CX /&oNJ=C`"hxesJv˩xfٺS/jUHn̤~;,'UNV ϽM` }ИK 0V08YKiHvq)v܆/l:(=r2Yϔ ǰhέ@Ҿ?52 L7ə*`vu039Ax>"dMK߂ 3nU$yA3GBMƑ>æ egEB=+!67 2^dRzv'n*ZvO+]9F{+ yGŒWiŘ*Ǟa8O[fgYZ09412007faf6eff85dffb8d23274cd026039730e6f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5 8e67298b43ce716eb274eebda973ef6bbdb49a10   Codegen