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 3 $ I MonoBoolTranAlgebra:threads=2elapsed=7.680cpu=12.136gc=0.472factor=1.587zXZִF! Q<]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV< @Y쭢/M˰W\V$}d(!;%"O2 ?2q??Auۡw3LD<5]è&Ci#bN mϘt A\gşjuDPv\'*(h=ur<{P<*ߚTOV9#KFazn5DwӾ%`Ӂws-:57t77J' 77 Gy.ɒ>p"C u~L))#LbEl xDkgy<,@^JCpyw5{oJҵQo#w [WZG}$c1=P΄ۺ+NO8H?,q@=}_$ .X^s۔q(r;3:n)n2'BZbMֱ7:uiPi7&3͞zv0-TŲc9^!t1WXi^@]&J 3 MonoBoolTranAlgebra΅9Mb_3Y2iכO]eߔ?PWXjZGGco;ĝ3#C:s/7FAGd}c92{Ҕ:n # Awgr 5inE?1i~e S3/`R @m?у4sg_P^i]I &ʧ5/waAt{7ܩ+2}dOۙM$آ.SìXWbkS}G c+t>.wY1rB2`>fQи0! [KR ' 7+3|f'#.\b.)sJ #Ad EDȰ֦@QTU!MQ/؛n-EVN$V{Υ;[ӎ?}]0M6BDzAxX4)S@ּl/[6UV^UlC ]=pJ7_GSCd40?ނ檯}|iI?c菶S (N.K"ѦY(,:̥dҳaIc۝|l-!o24&l <;1û{&-8*]%GuTЀq6l+^*(c;;9Ge1\*(AWqZ%i4Z.[A* tgYZ7zXZִF! .K]ŗXi%m]o t ΢i!7>HleGCp.1T|e z3@JB{Z鶬$H1rj&tCXһ$0F˚E>/qȉ2td$vI$Sr^Q DOӹt/H;M11[l. -Kr9tX ze.db}iU1~CaOzdymx7Q%wCdnE3vrqee:2Lѱ21/?lfp9Cp%J)! 4+oXX3.l9gt2.-VB