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 sRb$&!' DKz|i'<F^!@t64Ks2ovgՌ]Եb1|_b0~0*̙"/efg $*hN%GAFŷD R^X*5Af1 (߂.M8Fv>\}.:x'Gz%r!=E=ւ)_MW#l,N>   Cauchyjt.ncI;HAMmg[`3$I wZ6nt[ &0 fh.LfEz9gYZ7zXZִF! F*]ŗXi%B_gtMQ[5k:Z7q^MZA1a>_bg{!mH;vDp1 .aSXv"E B6G|lKd-*>zqZrԿK[U9 X^}5Yʃ#=t8쾑5^$3˸!ѥUHƒ`kz3gAٙBp.--8B B8S_ck|e`W=1,1=Xn'Ȼ))[4#݅%nH 71 [R=tT+b[U̷o56u+xF SvyWX{=}I u粎 jQZOΡaձiQQڊ!n:#y gsIE }+v<8z큧9Uj4"S:hZd-C$搘x$`Ułf=L.2-(gYZ91b9d46e1716b2a13e1d47472570929925dea7cc 9eed8fc1f6c54686843ffb969de40b88bede13a3 a714b90a4ae3b6d0b534fa55ba75aed3d50776a2 d89fd00a601201ee7e3a7dd13c2b6bc868536dd5d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295585c029a45941d0fc77f0b9f9c02f2085a925885