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 RR) 4 %S Dynamic_Tables:threads=2elapsed=8.938cpu=17.484gc=0.416factor=1.967zXZִF! ]]ŗXf1-/6vRZaK Zf  ) Dynamic_Tables0kߵDڞӯk@=ڷ8{8 ҐM!R*d0:1RUO[oH̅\="|lX5ehZ$nY]=}٭ S^D2z.:>ws2"G s')B a#l{a?q{Qz()4?|~[$6b{I1_V` !*7jS䶙1Jǵ()d;ooi7VW40 1{R˓uYuQaÂ|:=+lWoi;:11AGY{w㍎Sun֝T(2PP@eB* \hƪfU sf}!ށ:yl~}@ٔ,60k"з[:6 4PP$T>+" # vzNQ'LM,"ceDjaJBNL8$z~'q&E5Ra{ܨr iS<鏖7h%|,eDc՘GbQ4Zc6{š7t9qñ% [NRpW~Iͅ3ؑ:2@AhR4[u>̽g¥"z:7bB`'a-G?U-癷Fɱfv_}$?.M>``ȢТ[i'XDu>7jھelYы@sicman0AdcM՚ e)= Ĕ ǕKU땩/.ޤ4q] 3U~̊b=ؽΉJ6=qW`P >юe̍ ruڋe*X  >^HAρǯMbf˵`S7u37?S_.]`5:H>*ckw\ o:<;,G@Is_5qnOSwb^q/~ 4{G8,xŢ[VAFTSCX~7{%er J4˃$Yn1{[ M= gYZ7zXZִF! 5]ŗXi% hs\b҂m%5Q-9\t즩N$ov˽dmQЋFWdPc@FՀڼD{ta ֦ Pj1!= {h荎Q/k9HmdGh3,ke 8j j B$,EѺ/jV/\I5Pa&l9ќєLNz`Mi$b!9vᜀO2|\(& ^*ӛzlGc|LMmw_w@>ӑp&s6e|cbaumDhSd̔cI;#hZ/U2<~w[.2գ[D14@NkLDdᯫ$?RJ$Vdɠ7m+]<һIH(VDRep!@.rq3QdM4 \H9-8lk8*6?\'mJ_Gnρ-)KSUӧu v#3.?mk/ 8[[9?/Pչդ7gN$MO>ݺJ?֦!<YniPCs\D);@]ocq{_&vuHTׅr#5)0z8Mgk5Ɓ۲i$DՐ(_bc$:lssoG򫌠Bh*J#pqy  c_ XUc D)3hn ] N68:3