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 wwj < c]]ZF:threads=6elapsed=9.840cpu=34.564gc=2.140factor=3.517zXZִF! b ]ŗXf1-) enȈA T"%zav{DQhZCL78 !CX$s-,XP- A%Z}t11[9[  ZFs8skL SBfMk~#grjts%{sx6JrmLJ揖Log50wEt>ьc*3{3ebeCo _i;AZɗD%dhp)4su#kvSRzo@MaΊ{w2߁ ;kpvk<(|lS*մ2uT#=⒉(* /^XgtjVh(o,,Z<*R͎UY;Ofx3n6X648 }JON,q:: n:¾Sg[$8*m 턚\;=fW`ex @s!sn䷅vYȪ@菎4J^Y}4{ǿ (zV~/e@4HbU^TBAh/NLlOm30|xgUx.,VatHdkYX7 4q/g?e^d1:M2:rIPҹIؒJOS7% UˉOEwJ_:}QrxvE}~vյ:Vz1C-PEJp!`~@N)3oFCǭ/2.f&A;fxs in )$#7.+0D&þr"Ro%L<)`zޏ;wh:M.UD  2RwSCl!Aſ1 3SMrW#z~@'<*+V.Z ĶS.fK_ؠCUœ`G)H y 3믣ս=y_ rЊM岅J->6~,'D\B2=()/xQ{ wm&W–4Ɔ+۠ͫhGTŅ Cշ|ε6oŝ A4j 訰DiO#Az$r poc:# 5Ύeh?ssͳWW..4aw}CY^6a u›B%&k磧ȌmE+Lr L'ӑ]i^i}k!bF)w^J8*5{Tl{bcx3$%B)Y7dWldp#m;}>lq+%Os9w7G7K'Gq0BQ6B~@PA.@>CWB*B?[3Ӷ{/=|728tgYZ7zXZִF! / E]ŗXi%X1L H)~Oh ]Av`Z8˫&&WڱhOOr#oC,EĽ5wgP٣8|RWjڰmz.2,'8[=cwvUZuY~yZ/xB^6N$+AF>LeH|Uvu13JCA {`ݥLP3$ohp{UWg",3CR.^UCfpN~/#uM{/^M&+gohR?hEPO !6H&ZO!y3{q'"fZ&;kG_oS{O㬢jo֏\aی C3 ?g]he]1c9{ M5  7|jRGMU:}CB~ :Z[g~xߚBm}cr~&rQw7D 7ie?y9 bJF|`CP$t:`lĥKSv#ijI hu3sܿ% pN(