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 k \ m SuperCalc:threads=2elapsed=42.246cpu=76.728gc=3.308factor=1.827zXZִF! $]ŗXf1-q恉<fUZ$d{s[̣pOms~0OO USiު=2ȥ9ko~gM4ITOcWTt_@ SlJ+#B{z6C foQaUe\p</8IbTcMl)[Yq!!ug"_@q-XH}Ӽ.<zSR*$6Ӂ0_ ~_|j,t~>BK5Lm< elPjۂ0ҹ9W*#W!oE>јdc|* ~;/"   SuperCalc GamGUN5˜lĄqZ vHV>R^DcQ48̽Aj }Ϳ̙~ᘒ6n?Ǡ Zc'[0K^6 K֖lTM@ ɒDa|E c$QαU3(zyqM?V4c~`'8Cq]Yuί{5F HSVf)òǬG9*:B -?ODAڶz4qp k LC>]V^.-iI[$gYZ7zXZִF! ݋ ]ŗXi%6SoSpbg| 5r'6 'cz[ch;) +&xfPUp7"dT q\ƌR\CfkPBEϷN1\;{~f0aʿ ܓ@hF7۾柞;\,ɰ͇j^7D x-YW\ow3(ʟY3Y) kΡI]D˜UE*_ mqxR*\+XDdY|./ԉj"ȑ8po9CAU&7-[AL(CRrEeq`fq  pv\6:BtS\.JT"YJj`< 4:=9Pws+% SW/"ɣI9]L[5J9ͯedx#\I{X0nLomx( ByO%t&SOGS/XNoz.—%(? 09Hj ӏV O- E Iio;z"8+veyAKM&7&=o‹ [fhs4l .E"IFW*jWEhZZIVoU3C9wtcdIpq)5 j6gԉ>xJg=VOAę|@Hpd-FDtsS%Oy\[+XVfXM#qN$|ʏovx5TYjD5/p82"(BWa0=vmhhu?'˹d́PW2vv.#`D ~-WFKr!(}MՏ9GL=~{/m눎\;̑<5.sD$g L)oyq2RϏiMURuJ6b};5%iصI)!I8ό2o誯zhLń.o9J^ : A-Ez?s.-)e2>"Ւ +"&?ֻ%{6h3!^ m' Xt/ksTDUsݲ}cz=c0T|Ī T3yї-+ͦQJfQ%m rpډ$&QpZvt@!$BG{|dKf-׃wf; ߻`Kqm޻콵b5FA dG[!@ihu^F$l Ϊjq_@h 7H_\#AA"*sHdi)x7شƊk}ZYK\,Z!$!3uhӃ$-`О#8VdHΧ6ʰu,xh4=*-X1Hϰƹ7\ Bɱ.S*i͟DWBY cU}K%ha9g*?itLSFmؒҒͽ~4g}٤ L]/~UcѼJ 0z&jl3KĥvXBx`~