SQLite format 3@ .  YYQ77Atableisabelle_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, "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 ?3 L| ! Functional-Automata:threads=2elapsed=16.342cpu=27.448gc=1.184factor=1.687zXZִF! X]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+++#Zc60KVOCP(40 sOI15ue&h6B>,0a2qL4'cXHLs).6qzQIw#ir^)gx"Êb̐-fDE.謘\I=x!"vjݨ,9aUr40;Cٛ#az:T}ˈN,\"HM >&T@~7oaoyz\]f{+-j`IPG: 3 Functional-AutomataR4{L^ ѷZ܏C~5pޱmǶf&ZYVj}IB3&vN =c+*,mNA-/3rcVl&OQO؜0|G8ڶVa 鹴ĩK##OnWFU_#Y0Z09X{U؆2(ꥱBsN,6?yTAoz_7Z@mՐQ2Z5t10lZkZ) #jmlxĝs7u+ڸ''uJ}x&3[0yxKV3Da~!%(M8SU/.v_"Z ByO(N@)KV8' 9܏/s(5:8 Pl7IKӏx&?04^ kV;tt!ƒpC6AаX '%hycW96P]=~ I}T]n5ooY>bniO.G0P:ߛfq'b!Z6V>lIЌK)(G#22 a?nt*URJ@ [%^[`OdgkEyޡѬ)dY8 4|.lkY&Z־$.(RsK~vD2|<=;BL 'tO}6IIͩj$C=C2/'?z#a`{y*o!!VCxɝf NqۦEiwQd݃WCű<>ܹ 0D+uC)Rβܻ2툡o +r* K͝yP/^dLFP0{]OVm8QmL hGRYk$)Bl#m8h^bJ^Zl-22!3@}"jq2;.&@YJMQlmqB 1F=H`Z~ޱ>mͣmBcDo<*U nKԣD<u>\he 1ܴk}8*j]: &9 <ćN%d\0€-ǒqY>̔*g]ei: ~,A洲ww,Ꝛ)?].{bc,9j>كk Р]w4`U1LIJ ґ +YDwoLV~ w~(J/5pT(%!f8 s>QQXRTv@1? sRݪ5˵~k[ `%7 0m@bqEEb{~7v(.GFaިt%xm÷! }gYZ7zXZִF! TS]ŗXi%s Zw:$PشM gH*ڥ^Qh Q9 ,J{3nmfqF9}!lT)))Aˋ._gq@&~o g#% 0u o^d+){T2z}8F(jJJ6:Zi0JڿX*+;hBs3*c}7ڤtˎϕKrb!n*:Ѝ;5U [6-ӈ6Kh0. J9ʅz)h\1+H *MI? Ɠ; AB;3NF1/یsr3F  <  b(+KhvԊ{&Q>xo:e~dte}Wrd+,ԦЅrb,c:W"Ħ1L5%-%',։GPuq &K~ i6Oz7Q|N;w!.6/y zQS=srɁPjcx lۊb8wM-}51t| do;'a%[sOx\Adr 5W`!F?! mz~ F½W㎜&GnQ.4H)W+fM 6YQ-ǝI>VG]6h5|~c2Nmd85YYt{z5{竛+垛PcB_aXz}m JcӴaw/[ׁ2~!,˟Z1:rO)ܜr_wQ5GeŽvO)0F]$e0^iCZ0Fy*|Q`*Rz8`el(ú9q[C̑