SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 l3 , ]% Residuated_Lattices:threads=2elapsed=26.837cpu=47.620gc=1.964factor=1.777zXZִF! )]ŗXf[&&i{*‡HiBEkև]W<3ۆ O Q ĕ,O+ d/ QzY)ZDZL}u-6KŢN.4R{ù-^5٭ϻD-ibkC:Nȅgw=FKeWc)P8EyܠCri#IgtAO 'l!W9j+ 7 !]_d==rsRM?yIcн$R^r3TPeЍhz Y\h2hT(sEs3u%X\d܃P*uHKHoB~ƫ29.\hfj9sz;cuz7s>H`SRc2ӔV\5" ҩw$rr}]B!hPekp#ZzIvٸކ(<̟IIԠXfzU!*D@B]2M8FMmZ[Pq4ӱ<l/j ^Ưa8Xj\rТόWɌNƦhg{R5mj7Pmwݰ s &r 6da:"#! `M;3Xz( vΩiQđDwr:`Fj7Gbr>4'UoGyP>0R8к1ӹ鵘%Qͩݚ<[f5u˫"x >VvQ-rٛy +#iu_ץ/!cvl2ڴ;"/?G8aF't׈yuϳe#$?0IH>BX*6mUjm:m/-[#SagYZ7zXZִF! 9]ŗXiɟi5)9ݻs?lҢ 9 C.>I?x$O;%&cz::6>NHs=5,y:9x&?n` 9oOļbA{8kaZzA(*st庩kuZsJ GN1mmA>+om$gYZ7zXZִF! >]ŗXi%>g56ʳFOXޫc&<n|a^F L!Ԯ\7/v4 qVkZ9Yb4pEQtQt +!7rH}ޘ"GM`0K {ȹuR$:j6"$p!A`W#+N*k|wi=[-ʣlVjqsNG?[4!fH} 05)ѣ/rFyˇ{f.~,Q;bwh#Iט ,3s6WFIn&ZF¸A1g 4h 4; ҿc1W][t)KS&ez-%=j1G,QEC7zny2eq:,1b$ze.5q%DusXmcÝoK4hFd =T:+#] /rqL#!ߪ9h`qbc'?.p]E/Րà"9Aa~<"9bg|tF-I 9${}c* u᤾ ӦLRgm,U`i # u^ L O| p̶M\fjcT-5,DKhf鎸CCg,Hl6/O¨b-[gep7I10R݁9bÿ "1[d>yZu"_zW$d ,NhNX^zđrjSguȅ4ݰ*>(f2U̍W*Q9U h/Z>pKZVf=# 'OާS5u%"p\S[%<~c灸55x"R.xX.}q8%խR#1s7ub:NЋ'a (NU},L?LhըYחEF;9yLuj"rhX Pc%qJ\({bJÇFJRH^gZ8f:fEo7D[