SQLite format 3@ .0:  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 -4$d ] HOL-SET_Protocol:threads=6elapsed=23.294cpu=104.804gc=2.444factor=4.507zXZִF! ,]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;ǚr^ُ!ҹ*~Q3$'=6wNK k][427 (b,#hgch3dJunf훪?H`kk@P'؀ա#u'lq٨-&ꡦL,A5qo&R*E@"1Vj%Ϊ2XTMQǝ0l I2*Sz&높C0mER,-L-zWOv{(!B - HOL-SET_Protocol  -Iz {)ƽ':7p36x3sΑj3de5s 8;qwJe*Ӆ̸#z}fs֥Q\ȕ=b.gSUBbIɝj.Uۖa9lܝ\*֗pX;2j <ФE?4HhN.Ȯ4D'""_[P,~ҫ3޹ʖD혝)aӟNsYzl.1jpfҶYEp扱rC۫/sBYU?IJ^+Hx<3k庬ÓE>/̧T vdRءx)d29*lyti1K6-C`k3 1rK$;{U> {y:x.%Ƿ4_4'OB^4().{`k5eF$khsyԗ+ P/(u,RM#4P{ Cw2b]BQR =R5\_b!~?t9~hd9. /f%|#(.<>,'k}!>@3kP1_N]%rhh+rÛq"nUaސ9Rz0zId |/JA Y {.gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTc ڙUYϝeS[f?_a{phu.ĩfʻ_c˾^Y\aEe"AEpO5n"fd/Jo3 6yun۰ Uzď=no<gK!oz >(4aV8gYZ7zXZִF! ]ŗXi%B옟czÂݴ)*~D&Jd%Ɋ,m'dѲG@𪬔Km&uq?Q2-y; )To{Sne~uv 4}-HkV63,<~㌵~YF|_sbo[4 ;W.yא%1m5ѝ6rD(0 q}oIKm`lο k:$L%Opjo 4%wcS"Éj_+`V.nSW4l9`#oNX|hMbծg0M i[B>ko ^]T.-<R'[Iq$ y@L3R ߀Yxx٦u R,K/QCN'."L\3 Ư Qn:3t{ ?ES(r>$&./G]@UDfjqCF>ã>)fN NZ9"h*8ћutLv4/c"$9BdA#̵A<ćwuzL$UQ}U1 fd{o+SAN֖\I%S}c͓Vx{LYF I?0= ٥',[p&8J !%8BeqЖ,yj~C&7Ys΁C7{<CP$/8 uYZ;wݞ$'vRnbueWqfBwb()|jumx'Mt>?;Q70 1{e:6:)ծ>3(͵%x<8v_tRbXGz"l/­KSyL /Hڦ1)d2-qM] O}o࿣_]LF{LA_8\Dsß%&-Rbrմ;Y:V'TXd 6[,fըґmWzs5ZnDY9%={v > 3Uz8n}LR78 Ll agT?@ R/a~_/v T }rѩ`"\=po#vjMGC`;JHSE RZlJInI=O]u;P4.*1="1:Kȯ,ȋEs{ahU#b_ g^/>y~o os&l@' qBŋD(Q'R@S4g! r%G$P?똓~5gu[%;X/;sDeHH3*ZuԏG kS~m2=fw9IGCD?,L?-X6 7}ײP饻9RrjVtpXt.#Q=@*G>^AUe#w9PZCn vZ0w"HbU&LKsqshv{wA{}E1ohh5QwKE ѵv AIc#}$ &qoﯻ4V[rہp"ݑ>[xx&:E FёT zM+n^ b$?Ughdڰ 6B+ѾkvP㜠YG Y@r v|K0*_& Yݷc$4,V^E)