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 : $$ ]S Lp:threads=2elapsed=35.928cpu=61.940gc=1.068factor=1.727zXZִF! ]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\fe_Vp y)jJhOUIkw[?bAߙWڊ;?NEiXY2azڿX8\{0K='8!P߅oߦp8ME{hJ"#dMΒ%c`un \ԣ@}xkZeTZ]"+WηS-9Hm GNtz&<}/YdxWYyMʹriI>&.+8N+WzL3&he.{Z!&򓭰P0bXsܻ-X.ݸh?'6ToerBL}(/b4i߁"ȠC6RxOa/L RccTEy DZh*msaVk㎗\o =E.(g%L n\]#_$6 .ɍvgiڛy',7ZOqK``{j 1_w sL 4I9`'XX%PPcJBK#kH[J9q, Z'a⚇fV LjB[Nsy9WO:v\u v2K$esORUy H *DOn~0b$Ôם~ ޏQ[ќ%YI성m| Xa睿0LD HC Z䄦kdʑ.cdf 6woW?L$;>cDAL\ gYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qwK^t8k{,jW+ K{.ԓȷ-?76QYw'  ],!b5{,9;[:VkUc0\gYZ7zXZִF!  L]ŗXi%W~ĵPz EE (2 ⹨ {76&w.pI2fsQVh<ǹUv >?:`r.;ycJS3, 32?~.A&3XSvy[>`VlZ75vkVj*0r㊢S!tj$W=,xbD}Q,ʑxhHPŹ5Z)D/AՍUME\ʈZ9R-gm+?>.K'${ v#%yxqqhc9NPo61н-*`0_W/VI(TIXeT@ԇG%|#fگiyb@΂, O/Dǡ(͐-<5yOjT?}"x̶nB],#52؈b@tELM[?xuwzcJNH(9B,,1T九C @V{&m$g8CMƩ5!Z9bu$CGq" e&4EvZ ŰqɌVH]IU6s$Vo8VG?g  h xš`@&E9ZMTgdglSu&"  sicZ4DCi^ϵrн 뙺,}@x4Shl=j)/:r{՗Y)t;mPWŶ,91}b:r ôBvN3I#l|wLts^G j8"O#Ma80];6S5eAnKht*2?C^˷opkŖ VP>p&~;EML5O2,+@ bO3uZ[јzzH[Ocϲز`"9E?qeiez`N H"<0}'l/6gJ?Vx"!:5o%͒6Sh;ؑ=h\-#a y4e9{JAlS},eO9ӚɗgC:R[o XEOc(@)M1T.S<цa] y]xáȨ$~[=_7$h6wgC('M~/Bz7 oZX "R]OȭDi D ~@ʷ?RE3q5\$UևV !W/i#[2F*Ŭ;wi8h@OWD3s]gAᖱ-S O*, \1',aYx|w o B|Ay6P\ '*^kp'p#dVZ>ӱVȝRHME+~'rTQ$/ܿ/lqktqLaQn·fs^V@$-.YST2Oq㩩N=T32v|S=Ma L7۾1͎̚+a"[z[[Eq 5 E*nq̄CKt]e)z:Ek*䠐oR+% .wʊDxd:A0aI]wo(\53aum 3WVԹSMnnN_%N begSyKã%ܯ1JՓ ܟy6DCTAJт@j)e_Gw O[ހq gYZ9dcfcb1dfbad19fe280c06db13788097ef1ca729d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 c06e340e9a5837869c8676b73367de6bba187134  Lp