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  b b/$< ]S Liouville_Numbers:threads=4elapsed=1.783cpu=4.244gc=0.000factor=2.387zXZִF! eJ]ŗXiɟH)0%opD=X5xȴ{`%,P!B8< olr*QgjԓI92 7Us{7H*">LDǪ"ʙle` lP7@>BxNRw:=hF]?{Z>~;53D/lFxXocI9=:k5y]:pi oW1M8qΈI(*u 9,%jO  a\Uʺ#, )+0n,Vz噎b^}s<y `xe;F*Y2L 5̦B(AV*:_eL$a8V\A]Tw6MsH6"7,$e 2_[-4ԕQ!t$Ǝ V+O z9n{1#0̅]%I|?t,&Ɍ\I*mtrQQ57<ϨXWMxxNi{}k#T68#qelEk3~l-6F^BLJ !aϦBPq3,61#ڙE|y0 / Liouville_Numbers  *hFrSdr*y.{2䢗<gE,6H%Kv8vܢ-o^DɴxbNm| ,`B ۝pUrWSgmJ<Q%`+ٴJ"8͙9_w/aZL0pdƙל$i1wb&0 ȫdRNF:Szh\t%ӡRdeZ|]zМ9*HQ~=PGL@c`6P߃e~ ąS00D52ӗ_ ׯj o݅P-}?% _F̼$sJՕ4MpI\x|Q8(U~?8 ug~w+sF71iշ.ts.47Z8 IVM,=+^WXÞ'Bf>/\L鸷]8SA*8{} xt~g_sw7-4=>Ye+y^ ~8g,Lc)IppiO? t|MN@k*2,|p"?~Mc^O7,ꪋc@ 1 R$h΁:)* |8D;^5ZSLxHԯ6޻8BD'W]쯂T}UZ$%L8/p S$iv`rD"Onvy!Iz?""E`n44`}Nv mn  В敇y/J|1FZ(5˩N,f%IuBAShlN,5-ħ~ZRà9ٸ'nMqi!A΍5,R5t/K I'{}G\>5Tß.N>pvuvcM6쳟ˈ+orsb'&R"J1Kckο^ZZjE~SDhL0Ke꩚4<܊~;¥@nvYY{ {,f T8pƒa-Aw;c`Gc]50Q ZjV=X5"x;ԙEPЫS{~io}T h/€njhXʅCIC;֪;Ar'yVwG0781daԎ|*5>AL$$'Z>͂Q8WrfB@)gK T' 2+y!xJ\  (fd]0*ƿu Ӿlg}I1$z)eEm*iKǕRc;GN|<-lygiwnn霭ziCb|F쥅C@<C.3KMRdћ'ɔWd>~nvOo.oBib0(wB"YsZl鼵[6W- 7(4gL~2%{]쨣PZf '"YMN{p'H/`Awe9aoN;"jWNbSmeBLIuR9H7Ə gn!`o$i=̓2eE-p@&HkڪFBAjc0 ,x@j̀-['=hL `,?%Q$˗B(Pt\1w)}H8n&pɺ';ںU},:FD+%/4U!&lL|CešO.BQq1^^*)B nʿE7Vi65=\Y~7ZM{\!mCvfX׈ z㺹zXDt$4l$B.A0޿ "bt_ MƘEv4VRƙ[.[{MLLHw:ꦀA_h] ,uM@psc>ZtC|$Q㞬Т#zת y:Iz @&!BIyqq[t)6gtHۚеcG?7UCQk͟&.a%%ɪ.e,-H4_.(rF}E!Wܹg;5AMcc oHhE(07(}_Rdg;<$F⭉gYZa925f6272ce917930a40f185041f6d58f3fa7b858215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387