SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 Il,, ] Triangle:threads=4elapsed=5.608cpu=8.952gc=0.216factor=1.607zXZִF! ]ŗXiɟH)0%o^q-fi^l'[jsTe;^^5 ֪k@FJ1s1AK0/& ((}3oo}"EmձL) cͣ g]R'h,{{!d4w ybTд-. ~Lo> IϨd?pZ"0Sۈz(qp#GC6ZcO|]/R0ǯJ]мp(k*dYCbCKz6<*Et$ 。2&{DYv"Bq ?+[QS2qt+1Sk;nA | ǒ)Rv_%wE"p >Ovɮ>CUX>bA4g>pC:vaHÂR,`nߑ#Q&s /KfݎCෆ3(>{@Sb3>OQ6TK6i29M& /kl*tعEE'4S{5H0؅b!+겐X:-:o(໭Ķ(* (S37ep2,LcC53'w mZ)vS4g~5!Slt8DBih9]Lb+bpr}XI7&!* jؑtg`;`WL=ٖKȴn)Yi'p3&>5רP(.QRE04223.Ktfr#2ƜGhͣ,Q6*VZem3[ﵩݏT:!l$^`{%^O>7ypWOEOJ .K%=}ȃ[cPco@|0XR'b I=zu,XD߲&'7~s /"(;Gwe#_D5oyaAo:Eg`[tF0AoݯmA}Q}!p+c#"qI=f*J'$^H$Y   Triangle  .=gXݯIU0'l4#c8\(=w!qOEa~mE:4'/䥝˴#Sj|[ȭ[I׸#]e7@B@jSxb /Ɋg#ӱ,%)fEd:uXTڳ~I`fuUm]HkR]74lQ*앤~{_'iyRi$lbw+ Je~EfƜC |uGKӫ[<JjKٵ+Sbށe ՛in$rvt1ƅg`$UK;1Ql)oF?0[%uqCjad=?U= i-pzm`p~fChAI\7BFIEQ˪NIA6@F*vmP #ţ@':arT': dsZ$2Y#VAmc}czյs@~4cU9,d%U %O( ܙ(6%0 ;X2RRll=#Rr,8E9,BB1a%8V"w.59QW1hޥ5Xj +Z< Qyz`m Gg|T`&>^G1v[vpK,Uк/ HE԰JRCOrwbU7W+?UZi/j. cFm~o+2M@j9@PhTADۘDBXe-Seպ MR_Z=;P#t"Xyy}x6h 7&eX"Ͼ=dų.9'eWWS[OϦ>CECU[܄Ew<K5Wc-R]m3#grUuOd[s#T3!(J I$X+KhtoT d:\V.zeɝ!cQуGp` ^`#/NETfc̠lȍk$E[%ErRBL`sA]dȩHְ+Q$ɍxJ|] xpAM~5i'Xv%uX  &;,:a/{Ď$z'wйǻRO+%Fmy 0[?]kޯo$OkxmX6Vʗ pZv$Lt(}'maE}T"_ O곹?xCtUf ӽ71&IʣX(L9C'Gzca/Ѫ%~AZwe^Jx(7>"ܼEї ߮(zPQ>^Y\ EZz`ٖ_B3?*8|PSFZ sS9$nfg;\hQ+ THYJǷ$fG)v=#u4ŊP pLMD7I:bBdӌlcy۬}2Gca$Y~}= c kDF"?)]`+ ըGWNr@DB` ! bTC$J8XU}V&ol^e Q ̮j N,>[1; .P6mrbvM"A $f01qS`\T}a *` fEeRTT Q߾*% ޓ.@Ncp (<-?ZMjYΘkA=sjYX|Nt]p"Op\|!%SGg`\RxO|jh"QWyOu''nN?V4,TWEhQZ0ӥo;#KYs>)k. (q K8p4/LA')EFʄ4FegKrƣ9NJ~4 sOb>|cmqazǭ-^c4xg8"ޒ(  .YĹbڎ  .KK ^\G ]2G)n˹ā #ǻ۱gYZ7zXZִF! P]ŗXiɟlٞYZ?@Lx!ڿ| MC|i!n:dbi7p=LRKd'Ή|cNYHlԉgYZ7zXZִF! 7O]ŗXi%L!2(& T#1{m ؛Q&D}a)>k/C$ TWs̐]^p;O}!fmbHH%HC⭝'tXQ͔FG#vBAUrY>DF/r{*;p.L2ua \p˨tPBNW]b`? ;+0.w#ؾ$xuߨ`K`* ~18c2sO̊,+fwƊ1fxZ#m* 5@]<@</xXQ6޴IhHؙ}L!8G8>,;t1j؃pҴcT|4h0C7*PxҐfO!?  إKx:c+1gTsڋ&J&=y> 휌(ʫ_.鶠ϛ*ǚF?Q