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   l7 ,, ] HOL-Word-SMT_Examples:threads=2elapsed=66.778cpu=84.840gc=0.872factor=1.277zXZִF! ]ŗXf1-q恈2Z( \9 .b(BlfT+mmZDPJ1sg69w5AzJ}#`rb:U#|I}%!)A ̂{ڻ[&Rjg)%>/=npXgl|;vN=*N{^|Lkc{=}4몬kEO7&Od/QEM ]io S3Tj#]gǐh)؞:*$|Ni},ơC 4*bѽ w(E(`e@csW 7 HOL-Word-SMT_Examples  &/Rp̅ٲHFt0h|jP]/[׿IP2-vL#T=ViMw, wvUSxn:Dճ.ɍY S6w.|L<] A8%bTjIΐS忶~a]P`#^q+`Zlena #:W;7?|u`vl7 _Cl'S=xpb<7mд /yE N!Ld} CJp6)CgYZ7zXZִF! Y]ŗXiɟ1}?ĻQ5?01|`+)2$3%Ssg]l&EIL9s{f~8מ%(9q+z@y_(+B%l/ KJG5ugCP< A| Vr =u_N UJ/ݸ'' vKb4lb7SM:zچ ڡ]zFT\@xiw',4#t1Yd8$5WV­ɼ}\` ~8t ,M 1.['ШYOcKs-wT >'NGIL9 *l[ӕ5 Xİ-ȹy-g}'dsx}JQ-0݈~sEo"؉vRO?ҋda)2aٞ"9QaochxkP@X ''E!'j]k[65@+LV s~DQ'5VԌܱ.:gbq8Zk"&,Q=2˙^c kk㞢=e91`^9\sz1oY8P^30'[WpA\QrjH˂4w:a7jvk֮=rsAUĊ-K:PBf.޳sJ HĆo1ډ5izԋ%F|aIFqݘ P]*4T!q8C3mqFcFj_2u=BN<n}Cܦ`x;fHlddPQSNL6C/ٝWt1uC 1UH|hѦU_E9TTpLa4HKiZ#mv K ĥkmC!ҬiNl\itFL2T"6X*]a[ᥑǼ iID=XjjYXKͷr#0Px$|)%@ȱԚJԜϷ:W.{m bSӊgy#ʽMTͲh؟Mҙ>5%G멺~k8-BY006ؕ+56I-s?Lg,<4Gk҆#BL[`%'TwkhID]9~SJv2?"LISMAOT#ikFlzW5?Ѥbjwu$<ۧ"G)D \\u^pIaD\%Yn)["(h*`\A$t`]WPn+!iJ^aW'Ŕ^qŵr'#Q̉EpQla(Vj܅ y?nX.gN# eGJWuT8O}I7s:scYLS$fa9߲ܐQ 78|_*m WDܓH6ȏ(x"h0_0H\0n\Z_ W$rL6؋#܇dI^No=\Elt#…|Y8[Z9{(5ByݶV1Gw_I#@>NIgučK:45RB!W2QMwqIhsf[ @B|tW6Ort-[hL(ɧe/,Pp)΢*e[!lhˏu|M÷nϡ^_D76@{Wzf s/έL7D~Ql' #V_b"Mo.\d;Ǎ1``i23G~Eyr)Tz$] H^fn꯿VۊXĕ~h<ٸ~QbR>rh " pPtz%AwHLy5sa H/"' f5#JkUueG!UD\/%zo 7*;lK3~m ._XQdJH\,)1oZc"frZX:|'=cGJ.TjlkN)ѪلC ZF#GJ