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 f , ]]]ZF:threads=6elapsed=12.808cpu=38.716gc=2.312factor=3.027zXZִF! D]ŗXf1-)9\l ݺn= bŚ&3(/.G_T{['s\*?)RS}ohd&nGMyFKDi2Qjd;wJ$/9Xp|փiv"\z])G 6R%'msڊZVFW_3]moIFjJr:M\{ ӱrA$#}>!; J9uؔj +reJ@@ W XS&ۊaO`\_X'kOzuV~6e]H3샰Dl9ҏ;OQweYz?%ځVBУ3B?&yxd^wpX'|$o ?( 5yz4֭(F0BԦgY1O&O ) A6âj(q8v頠mITMb6/؎=ݨi3c}jy %e:Ip"A 9L%@um,'0q*,ȿ`>g|To"F}}Zk0<M/ Z99DZHteѓҤ=ð1@.MnLIy“3'/vry9ʋldW$;5bQPYX4,3:{o܉|ۦ6 |1Ax%3{?05"t5fɼgⓏ(bń@X$١SWRsݻ SqC!9)XLF#~T5/0xX[(:77)!2J~IO,Ȗ[6^#8FkKYl~:b"ϗEVgw˱gYZ7zXZִF! =a]ŗXi%92ӌ*]ŏgyCCRWj}ga"A>ۢO0 9,-Ϗ*5b %gu:=F/*q?ߤ{'nkIO@fQ~^Dl>YdL/(ua_}[\[܁nUIPV7 Nk/.^nYy!)-! ?GPFQ"O7Qx`7u(+907U^z/PP|RD e>#bURMHDq7 Igmw%Ln^ejz=!!]9_ "lpz+psdЈ̏:F;E'4柔oqܗp0Q <~2aWN\ţt2@Uu5z !N,`zt ٱڌ"32jsKwg"Bǂd1Sӵ¶C1>b$0[:C R𢒛ځ*IM1Yvm!2M10S)CLޤ?8nc>jlUpf,Q:!SpK~ xaoyv(%ni U7\liH@{5tXC>Olg!f"m^foWYzk`TyBzY_>&NtƬc z}\gYZ0b7dd3ce01b7d3dee3a7bab02deed24d5f169758a61b507f41a53faf272c6071fcd8d5a7bd20132b8fe1d9cdad5d3c987d66427a8ce575f65ff98754  ZF