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  W W <| ]/ Heard_Of:threads=4elapsed=26.447cpu=78.532gc=2.428factor=2.977zXZִF! %|]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l '[P]+%X\L#GQC_'?pAi3ʓXY6ګ =f[5N'RuFGk!G) &u՞xӦ6ET T:yHf#'H u؃r8,uEI`{Ú9ī FU$9RMbw-lxD}9]N=Lk HuV<y{Ra#&G`b Wp'WZ}y|b@S:^]wkz~F]wha.w$0*0JT%qZɈ-1SWUM-d8Bx?(s7{ZgCXِްRgKG=3D]ҿc n|[(>%v\k˻h-R\vkCatr="k ?U4|c:a %SI    Heard_Of  OtŖՇ;ٔ8x"ͪ,Lފ!'BLp7fϥB3@g}HHcyR Q;ScƉ9SvHqolb=~(V֌ͤ }ۓKDEU#ECp8 'x&(iBy6xHqE bfQSst,n%H3hХN,%@y);hs%I on a h%ŘlW*7X,T.TX' Eo-=y=*)]9؆g}7θ9v}JA߭ gQ"$Vl`_) xm<_RR{qbuLJk#wlŞiޤRgcfXCs kRX>Dxq3 /|@lBqM8BSB[ӚMt\X#(@J*@%ht-h>9(\ UV6|k/ЏFv/ 8xDٌLY# ׹APY_\'( 4M)s ,k 5!{s#Xq>?f8dl𾝹t}\7k17AoIY`Z;a{ʁ|9c+3+Ia5텡+aQl };ק$R3Tt{}JNCKS"/- cr |_O!2EQ mJƅ9;h=Lk{ 8LryL)ȭA 2,9w `$?oi/q_*8k5~%ϻךbDY?ToyԱ]Wzo8T17.J?߅u?1p@TwJd[lJ蔦ær&}ņ~9.7Kܩ DYsY`3??5鑞r%תq3ֱy'w B6ZS"ɭ@lMEI-R9!ٝOȑ(HYfb8*/}Lr^-3t@0)YrFf" s3Mk(1cM88RttdWu& p?CK[n$bmi#@b_i,񃧢Fi# SfcxBLk!3+ekqVqHPR,EŬTj-,b"M[kO%SYs>RpiZ+uCXǦBttki2)?>L%:.>:.x(a)D]qs ~ɮli]q* /tuB4@$WыDҩ,"]6#J<2 hE^0",1#, +@+w `=sԊ!>4F?^ |,MTLy{w\"Š/.v6}~! y$;0pP$(V'2#K#mBl6 f6T5QKΙ3{/9 NV|( "[˖W9A/L|KԨׅgAv^OQk;K7S8V6|߭ZβxRr+DZIG?v<{L"G.dΰ ml_ {*仉4͇,TV!B+w:-Ŕ$lO5e#\U+wNkk:P821CA*=76@hE+h+'jn~T%aW Z E HttfY%ᕴ&PX5rAi;2Y\CNCEYJ%4E1Ja|r!'ԑ1؋S٣S8۔PJ#R:&[ ]wo.C򿠔sP&2'\yݳ̄ij] 8ͤba.%v@ yhUrӖj;v' beIZ,G 3IX"SK-U2헓{shj] gn8bSJ3.`Apפ|k77\έOАxu3T5[ɌDsIeXMr%D"VOj>}𤒈}VUJ>l=ԋ`ż-'UFhPR(ꝑVbQdLQ0lDt3E#0#q:հ1HِJM^