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  -T,4 ] HOL-SET_Protocol:threads=6elapsed=24.111cpu=109.484gc=2.628factor=4.547zXZִF! -r$]ŗXf1-q恈%vA?'GAq,$L;׺N'n\!zDûh8iǩ;iM;ʹC,ޘh\%xee-f drh'MsKoU#,)9z.5DjZ6jPӠoGpE:?~2px/:6=j!Hz}.SKRR?_hWK֤x{t] +lh9nč& /{>o#9NvzQo-FWUAwbԝ?J7:6_4Cp0WA - HOL-SET_Protocol  9ʥO<]sO&Ozͼ_ RvGU,!*Qސ]8Zμm6 [@>&G"9d7^ rtE"b z(vdaB_d&!O{FvgЌ\?;X )0 eMB(I3̩^l;MgvY9+a"{:rRFNHxdOMBpjK7kqD&6wD S+PX:䨂 ̵+TЂfeYõ6UU£?v뀎H7Wqx]~'r1F Znܦt̠ G[ c/`He+cf?fo-M ѭ`΍nLqÇDiLSjh+!KA1K2-ĩz-Y$7]79 [I;9DglnJ'4{PFڧg,)4Bu_ Bׯ$=LH ؍QVҴsu)]pBñ= d2 A$*o&Udʞ*VM` JK4ࢲʊm #X vB\- Ǡ0~Z5gYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxTc |➓kI|TZ6s=pوɡxqt;lU'5\wGu )?1ue/2Y8Ղ5.{y;Ϸ232$Hs e~UL\i=f5FP?dl1c/gYZ7zXZִF! q R]ŗXi%GV;_Vf7+nM&.DV g`k׹M9UMn^RGpmT.1M%m®CNcTT5iۧ&cl ڣz2#fU2E1W,Pʷ'eW}O p尩=.F!t&땴Z]/Tq|;@3bHgJ "l=YQ痢tp&7#E5-v߰C-;s.쭏__uieͽl⌆B]CÎ=tp\lN"2*P{%kOP h (#/#"Ey 3dbg QKKV?d7R,A?Fx0cZ0 L_?r}f{#$=`z;GٻV9v,N;ϜD߽@eэ%D2[{vC@1/^5P0M:$?G-kV~&#&+)akX'DtZ\?4eG;L0)O X[fچh<ܩA}ŠؙQH)‰ӣIY^zLDl$:Y 6Jx읫*'[m%(eҙE;X|bՏ6k-&ձ_-{i( v 꺋P\P h#P|w_w @9V_a&6ul*꫿pJmR׏NCXNug-D ?n5[Nr2+j~`ZGaxYK]& UX_­5>r|J00V-}Kww0 OkF61.9}u*@)Aa;@QmCHc'L{Tf4NɟfWWZlDrJ+i78S (}qbUAżSO>;h{4b嬗6qjӬI«6 j}q.lf9袆SRe%[TNY}j->;պ*wv›t !p *nFM4H)`{Mv8wcpmٞQ4āeqHvk}p^tpu3o2=Ɩ]y1(~DcE-f72w")s#;bU):ڎE( tnr %TՏs%fPr@cX.Nv6<@jwZQEaɕ# UwT״Zz W91,Ir>~: 4h4@f-?œ".oO}%e]}% C0Mlg@v}X&M&Ley0_;ϋ^V9?2)`f$E"orkg{?w!DkVձd,S[U,Xli N,,Pˣ' Ġ7tҺm-^`)<2 Y` 728Ǻ)c7CL5<ǡ>>Iޤ^6[.|ZG'HԻ cF2;2}kVf,t}Ng'hn=nB1j9$'RaRvwpW@z6Ōs)>. KՈ3+5>rgEPv7c:#fAoM*LY2nRXr{oo-.͉